W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

a test case for "literals must be self-evident"

From: Dan Connolly <connolly@w3.org>
Date: Thu, 29 Nov 2001 18:04:51 -0600
Message-ID: <3C06CD23.5DD98CD2@w3.org>
To: w3c-rdfcore-wg@w3.org
OK, I blathered on about this requirement in...

  literals must be self-evident
  Dan Connolly (Wed, Oct 17 2001)
  http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0338.html

but recent discussion with Peter S. and Jeremy made me realize
I can reduce this to a real simple entailment test:

Does dte-blunt.nt entail dte-pointy.nt?

dte-blunt.nt:

  <http://example/x> <http://example/y> "abc".

dte-pointy.nt:

  <http://example/x> <http://example/y> "abc".

i.e. does an RDF document entail itself?
Surely the answer is yes, right?

I suggest that P/P++ do not guarantee this entailment;
they fail to specify that the answer to this
test is "yes".

Only S guarantees this entailment.

for reference, P/P++ are given in
http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Nov/0295.html

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 29 November 2001 19:04:52 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:42:47 EDT