W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

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

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
    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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:01 UTC