# KEHOME/kb/owl.html # May/29/2003 #====================# # RDF,RDFS,OWL views # #====================# at view = rdf { do read from xml/rdf.ku done; do check od unknown done; }; at view = rdfs { do read from xml/rdf.ku done; do read from xml/rdfs.ku done; do check od unknown done; }; at view = owl { do read from xml/rdf.ku done; do read from xml/rdfs.ku done; do read from xml/owl.ku done; do check od unknown done; }; #####rdfs:Resource,rdfs:Class is owl:Thing; #####Thing is owl:Thing; #####Resource,Class is owl:Thing; ###### "correct" the hierarchy #####do simplify lattice od existent done;