W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: incompleteness in RDFS closure rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sun, 08 Jun 2003 12:54:01 -0400 (EDT)
Message-Id: <20030608.125401.68538608.pfps@research.bell-labs.com>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:54 EDT