#<![CDATA[
# KEHOME/kb/spo.rdf.html
# Feb/27/2009
begin hierarchy cps;
Class;
/ i:Resource;
/ i:Class;
/ i:Property;
/ i:Statement;
Resource;
/ Class;
// Container;
/// Seq;
/// Bag;
/// Alt;
/ Property;
// i:type;
// i:subClassOf;
// i:subPropertyOf;
/ Statement;
end hierarchy cps;
#######
# spo #
#######
at view = namespace; # context
subject type object; # hierarchy: instance
subject subClassOf object; # hierarchy: subclass
subject rel property = object; # property
subject ismem container;
# qualifiers
rdf:Resource is Resource;
rdf:Class is Class;
rdf:Property is Property;
rdfs:subClassOf is subClassOf;
rdfs:subPropertyOf is subPropertyOf;
# mKR relation RDF
existent is Resource;
# entity iss Class;
# attribute iss Property;
# binary relation iss Property;
# statement isg Statement;
# group isg Container;
# list (ingroup) iss Seq;
# set (ingroup) iss Bag;
# enum (exgroup) iss Alt;
# isa* (isu*|iss*) is type; # Resource type Class;
# iss* (is|iss+) is subClassOf; # Class subClassOf Class;
# iss* (is|iss+) is subPropertyOf; # Property subPropertyOf Property;
# isall (ingroup) iss member; # Container member Resource;
# isany (exgroup) iss member; # Container member Resource;
#]]>