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

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

From: Michael Schneider <schneid@fzi.de>
Date: Tue, 6 May 2008 12:38:01 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A08BE1F1@judith.fzi.de>
To: "Jeremy Carroll" <jjc@hpl.hp.com>
Cc: "OWL Working Group WG" <public-owl-wg@w3.org>, "Boris Motik" <boris.motik@comlab.ox.ac.uk>
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



Received on Tuesday, 6 May 2008 10:38:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 6 May 2008 10:38:43 GMT