W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

Disjointness of Double and Float and Decimal

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

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC