# 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;