- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Sun, 08 Jun 2003 12:54:01 -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: Re: incompleteness in RDFS closure rules
Date: Sun, 8 Jun 2003 14:33:41 +0200
> What about
>
> {: rdfs:fyi :rdfs12a.
> ?Q rdfs:domain ?Y.
> ?P rdfs:domain ?X.
> ?P rdf:type :rdfcProperty.
> ?P rdfs:subPropertyOf ?Q} =>
> {?X rdfs:subClassOf ?Y}.
>
> {: rdfs:fyi :rdfs12b.
> ?Q rdfs:range ?Y.
> ?P rdfs:range ?X.
> ?P rdf:type :rdfcProperty.
> ?P rdfs:subPropertyOf ?Q} =>
> {?X rdfs:subClassOf ?Y}.
>
> while having
>
> rdfs:subClassOf rdf:type :rdfcProperty.
> rdfs:subPropertyOf rdf:type :rdfcProperty.
> rdf:type rdf:type :rdfcProperty.
>
> ??
>
> --
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
I don't understand what this would do.
Are you attempting to create some valid closure/inferencerules for RDFS?
These are *not* valid. For starters
rdfs:subClassOf rdf:type :rdfcProperty .
is not valid.
peter
Received on Sunday, 8 June 2003 12:54:13 UTC