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)

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?


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


  <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

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

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