OWL genus-differentia definitions

I did my homework -- read up on OWL Restrictions. and
figured out how to do OWL genus-differentia definitions.
Here are the genus-differentia definitions of your two
ISO classes.

# MKR
AbstractObject is Entity with no space, no time;
PossibleIndividual is Entity with space, time;

# OWL
<owl:Class rdf:id = "AbstractObject">
    <rdfs:subClassOf rdfs:resource = "#Entity">
    <rdfs:subClassOf><owl:Restriction>
        <owl:onProperty rdf:resource = "#space"/>
        <owl:cardinality 
rdf:datatype="&xsd;nonNegativeInteger">0<owl:cardinality>
    </owl:Restriction></rdfs:subClassOf>
   <rdfs:subClassOf><owl:Restriction>
        <owl:onProperty rdf:resource = "#time"/>
        <owl:cardinality 
rdf:datatype="&xsd;nonNegativeInteger">0<owl:cardinality>
    </owl:Restriction></rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:id = "PossibleIndividual">
    <rdfs:subClassOf rdfs:resource = "#Entity">
    <rdfs:subClassOf><owl:Restriction>
        <owl:onProperty rdf:resource = "#space"/>
        <owl:minCardinality 
rdf:datatype="&xsd;nonNegativeInteger">1<owl:minCardinality>
    </owl:Restriction></rdfs:subClassOf>
   <rdfs:subClassOf><owl:Restriction>
        <owl:onProperty rdf:resource = "#time"/>
        <owl:minCardinality 
rdf:datatype="&xsd;nonNegativeInteger">1<owl:minCardinality>
    </owl:Restriction></rdfs:subClassOf>
</owl:Class>


Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/ 

Received on Thursday, 13 October 2005 22:29:31 UTC