W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

incompleteness in RDFS closure rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 07 Jun 2003 00:17:59 -0400 (EDT)
Message-Id: <20030607.001759.70997329.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org 


	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 00:25:57 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 18:22:17 GMT