OWL genus-differentia definitions

• From: Richard H. McCullough <rhm@volcano.net>
• Date: Thu, 13 Oct 2005 15:28:34 -0700
• To: "Hans Teijgeler" <hans.teijgeler@quicknet.nl>
• Cc: "OWL at W3C" <www-rdf-logic@w3.org>, "semantic-web at W3C" <semantic-web@w3c.org>, "KR-language" <KR-language@YahooGroups.com>
• Message-ID: <000d01c5d045$8d435c50$0100000a@rhm8200>

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:26 UTC