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

ISSUE-147 (Data-propositional): Add UnionOf and IntersectionOf on Data Ranges

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Sun, 19 Oct 2008 11:25:34 -0400 (EDT)
To: public-owl-wg@w3.org
Message-Id: <20081019152534.734E54DD62@crusher.w3.org>

ISSUE-147 (Data-propositional): Add UnionOf and IntersectionOf on Data Ranges


Raised by: Boris Motik
On product: 

Currently, it is not possible to define data ranges such as "an integer between 5 and 7 or 8 and 10", or data ranges such as "string or integer". Both types of data ranges can be useful in a number of axioms, such as data property range axioms. Finally, it is possible to indirectly express some of these ranges through ComplementOf; however, they cannot be expressed directly. This makes the situation rather similar to OWL Lite: we have some expressive power but this power is not directly accessible.

I propose to add IntersectionOf and UnionOf on data ranges. Handling these constructors is trivial from a reasoning perspective. In, say, the tableaux algorithm, such constructs can be used using the standard rules for disjunction and intersection. This change would affect only the Syntax and the RDF Mapping documents: the RDF-Based Semantics already contains such data ranges. Furthermore, these data ranges cannot be added to either of the profiles without affecting their computational properties, so the Profiles document should not change.
Received on Sunday, 19 October 2008 15:25:42 UTC

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