- From: pat hayes <phayes@ai.uwf.edu>
- Date: Sun, 26 Jan 2003 11:41:09 -0700
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: www-rdf-comments@w3.org, w3c-rdfcore-wg@w3.org
>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