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