Disjointness of Double and Float and Decimal

• From: Bijan Parsia <bparsia@cs.man.ac.uk>
• Date: Wed, 2 Jul 2008 19:12:08 +0100
• To: OWL Working Group WG <public-owl-wg@w3.org>
• Message-Id: <6572A0FC-B943-4ACE-9E42-6D914E2C383C@cs.man.ac.uk>

Double, Float, and Decimal are both primitive XSD types.
	http://www.w3.org/TR/xmlschema-2/#built-in-primitive-datatypes

All primitive XSD types are disjoint:
	http://www.w3.org/TR/xmlschema-2/#equal
"""the ·value space·s of all ·primitive· datatypes are disjoint (they  
do not share any values)"""

Ergo, Double, Float, and Decimal (and thus integer) are disjoint.

Decimal is similar to double and float in being non-exact, which is  
why we want a separate real datatype (with rational constants).

Cheers,
Bijan.

Received on Wednesday, 2 July 2008 18:09:54 UTC