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

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 UTC