- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Mon, 18 Aug 2003 21:45:52 +0100 (BST)
- To: Eric Miller <em@w3.org>
- cc: w3c-rdfcore-wg@w3.org
On Mon, 18 Aug 2003, Eric Miller wrote: > > I'm waiting on one thing. As I understand it, the value spaces of > > xsd:integer and xsd:decimal no longer intersect. If that is correct > > then > > one datatype test case needs changing, since it currently suggests > > otherwise. > > > > The test case is > > http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/ > > Manifest.rdf#semantic-equivalence-between-datatypes > > > > which says that > > > > [[ > > eg:foo eg:bar "10"^^<xsd:integer> . > > ]] > > rdfs+dt(xsd:integer, xsd:decimal)-entails > > [[ > > eg:foo eg:bar "10.0"^^<xsd:decimal> . > > ]] > > > > I'm waiting on a confirmation that this is, or is not, actually the > > case, in light of recent xsd clarifications. > > Are you waiting on a particular answer from the RDFCore group to > repond? The XML Schema group? A particular individual? Hopefully for Pat to just confirm that I didn't imagine it when I thought I heard him say that this is now the treatment of XSD types: ie, that their denotation is a pair of (typename, value). -- 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/ We thought time travel was impossible. But that was now and this is then.
Received on Monday, 18 August 2003 16:51:13 UTC