Re: examples entailment questions

I realized my example wasn't quite right, it requires a minCardinality - 
but still I can't seem to prove the entailments below from the semantics. 

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> 
 <rdfs:subClassOf> 
  <owl:Restriction> 
   <owl:onProperty rdf:resource="#madeFrom"/> 
   <owl:minCardinality 
rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
  </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> 
 


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/




Christopher Welty/Watson/IBM@IBMUS
Sent by: www-webont-wg-request@w3.org
07/09/2003 04:39 PM
 
        To:     www-webont-wg@w3.org
        cc: 
        Subject:        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/