# KEHOME/kb/tabrasa.html # May/16/2003 #===================# # tabula rasa # # minimum hierarchy # #===================# begin hierarchy tabhi; existent; / entity; // ANIMAL; /// person; // PLANT; // OBJECT; /// group; /// symbol; / characteristic; // part; // attribute; /// chartype; /// purpose; /// format; /// meaning; /// fact; # text of input line /// space; # context space /// time; # context time /// view; # context view /// product; # sentence output /// subject; # sentence subject /// predicate; # sentence predicate /// object; # sentence object // relation; // action; /// sense; /// perceive; /// classify; /// measure; /// identify; // interaction; / proposition; // context; // sentence; // newproposition; / unknown; group; # abstract OBJECT / concept; // number; // individual concept; # exgroup, singular // collective concept; # ingroup, plural / directory; / enumeration; / LATTICE; // lattice; // hierarchy; // unithierarchy; / list; / multiset; / sequence; / Set; group; # for RDF/OWL / html; / mcf; / owl; / rdf; / triple; / xml; symbol; # concrete OBJECT / separator; / word; sentence; / statement; // definition; / question; / command; / assignment; end hierarchy tabhi; begin unithierarchy tabprim; OBJECT; / ke; space; / here; / there; / everywhere; time; / now; / past; / present; / future; end unithierarchy tabprim; #=====================# # RDF/OWL segregation # #=====================# #####existent isg ##### owl:Thing; owl:Thing isg mkr:Entity, rdf:Property, rdf:Statement; mkr:Entity isg owl:AllDifferent, rdfs:Container, owl:DeprecatedClass, mkr:Enumeration, mkr:Intersection, rdf:List, owl:Ontology, mkr:Union; rdf:Property isg owl:DataRange, rdfs:Datatype, owl:DeprecatedProperty, rdfs:Literal, owl:Restriction; rdf:Property isp rdf:type, rdfs:domain, rdfs:range, rdfs:subClassOf, rdfs:subPropertyOf; rdf:Property, rdf:DeprecatedProperty has chartype=characteristic; rdfs:domain, rdfs:range, owl:DataRange, rdfs:Datatype, rdfs:Literal has chartype=attribute; rdf:type, rdfs:subClassOf, rdfs:subPropertyOf has chartype=relation; owl:Restriction has chartype=differentia; Thing is owl:Thing; rdfs:Resource,rdfs:Class is owl:Thing; Resource,Class is owl:Thing;