#<![CDATA[
# KEHOME/kb/spo.owl.html
# Feb/27/2009
begin hierarchy cps;
Class;
/ i:Thing;
/ i:Class;
/ i:Property;
/ i:Statement;
Thing;
/ Class;
// Container;
/// List;
/// Set;
//// i:ClassSet;
//// i:IndividualSet;
/// Oneof;
/ Property;
// i:type;
// i:subClassOf;
// i:subPropertyOf;
// i:Restriction;
/ Statement;
end hierarchy cps;
begin hierarchy imaginary;
Nothing;
end hierarchy imaginary;
#######
# spo #
#######
at view = namespace; # context
subject is genus and Restriction; # definition
subject type object; # hierarchy: instance
subject subClassOf object; # hierarchy: subclass
subject rel property = object; # property
subject ismem group; # list,set,oneof
# qualifiers
owl:Thing is Thing;
owl:Nothing is Nothing;
owl:Class is Class;
owl:Property is Property;
# RDF relation OWL
Resource is Thing;
# mKR relation OWL
nonexistent is Nothing;
existent is Thing;
# entity iss Class;
# attribute iss Property;
# binary relation iss Property;
# statement isg Statement;
# group isg Container;
# list is List;
# set is Set;
# enum is Oneof;
# isa* is type;
# iss* is subClassOf;
# iss iss subClassOf;
# isall (ingroup) iss member;
# isany (exgroup) iss member;
#]]>