Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
(ns scratch_clj.eye
(:use [tawny.owl]))
(defontology things
:iri ""
:prefix "exam:")
(defoproperty partOf)
(defoproperty hasPart)
(defoproperty developsFrom)
(defclass Head)
(defclass Tail)
(defclass Eye
(owlsome partOf Head)
(owlsome partOf Tail)))
(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