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