- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Sun, 24 Nov 2002 16:00:44 +0200
- 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 UTC