Re: incompleteness of RDF Semantics Document

>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

Received on Friday, 31 October 2003 12:02:39 UTC