#<![CDATA[
# KEHOME/kb/owl.html
# Sep/16/2005
#====================#
# 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;
};
at view = owl;
Class is mkr:Set of owl:Class;
##Thing is
## owl:Thing,
## rdfs:Resource,
## mkr:existent;
Class is mkr:Set of owl:Class;
owl:Thing,
rdfs:Resource,
mkr:existent is Thing;
#Thing has
# iname = Thing,
# qualname = owl:Thing,
# rootname = Thing,
# classname = Thing,
# shortname = Thing,
# xmlname = Thing,
# xmlns = [];
owl:Thing isg
mkr:entity,
mkr:characteristic,
mkr:proposition;
owl:Property iss mkr:characteristic;
rdf:Statement iss mkr:proposition;
# "correct" the hierarchy
#do simplify lattice od Thing done;
#]]>