Created
October 11, 2014 19:02
-
-
Save donlindsay/a3d59265ceb4731c8b92 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defun prp-fp | |
| "Assign the Functional Property axiom to the element." | |
| (interactive) | |
| (setq (org-entry-get point "axiom") | |
| '((mx-triple . (?p, rdf:type, owl:FunctionalProperty))) | |
| (while '((mx-triple . (mx-subj, mx-pred, mx-object1))) | |
| (setq '(mx-triple-cdr . (?x, ?p, ?y2))) | |
| (setq '(mx-triple-cddr . (?y1, owl:sameAs, ?y2))))) | |
| (message "PRP-FP asserted.")) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hm. Nested quotes isnt really what I want in my axiom definitions. Recursive definitions are okay, though. Perhaps I want the mx and org property equivalence first, and then a 1 cardinal list.