On Dec 21, 2014, at 11:29, "Simon Spero" <sesuncedu@gmail.com<mailto:sesuncedu@gmail.com>> wrote: The disjointness of the value spaces of xsd:boolean and xsd:integer is part of the definition of these datatypes (xsd:integer is a derived type of xsd:decimal). The types have no values in common. The lexical space of boolean includes "0" and "1", but these are alternate ways of expressing the values false and true. There are no disjointness axioms expressed in OWL, because it is given in the xml schema documentation (part 2 And I'd go further: fundamentally new datatypes are intended to be added as extensions to the language. Without the need to define new fundamental types, disjoint datatypes axioms really only useful for testing. Cheers, Bijan.
Received on Sunday, 21 December 2014 16:48:14 UTC