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