# # KEHOME/kb/spo.owl.html # Feb/22/2007 Jun/10/2008 begin hierarchy cps; Thing; / Class; / Property; // i:type; // i:subClassOf; // i:subPropertyOf; / Statement; // s_value :: subject property value.; // s_rel :: subject property object.; /// s_isu :: individual type class; /// s_iss :: species subClassOf genus; Class; / file; / Container; // List; // Set; // Oneof; end hierarchy cps; # qualifiers owl:Thing is Thing; ##owl:Nothing is Nothing; owl:Class is Class; owl:Property is Property; begin hierarchy imaginary; Nothing; end hierarchy imaginary; # RDF relation OWL Resource is Thing; # mKR relation OWL nonexistent is Nothing; existent is Thing; # entity is Class; # attribute iss Property; # binary relation iss Property; # statement isg Statement; # group isg Container; # list is List; # set is Set; # enum is Oneof; # isa* is type; # iss* is subClassOf; # iss iss subClassOf; # isall (ingroup) iss member; # isany (exgroup) iss member; #