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

Re: Hang on a second... Re: Datatype test cases: important ones (please have a look)

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Thu, 21 Nov 2002 09:29:22 +0200
Message-ID: <008101c2912f$b64f83b0$149316ac@NOE.Nokia.com>
To: "Jan Grant" <Jan.Grant@bristol.ac.uk>, "ext pat hayes" <phayes@ai.uwf.edu>
Cc: <w3c-rdfcore-wg@w3.org>



[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]


> ><eg:foo> <eg:bar> "baz"@en^^<datatype> .
> ><eg:pop> <eg:bar> "baz"@fr^^<datatype> .
> >
> >simple-entails
> >
> ><eg:foo> <eg:bar> _:l .
> ><eg:pop> <eg:bar> _:l .
> 
> No, it shouldn't.  In simple entailment, the only things known to 
> co-denote are identical literals, and that 'identical' includes all 
> the stuff stuck on it.
> 
> We can change this, but that's the way it is right now.

It should be changed/fixed. The above entailment should hold. Any
application should be able to conclude that any two typed literals
which have identical lexical form and datatype URI denote the
same value, irrespective of any lang tag, and that conclusion should
be possible without any special datatype knowledge. I.e., it's
just an RDF entailment, not an RDF + datatypes entailment.

Patrick
Received on Thursday, 21 November 2002 02:29:26 EST

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