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

Re: incompleteness in RDFS closure rules

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 7 Jun 2003 17:20:07 +0200
To: "Jos De_Roo" <jos.deroo@agfa.com>
Cc: pfps@research.bell-labs.com, phayes@ai.uwf.edu, "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>, w3c-rdfcore-wg-request@w3.org
Message-ID: <OFFD8B8474.6727BA8D-ONC1256D3E.00537251-C1256D3E.00543E57@agfa.be>


reading along
http://www.ihmc.us/users/phayes/RDF_Semantics_Editors_nT.html
I believe this is compatible with
[[
3.3.1 Extensional Domains and Ranges
The semantics given here for rdfs:range and rdfs:domain
do not entail that superclasses of domains or ranges of
a property must also be domains and ranges of that property.
]]
but not with
[[
Semantic extensions MAY strengthen the domain and range semantic
conditions to the following 'extensional' domain and range conditions:
...
rdfs 2a
rdfs 3a
]]
(which I always had trouble with...)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                                 
                    Jos                                                                                                          
                    De_Roo/AMDUS/MOR/Agfa-NV/BE/       To:     phayes@ai.uwf.edu                                                 
                    BAYER@AGFA                         cc:     "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>,                         
                    Sent by:                            pfps@research.bell-labs.com                                              
                    w3c-rdfcore-wg-request@w3.or       Subject:     incompleteness in RDFS closure rules                         
                    g                                                                                                            
                                                                                                                                 
                                                                                                                                 
                    2003-06-07 02:52 PM                                                                                          
                                                                                                                                 
                                                                                                                                 





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 11:20:29 EDT

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