Comment on Last Call Working Draft of RDF Semantics document concerning the translation into Lbase from Peter F. Patel-Schneider on 2003-01-24 (www-rdf-comments@w3.org from January to March 2003)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 24 Jan 2003 17:20:40 -0500
To: www-rdf-comments@w3.org
Message-id: <3E31BC38.5030904@research.bell-labs.com>

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.

Received on Friday, 24 January 2003 17:20:47 UTC