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 message: [ Message body ]
Next message: Peter F. Patel-Schneider: "problem with closures in RDF Semantics document (version of 6 June 2003)"
Previous message: Dan Connolly: "keeping RDFS closure finite"
Next in thread: pat hayes: "Re: incompleteness of rdf-closure"
Reply: pat hayes: "Re: incompleteness of rdf-closure"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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