- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Sat, 07 Jun 2003 17:26:02 -0400 (EDT)
- To: jos.deroo@agfa.com
- Cc: phayes@ai.uwf.edu, w3c-rdfcore-wg@w3.org
From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: incompleteness in RDFS closure rules
Date: Sat, 7 Jun 2003 14:52:16 +0200
> 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}.
These are not valid rules.
> 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).
peter
>
> --
> 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 17:26:17 UTC