ISSUE-124

datarange complement

RESOLVED: The complement of a datarange is defined relative to the whole data domain

State:

CLOSED

Product:

Raised by:

Michael Schneider

Opened on:

2008-05-04

Description:

The current OWL 2 DL semantics of datarange complements is according to [1]:

    ComplementOf(DR) = DataDomain \ DR 

i.e. the set of all existing datavalues from rdfs:Literal, except the values specified by the datarange.

For example:

    ComplementOf(
        DatatypeRestriction(
            xsd:nonNegativeInteger 
            minExclusive 18
        )
    )

is not only the set of all non-negative integers >= 18, but this set also contains all strings, floats, and even all integers, since the datatype xsd:integer is disjoint from xsd:nonNegativeInteger.

I suggest to change the semantics of datarange complements to:

  ComplementOf(DR) = EnclosingDataType \ DR

With this change, the example complement above would exclusively contain all non-negative integers >= 18.

As a special case, the complement of a complete datatype would be the empty datarange, e.g.

  ComplementOf(xsd:nonNegativeInteger) = {}


[1] <http://www.w3.org/2007/OWL/wiki/Semantics#Data_Range_Expressions>

Related Actions Items:

No related actions

Related emails:

1. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from schneid@fzi.de on 2008-06-11)
2. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from boris.motik@comlab.ox.ac.uk on 2008-06-11)
3. Re: ISSUE-124: Proposal to rename URI in RDF mapping of datarange complements [WAS: RDF mapping of datarange complements brings problem for DL/Full relationship] (from alanruttenberg@gmail.com on 2008-06-10)
4. Re: ISSUE-124: Proposal to rename URI in RDF mapping of datarange complements [WAS: RDF mapping of datarange complements brings problem for DL/Full relationship] (from alanruttenberg@gmail.com on 2008-06-10)
5. RE: ISSUE-124: Proposal to rename URI in RDF mapping of datarange complements [WAS: RDF mapping of datarange complements brings problem for DL/Full relationship] (from boris.motik@comlab.ox.ac.uk on 2008-06-10)
6. ISSUE-124: Proposal to rename URI in RDF mapping of datarange complements [WAS: RDF mapping of datarange complements brings problem for DL/Full relationship] (from schneid@fzi.de on 2008-06-10)
7. Re: RDF mapping of datarange complements brings problem for DL/Full relationship (from pfps@research.bell-labs.com on 2008-06-03)
8. RDF mapping of datarange complements brings problem for DL/Full relationship (from schneid@fzi.de on 2008-06-03)
9. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from ewallace@cme.nist.gov on 2008-05-21)
10. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from boris.motik@comlab.ox.ac.uk on 2008-05-21)
11. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from ewallace@cme.nist.gov on 2008-05-21)
12. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from boris.motik@comlab.ox.ac.uk on 2008-05-21)
13. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from ewallace@cme.nist.gov on 2008-05-21)
14. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from alanruttenberg@gmail.com on 2008-05-21)
15. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from boris.motik@comlab.ox.ac.uk on 2008-05-21)
16. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from alanruttenberg@gmail.com on 2008-05-20)
17. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from ewallace@cme.nist.gov on 2008-05-20)
18. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from schneid@fzi.de on 2008-05-06)
19. Re: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from jjc@hpl.hp.com on 2008-05-06)
20. RE: ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from boris.motik@comlab.ox.ac.uk on 2008-05-04)
21. ISSUE-124 (datarange complement): The complement of a datarange is defined relative to the whole data domain (from sysbot+tracker@w3.org on 2008-05-04)

Related notes:

Changelog: