>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/phayesReceived on Friday, 31 October 2003 12:02:39 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 18:22:18 GMT