Datatype disjointness implemented

Hello,

I've just implemented yesterday's decision about datatype disjointness.

The changes in the Syntax document are localized to Section 4. Here is the diff,
although I doubt that it will be of great use, since the changes were many:
http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=19585&oldid=19563

Profiles:
http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=19586&oldid=19552
The change here was to remove the reference to owl:realPlus. Also, as far as I
remember from the F2F, we said that we'd include xsd:float and xsd:double into
OWL 2 RL after deciding on the disjointness, so this is what I did.

Regards,

	Boris

Received on Thursday, 12 March 2009 11:45:13 UTC