- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Wed, 20 Nov 2002 15:55:12 +0000 (GMT)
- To: Brian McBride <bwm@hplb.hpl.hp.com>
- cc: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
On Wed, 20 Nov 2002, Brian McBride wrote: > The way this is put suggests that > > <a> <b> "10"^^xsd:integer . > > entails all other datatype representations of the same value. Within _one_ datatype, that's true - this is rule rdfD 2 in the current MT. For multiple datatypes, the MT says this: [[ These rules do not support any entailments based on identity between values of different datatypes. An obvious generalization of the second rule would permit such conclusions, but questions of identity between items in value spaces of two different datatypes should be referred to the authorities who defined the datatypes. ]] - so where I've indicated test cases for equivalence between typed literals in different datatypes, these probably fall into the same category as JJC's boolean test case: that is, we attach a note to them or something but don't approve them as part of the subset of test cases that goes with the test case document. People might want to implement those entailments, but it's "above and beyond the call". Like I said, the test cases I've set out are primarily intended to be illustrative of the various issues surrounding DTed literals. Hopefully on Friday we can decide what to keep and what to chuck out. jan -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Scrabble gematria: "BIBLE" = "DOGMA"
Received on Wednesday, 20 November 2002 10:57:24 UTC