(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.”))
Created
October 11, 2014 19:01
-
-
Save donlindsay/0c90ecd3d3e6a9e57a59 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment