- 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>
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