- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Thu, 17 Apr 2003 16:36:38 +0200
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
Now I see the utility, that is a nice rule for OWL
[[
added http://www.agfa.com/w3c/euler/owl-rules#rule8s7 thanks to Jeremy
]]
so we had
{ :rule3r1. ?R owl:onProperty ?P; owl:hasValue ?Y. ?X a ?R } => { ?X ?P ?Y
}.
{ :rule9r2. ?R owl:onProperty ?P; owl:hasValue ?Y. ?X ?P ?Y } => { ?X a ?R
}.
and now added
{ :rule8s7. ?A owl:onProperty rdf:type; owl:hasValue ?B } => { ?A
rdfs:subClassOf ?B }.
Any other cases?
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Jeremy Carroll
<jjc@hpl.hp.com> To: w3c-rdfcore-wg@w3.org
Sent by: cc:
w3c-rdfcore-wg-requ Subject: Re: iff
est@w3.org
2003-04-17 06:41 AM
> {{?X rdf:type ?A} => {?X rdf:type ?B}} => {?A rdfs:subClassOf ?B}.
Not sure if this is relevant but, ...
in OWL full
<a> rdf:type owl:Restriction .
<a> owl:onProperty rdf:type .
<a> owl:hasValue <b> .
entails
<a> rdfs:subClassOf <b> .
by this rule.
(in fact the OWL Full expression could be seen as a definition of
subClassOf)
Jeremy
Received on Thursday, 17 April 2003 10:36:47 UTC