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