W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

Re: incompleteness in RDFS closure rules

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Tue, 10 Jun 2003 03:03:19 +0200
To: "pat hayes <phayes" <phayes@ihmc.us>
Cc: Graham Klyne <gk@ninebynine.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, www-rdf-comments@w3.org
Message-ID: <OFF8C6857E.2350993A-ONC1256D41.0004D0FF-C1256D41.0005CE77@agfa.be>


OK Pat, we've tried that with

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

while having

rdfs:subClassOf rdfs:domain rdfs:Class; rdfs:range rdfs:Class;
    root:domain rdfs:Class; root:range rdfs:Class.
rdfs:subPropertyOf rdfs:domain rdf:Property; rdfs:range rdf:Property;
    root:domain rdf:Property; root:range rdf:Property.
rdf:type rdfs:domain rdfs:Resource; rdfs:range rdfs:Class;
    root:domain rdfs:Resource.


and then

rdfs:subClassOf rdfs:subPropertyOf :xcd.
:xcd rdfs:domain :ycd.
rdfs:subClassOf rdfs:subPropertyOf :xcr.
:xcr rdfs:range :ycr.
rdfs:subPropertyOf rdfs:subPropertyOf :xpd.
:xpd rdfs:domain :ypd.
rdfs:subPropertyOf rdfs:subPropertyOf :xpr.
:xpr rdfs:range :ypr.

RDFS entails

rdfs:Class rdfs:subClassOf :ycd.
rdfs:Class rdfs:subClassOf :ycr.
rdf:Property rdfs:subClassOf :ypd.
rdf:Property rdfs:subClassOf :ypr.

thanks for the catch of rdf:type's range...


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

PS the other test still seem to work



                                                                                                                   
                    pat hayes                                                                                      
                    <phayes@ihmc.u       To:     "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>          
                    s>                   cc:     www-rdf-comments@w3.org, Jos                                      
                                          De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA, Graham Klyne <gk@ninebynine.org> 
                    2003-06-09           Subject:     Re: incompleteness in RDFS closure rules                     
                    08:39 PM                                                                                       
                                                                                                                   
                                                                                                                   




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


Yes, you are perfectly correct. The rule rdfs12 has been generalized
to include these cases, as follows:

rdfs12a

ppp rdfs:subPropertyOf zzz .
ppp rdfs:domain xxx .
zzz rdfs:domain yyy .
|-
xxx rdfs:subClassOf yyy .

rdfs12b

ppp rdfs:subPropertyOf zzz .
ppp rdfs:range xxx .
zzz rdfs:range yyy .
|-
xxx rdfs:subClassOf yyy .

where in 12a, ppp is one of rdf:type, rdfs:subPropertyOf,
rdfs:subClassOf, and in 12b only the last two are allowed (because an
empty class need not be in the range of a superproperty of rdf:type).
Including rdf:type in the 12a case covers the inference noticed
earlier by Herman, though the rationale is somewhat different.  These
rules are not valid more generally because of the inclusive nature of
domain and range.

BTW, the URI of the current editors draft has changed somewhat: these
changes are now visible at

http://www.ihmc.us/users/phayes/RDF_Semantics_Edit_nT.html

Thanks for noticing this.

Pat

--
---------------------------------------------------------------------
IHMC       (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.           (850)202 4416   office
Pensacola                           (850)202 4440   fax
FL 32501                            (850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Monday, 9 June 2003 21:03:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT