Re: examples entailment questions

In other words, slightly paraphrased:

Class(ManufacturedThing)
Class(NaturalThing)
ObjectProperty(madeFrom domain(ManufacturedThing) range(NaturalThing))
Class(Wine restriction(madeFrom allValuesFrom(Grape) minCardinality(1)))

From this it is possible to conclude (in OWL, both OWL DL and OWL Full)
that every Wine is a ManufacturedThing, because every Wine is madeFrom
something and thus must be in the domain of madeFrom.  Thus, in OWL, one
can conclude
	SubClass(Wine ManufacturedThing)
However there could be Grapes from which no wine is made, and these Grapes
need not be NaturalThings so 
	SubClass(Grape NaturalThing)
is not entailed from the above.

peter

PS: Ian's response might be a bit misleading, as he quoted the initial
message, which did not have the minCardinality.  If there is no
minCardinality, then there could be Wines that have no madeFrom
relationships, and these Wines are not necessarily ManufacturedThings.



From: Christopher Welty <welty@us.ibm.com>
Subject: Re: examples entailment questions
Date: Thu, 10 Jul 2003 14:49:27 -0400

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

Received on Thursday, 17 July 2003 06:58:10 UTC