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