Re: document status update

>On Mon, 2003-08-18 at 15:45, Jan Grant wrote:
>>  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).
>
>I'm pretty sure Pat has gotten the wrong impression about how
>XSD types work. Please don't base RDF Core tests on his
>say alone... or mine, for that matter. Please find text
>of published XSD specs for whatever we believe about XSD.

THe problem with that is that one can find published text in the XSD 
specs which would lead you to both conclusions. The XSD specs are a 
train wreck.

Pat

-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes

Received on Thursday, 21 August 2003 12:19:07 UTC