examples entailment questions

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/