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

incompleteness in RDFS closure rules

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 7 Jun 2003 14:52:16 +0200
To: phayes@ai.uwf.edu
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>, pfps@research.bell-labs.com
Message-ID: <OF1D205F6A.A0110543-ONC1256D3E.00453DF0-C1256D3E.0046B410@agfa.be>

Pat,

What about generalizing rdfs12 to

{: rdfs:fyi :rdfs12a. ?Q rdfs:domain ?Y. ?P rdfs:domain ?X.
 ?P rdfs:subPropertyOf ?Q} => {?X rdfs:subClassOf ?Y}.

{: rdfs:fyi :rdfs12b. ?Q rdfs:range ?Y. ?P rdfs:range ?X.
 ?P rdfs:subPropertyOf ?Q} => {?X rdfs:subClassOf ?Y}.

Then the cases that Peter brought up are following
(I've tested that and the other RDFS and OWL are
in status quo, be it with some more steps).


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
----- Forwarded by Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER on 2003-06-07
02:36 PM -----
                                                                                                                          
                    "Peter F.                                                                                             
                    Patel-Schneider"            To:     www-rdf-comments@w3.org                                           
                    <pfps@research.bell-l       cc:                                                                       
                    abs.com>                    Subject:     incompleteness in RDFS closure rules                         
                    Sent by:                                                                                              
                    www-rdf-comments-requ                                                                                 
                    est@w3.org                                                                                            
                                                                                                                          
                                                                                                                          
                    2003-06-07 06:17 AM                                                                                   
                                                                                                                          
                                                                                                                          






           rdfs:subClassOf rdfs:subPropertyOf xxx .
           xxx rdfs:domain yyy .

RDFS-entails

           rdfs:Class rdfs:subClassOf yyy .

but this does not come out of the RDFS closure rules.



           rdfs:subClassOf rdfs:subPropertyOf xxx .
           xxx rdfs:range yyy .

RDFS-entails

           rdfs:Class rdfs:subClassOf yyy .

but this does not come out of the RDFS closure rules.



           rdfs:subPropertyOf rdfs:subPropertyOf xxx .
           xxx rdfs:domain yyy .

RDFS-entails

           rdf:Property rdfs:subClassOf yyy .

but this does not come out of the RDFS closure rules.



           rdfs:subPropertyOf rdfs:subPropertyOf xxx .
           xxx rdfs:range yyy .

RDFS-entails

           rdf:Property rdfs:subClassOf yyy .

but this does not come out of the RDFS closure rules.
Received on Saturday, 7 June 2003 08:55:01 EDT

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