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

Re: examples entailment questions

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 10 Jul 2003 23:30:57 +0200
To: "Christopher Welty <welty" <welty@us.ibm.com>
Cc: Christopher Welty <welty@us.ibm.com>, www-webont-wg@w3.org
Message-ID: <OFCA4CFAEC.685EF1D4-ONC1256D5F.0075CF54-C1256D5F.00763061@agfa.be>


I haven't thought very deeply, but using
an inference rule like

{:owl8s9. ?R owl:onProperty ?P; owl:allValuesFrom ?A.
          ?P rdfs:domain ?B; rdfs:range ?C} =>
         {?R rdfs:subClassOf ?B. ?A rdfs:subClassOf ?C}.

we got the conclusion (neglecting the owl:Class stuff ;-))


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                                       
                      Christopher Welty                                                                                                
                      <welty@us.ibm.com        To:       Christopher Welty <welty@us.ibm.com>                                          
                      >                        cc:       www-webont-wg@w3.org, www-webont-wg-request@w3.org                            
                      Sent by:                 Subject:  Re: examples entailment questions                                             
                      www-webont-wg-req                                                                                                
                      uest@w3.org                                                                                                      
                                                                                                                                       
                                                                                                                                       
                      2003-07-10 08:49                                                                                                 
                      PM                                                                                                               
                                                                                                                                       
                                                                                                                                       





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:                                    To:                        
    www-webont-wg-request@w3.org        www-webont-wg@w3.org               
                                                cc:                        
                                                Subject:        examples   
    07/09/2003 04:39 PM                 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, 10 July 2003 17:31:09 GMT

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