- From: pat hayes <phayes@ihmc.us>
- Date: Fri, 31 Oct 2003 11:00:11 -0600
- 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 viewing. Pat >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