RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain

Jeremy Carroll answered to Boris Motik:

>> Unfortunately, this is a "feature" and not a bug. Complements of data
>>ranges are included into OWL 2 mainly in order to provide
>> everything that is needed for reasoning

[...]

>I am assuming it is possible to express the intersection of the
>enclosing type with the complement - so that Michael's point is more
>about usability than expressability.

Good point! For example:

    IntersectionOf(
        AllValuesFrom( badBodyTemperature xsd:decimal )
        AllValuesFrom( badBodyTemperature ComplementOf( 
            DatatypeRestriction( xsd:decimal minInclusive 35 maxExclusive 42
)))) 

Perhaps one can introduce some syntactic sugar, or just leave the situation
as is, and add some note into the Primer instead on how to handle such
common cases.

Cheers,
Michael