Re: examples entailment questions

><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:Class rdf:ID="Wine">
>  <rdfs:subClassOf>
>   <owl:Restriction>
>    <owl:onProperty rdf:resource="#madeFrom"/>
>    <owl:allValuesFrom rdf:resource="#Grape" />
>   </owl:Restriction>
>  </rdfs:subClassOf>
><owl:class rdf:resource="#Wine">
>   <rdfs:subclass rdf:resource="#ManufacturedThing" />
><owl:class rdf:resource="#Grape">
>   <rdfs:subclass rdfs:resource="#NaturalThing" />

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.

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 

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


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

Received on Thursday, 10 July 2003 15:01:20 UTC