Re: xsd:float and xsd:decimal

[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]


> Thus, reading the authoritative specs we work out what the values are, and
> they are the same. Hence, independent of whether our implementations
> actually do it, the relevant entailments are part of RDF datatyping.

I'm fine with this as long as it is clear (somewhere) that
datatype entailments involving equality of values between 
different datatypes are based on the definitions of the
datatypes themselves, and if the relationships between 
the datatypes are not part of the formal definitions of
the datatypes, then the entailments cannot be determined.

I.e. we need to be clear about the basis for the entailments
and not work solely on the basis of human intuition.

Patrick

Received on Sunday, 24 November 2002 09:10:02 UTC