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)
• To: www-rdf-comments@w3.org
• Message-Id: <20031031.113818.93398551.pfps@research.bell-labs.com>

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