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

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

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Fri, 30 Nov 2001 09:50:21 +0000 (GMT)
To: Dan Connolly <connolly@w3.org>
cc: w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.31.0111300949440.22773-100000@mail.ilrt.bris.ac.uk>
On Thu, 29 Nov 2001, Dan Connolly wrote:

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

An RDF graph ought to entail itself, yes. If you can't represent typed
literals in the current RDF/XML syntax, then that's just one more way in
which it is lacking.

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

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
(Things I've found in my attic, #2: A hundredweight of pornography.)
Received on Friday, 30 November 2001 04:50:52 EST

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