W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

examples entailment questions

From: Christopher Welty <welty@us.ibm.com>
Date: Wed, 9 Jul 2003 16:39:01 -0400
To: www-webont-wg@w3.org
Message-ID: <OF6F4EA11E.55AD3479-ON85256D5E.00708788-85256D5E.00711A02@us.ibm.com>
GIVEN:

<owl:class rdf:ID="ManufacturedThing" />
<owl:class rdf:ID="NaturalThing" />
<owl:ObjectProperty rdf:ID="madeFrom">
  <rdfs:domain rdf:resource="#ManufacturedThing" />
  <rdfs:range rdf:resource="#NaturalThing" />
</owl:ObjectProperty>


DOES THIS:

<owl:Class rdf:ID=?Wine">
 <rdfs:subClassOf>
  <owl:Restriction>
   <owl:onProperty rdf:resource="#madeFrom"/>
   <owl:allValuesFrom rdf:resource=?#Grape? />
  </owl:Restriction>
 </rdfs:subClassOf>
</owl:Class>


ENTAIL THIS?:

<owl:class rdf:resource="#Wine">
  <rdfs:subclass rdf:resource="#ManufacturedThing" />
</owl:class>

<owl:class rdf:resource="#Grape">
  <rdfs:subclass rdfs:resource="#NaturalThing" />
</owl:class>


Certainly this holds in the interpretation.

-Chris

Dr. Christopher A. Welty, Knowledge Structures Group
IBM Watson Research Center, 19 Skyline Dr., Hawthorne, NY  10532     USA   
 
Voice: +1 914.784.7055,  IBM T/L: 863.7055, Fax: +1 914.784.6912
Email: welty@us.ibm.com, Web: http://www.research.ibm.com/people/w/welty/
Received on Wednesday, 9 July 2003 16:39:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT