Prefix: :
Ontology:
ObjectProperty: isAbout
ObjectProperty: hasPart
Class: Horn
Class: Delusion SubClassOf: isAbout some owl:Thing
Class: UnicornDelusion EquivalentTo: Delusion and isAbout only (Horse and hasPart some Horn)
Class: Horse DisjointWith: hasPart some Horn