W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: xsd:float and xsd:decimal

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Sun, 24 Nov 2002 16:00:44 +0200
Message-ID: <002701c293c1$e1ef1af0$fb82720a@NOE.Nokia.com>
To: "ext Jeremy Carroll" <jjc@hpl.hp.com>, <w3c-rdfcore-wg@w3.org>



[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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT