- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Thu, 21 Nov 2002 09:29:22 +0200
- 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 UTC