Re: Comment on Last Call Working Draft of RDF Semantics document concerning the translation into Lbase

>The translation into Lbase is pointless.  There is no notion given in
>the document that can be used to determine whether it is correct or
>not.  For example, I expected to see a claim stating that
>    G1 x-entails G2
>iff
>    TR(G1) plus the axioms for x entails TR(G2) in Lbase
>without such a claim there is no notion of success for the
>translation, and thus it is pointless.

I do not feel it is strictly necessary to respond to this comment, 
but the intended properties of an Lbase translation are stated in the 
Lbase document referred to in the semantics document. And in any 
case, the appendix is intended only to be an informative summary of 
the semantic conditions rendered into a logical notation. Its 
intended meaning will be obvious to anyone with a logical training, 
and irrelevant to any other reader.

Pat

-- 
---------------------------------------------------------------------
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@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam

Received on Sunday, 26 January 2003 15:04:24 UTC