Re: document status update

On Tue, 19 Aug 2003, Jeremy Carroll wrote:

> Jos De_Roo wrote:
>
>
> >>>I'm waiting on one thing. As I understand it, the value spaces of
> >>>xsd:integer and xsd:decimal no longer intersect.
> >>>
> >>What?!?!?!?!?
> >>
> >
> > I'm also stupified. On the other hand Pat told us about
> > disjoint value spaces in XSD. So far I assumed that
> > xsd:integer a rdfs:Datatype; rdfs:subClassOf xsd:decimal.
> >
>
>
> There is no possible reading of XSD that does not have this.
>
> I will try and clarify:
>
> - XSD has primitive simple types (e.g. decimal) and derived simple types
> (e.g integer).
> - one reading of XSD suggests that different primitve types are disjoint.
> - a different reading of XSD suggests that different primtiive types may
> share members.
> - both readings agree that a derived type has a value space that is a
> subset of its supertype.
>
> - we have recently clairified that rdf:XMLLiteral's value space is disjoint
> from the value space of any XSD simple type. This decision *does not* say
> anything about whether two XSD types intersect or not.
>
>
> So - knowing that xsd:integer is derived from xsd:decimal, we know that the
> two types are also in rdfs:subClassOf relationship.
>
> The test is unchanged, and I believe Jan had got the wrong end of some
> stick ...

Yup; when Pat said, "none of the XSD datatypes intersect", he meant,
with the value space for XML Literal, not each other. Sorry if I gave
anyone heartaches over their cornflakes.


-- 
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/
Usenet: The separation of content AND presentation - simultaneously.