gistfile1.clj

(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)