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

incompleteness of RDF Semantics Document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 31 Oct 2003 11:38:18 -0500 (EST)
Message-Id: <20031031.113818.93398551.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

The LC2 RDF Semantics document states that the proof of the RDF entailment
lemma is ``incomplement'' [sic].  This proof needs to be completed,
particularly as there have been many problems with the completeness of the
various entailment rules in the RDF Semantics document.

Peter F. Patel-Schneider
Received on Friday, 31 October 2003 11:38:26 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:04 UTC