W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > March 2003


From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 12 Mar 2003 09:49:40 +0100
To: w3c-rdfcore-wg@w3.org
Message-Id: <200303120949.40304.jjc@hpl.hp.com>

Peter expresses this issue with much tact and delicacy, "The translation into 
Lbase is pointless".  I am not suprised Pat disagrees.

However, the suggested correction looks worthwhile.

[add] claim [...] 
    G1 x-entails G2
    TR(G1) plus the axioms for x entails TR(G2) in Lbase

He is not asking for a proof of such a claim, although I suspect that he would 
not have difficulty finding a counterexample :(

I had understood this claim to be the goal of the LBase work; given it is an 
informative section we could make clear that such a claim is an aspiration 
rather than a proven fact.

Received on Wednesday, 12 March 2003 03:49:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:21 UTC