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

Re: examples entailment questions

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 16 Jul 2003 18:59:22 +0100
Message-ID: <16149.37498.485142.671434@galahad.cs.man.ac.uk>
To: pat hayes <phayes@ihmc.us>
Cc: Christopher Welty <welty@us.ibm.com>, www-webont-wg@w3.org

On July 10, pat hayes writes:
> >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>
> 
> Entail in what sense? Obviously its OWL-entailed since we havnt 
> changed the OWL semantics; and its not RDFS-entailed since it depends 
> on the meaning of some OWL logical vocabulary.

For OWL-DL, Wine being a subclass of ManufacturedThing is entailed,
but Grape being a subclass of NaturalThing is not entailed (because
there could exist an instance of Grape that no wine is madeFrom and
that we thus can't infer to be an instance of NaturalThing). If we add
the assertion that all grapes are made into wine, then we also get the
second entailment.

Ian


> 
> I expect what you mean is, would it be OWL-entailed if OWL used the 
> weaker RDFS conditions on rdfs:range , rdfs:domain and 
> rdfs:subClassOf? That would depend on exactly how the weaker OWL 
> semantics described the relationship between subClass and restriction 
> class definitions, but the likeliest answer is that it would not be 
> entailed.
> 
> >Certainly this holds in the interpretation.
> 
> That depends on how you interpret 'subClassOf'.  In RDFS, the class 
> extension of A being a subset of that of B isn't a sufficient 
> condition for A being an rdfs:subClassOf B.
> 
> Pat
> 
> -- 
> ---------------------------------------------------------------------
> IHMC	(850)434 8903 or (650)494 3973   home
> 40 South Alcaniz St.	(850)202 4416   office
> Pensacola			(850)202 4440   fax
> FL 32501			(850)291 0667    cell
> phayes@ihmc.us       http://www.ihmc.us/users/phayes
> <!doctype html public "-//W3C//DTD W3 HTML//EN">
> <html><head><style type="text/css"><!--
> blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
>  --></style><title>Re: examples entailment
> questions</title></head><body>
> <blockquote type="cite" cite><font size="+1">GIVEN:</font><br>
> <br>
> <font size="+1">&lt;owl:class rdf:ID=&quot;<b>ManufacturedThing</b>&quot;
> /&gt;</font><br>
> <font size="+1">&lt;owl:class rdf:ID=&quot;<b>NaturalThing</b>&quot;
> /&gt;</font><br>
> <font size="+1">&lt;owl:ObjectProperty
> rdf:ID=&quot;<b>madeFrom</b>&quot;&gt;</font><br>
> <font size="+1"><b>&nbsp;</b> &lt;rdfs:domain
> rdf:resource=&quot;<b>#ManufacturedThing</b>&quot; /&gt;</font><br>
> <font size="+1"><b>&nbsp;</b> &lt;rdfs:range
> rdf:resource=&quot;<b>#NaturalThing</b>&quot; /&gt;</font><br>
> <font size="+1">&lt;/owl:ObjectProperty&gt;</font><br>
> <br>
> <br>
> <font size="+1">DOES THIS:</font><br>
> <br>
> <font size="+1">&lt;owl:Class
> rdf:ID=<b>Wine</b>&quot;&gt;</font><br>
> <font size="+1">&nbsp;&lt;rdfs:subClassOf&gt;</font><br>
> <font size="+1">&nbsp; &lt;owl:Restriction&gt;</font><br>
> <font size="+1">&nbsp; &nbsp;&lt;owl:onProperty
> rdf:resource=&quot;#<b>madeFrom</b>&quot;/&gt;</font><br>
> <font size="+1">&nbsp; &nbsp;&lt;owl:allValuesFrom
> rdf:resource=#<b>Grape</b> /&gt;</font><br>
> <font size="+1">&nbsp; &lt;/owl:Restriction&gt;</font><br>
> <font size="+1">&nbsp;&lt;/rdfs:subClassOf&gt;</font><br>
> <font size="+1">&lt;/owl:Class&gt;</font><br>
> <br>
> <br>
> <font size="+1">ENTAIL THIS?:</font><br>
> <br>
> <font size="+1">&lt;owl:class
> rdf:resource=&quot;#Wine&quot;&gt;</font><br>
> <font size="+1">&nbsp; &lt;rdfs:subclass
> rdf:resource=&quot;#ManufacturedThing&quot; /&gt;</font></blockquote>
> <blockquote type="cite" cite><font
> size="+1">&lt;/owl:class&gt;</font></blockquote>
> <blockquote type="cite" cite><font size="+1">&lt;owl:class
> rdf:resource=&quot;#Grape&quot;&gt;</font><br>
> <font size="+1">&nbsp; &lt;rdfs:subclass
> rdfs:resource=&quot;#NaturalThing&quot; /&gt;</font></blockquote>
> <blockquote type="cite" cite><font
> size="+1">&lt;/owl:class&gt;</font></blockquote>
> <div><br></div>
> <div>Entail in what sense? Obviously its OWL-entailed since we havnt
> changed the OWL semantics; and its not RDFS-entailed since it depends
> on the meaning of some OWL logical vocabulary.</div>
> <div><br></div>
> <div>I expect what you mean is, would it be OWL-entailed if OWL used
> the weaker RDFS conditions on rdfs:range , rdfs:domain and
> rdfs:subClassOf? That would depend on exactly how the weaker OWL
> semantics described the relationship between subClass and restriction
> class definitions, but the likeliest answer is that it would not be
> entailed.</div>
> <div><br></div>
> <blockquote type="cite" cite><font size="+1">Certainly this holds in
> the interpretation.</font></blockquote>
> <div><br></div>
> <div>That depends on how you interpret 'subClassOf'.&nbsp; In RDFS,
> the class extension of A being a subset of that of B isn't a
> sufficient condition for A being an rdfs:subClassOf B.</div>
> <div><br></div>
> <div>Pat</div>
> <div><br></div>
> <x-sigsep><pre>--
> </pre></x-sigsep>
> <div
> >---------------------------------------------------------------------<br
> >
> IHMC<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </x-tab>(850)434 8903
> or (650)494 3973&nbsp;&nbsp; home<br>
> 40 South Alcaniz St.<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab>(850)202 4416&nbsp;&nbsp; office<br>
> Pensacola<x-tab> </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab>(850)202 4440&nbsp;&nbsp; fax<br>
> FL 32501<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> </x-tab>(850)291 0667&nbsp;&nbsp;&nbsp; cell<br>
> phayes@ihmc.us&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
> http://www.ihmc.us/users/phayes<br>
> </div>
> </body>
> </html>
Received on Wednesday, 16 July 2003 14:08:02 GMT

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