instance, class, Resource hierarchy

I have modified MKE to build instance-class hierarchies
from RDF files.  There is just one caveat: to avoid
infinite loops, I ignore declarations of the form

    rdfs:Class     rdf:type        rdfs:Class
    rdfs:Class     rdfs:subClassOf rdfs:Class
    rdfs:Resource  rdf:type        xxx
    rdfs:Resource  rdfs:subClassOf xxx

To display any subhierarchy:       class isc* ?;
To display only subClassOf links:  class isg* ?;
To display only instance links:    class isp* ?;

To display any superhierarchy:     class isa* ?;
To display only subClassOf links:  class iss* ?;
To display only instance links:    class isu* ?;


Here's an example using the RDF file from the 
31 March 2003 OWL Language Reference document.

$ ke
...
ke$ do read from owlRefB.rdf done;
...
ke$ Resource isc* ?;
# question <Resource isc* ? ;>
Resource
/  Property
//    AnnotationProperty
///      comment
///      isDefinedBy
///      label
///      seeAlso
///      versionInfo
//    DatatypeProperty
//    DeprecatedProperty
//    FunctionalProperty
//    InverseFunctionalProperty
//    ObjectProperty
///      SymmetricProperty
///      TransitiveProperty
//    allValuesFrom
//    backwardCompatibleWith
//    cardinality
//    complementOf
//    differentFrom
//    disjointWith
//    distinctMembers
//    equivalentClass
//    equivalentProperty
//    hasValue
//    imports
//    incompatibleWith
//    intersectionOf
//    inverseOf
//    maxCardinality
//    minCardinality
//    onProperty
//    oneOf
//    priorVersion
//    sameAs
//    someValuesFrom
//    unionOf
//    versionInfo
/  Class
//    DeprecatedClass
//    Restriction
//    AllDifferent
//    AnnotationProperty
///      comment
///      isDefinedBy
///      label
///      seeAlso
///      versionInfo
//    DataRange
//    DatatypeProperty
//    DeprecatedClass
//    DeprecatedProperty
//    FunctionalProperty
//    InverseFunctionalProperty
//    ObjectProperty
///      SymmetricProperty
///      TransitiveProperty
//    Ontology
//    Restriction
//    SymmetricProperty
//    TransitiveProperty
/  comment
/  isDefinedBy
/  label
/  seeAlso
ke$ exit;
...
$

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;