Re: document status update

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