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

Re: incompleteness of RDF Semantics Document

From: pat hayes <phayes@ihmc.us>
Date: Fri, 31 Oct 2003 11:00:11 -0600
Message-Id: <p06001f15bbc841ba545c@[]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: 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.

Yes.  Maybe you didnt get my message about this cock-up (all mia 
culpa). It would be more useful for you to look at the editor's draft 
currently pointed at from the RDF home page, which Herman has been 


>Peter F. Patel-Schneider

IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Friday, 31 October 2003 12:02:39 UTC

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