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 GMT

This message: [ Message body ]
Next message: pat hayes: "Re: incompleteness of RDF Semantics Document"
Previous message: William C. Dunn, P.E. - SunCam: "ARCHITECTS"
Next in thread: pat hayes: "Re: incompleteness of RDF Semantics Document"
Reply: pat hayes: "Re: incompleteness of RDF Semantics Document"

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.30 : Tuesday, 25 October 2005 18:07:30 GMT