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

incompleteness of rdf-closure

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 06 Jun 2003 23:29:24 -0400 (EDT)
Message-Id: <20030606.232924.16487887.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

The RDF entailment lemma is still not valid in the 6 June 2003 version of
RDF semantics.

For example, the empty RDF graph rdf-entails
	rdf:subject rdf:type rdf:Property .
but this is not part of the rdf-closure of the empty RDF graph.

Peter F. Patel-Schneider
Bell Labs Research
Received on Friday, 6 June 2003 23:29:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT