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

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 UTC