Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
(ns scratch_clj.eye
(:use [tawny.owl]))
(defontology things
:iri "http://example.org"
:prefix "exam:")
(defoproperty partOf)
(defoproperty hasPart)
(defoproperty developsFrom)
(defclass Head)
(defclass Tail)
(defclass Eye
:subclass
(owlsome partOf Head)
(owlnot
(owlsome partOf Tail)))
(doall
(map
#(add-subclass
(owlnot (owlsome hasPart %))
(owlnot (owlsome hasPart
(owlsome developsFrom %))))
(.getClassesInSignature things true)))
(save-ontology "eye.owl" :owl)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment