W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

Re: iff

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
Message-ID: <OF1BA017F2.351E467D-ONC1256D0B.004F0959-C1256D0B.00504279@agfa.be>


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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:56:57 EDT