Re: Question about dataranges incompatibilities

I would say that the data types are disjoint thus their intersection of value sets is the empty set.

This is strictly analogous to the non datatype case:

A disjointwith B.
C = P someValuesFrom A and
       P allValuesFrom B.

On Dec 21, 2014, at 7:14, "Leila Bayoudhi" <bayoudhileila@yahoo.fr<mailto:bayoudhileila@yahoo.fr>> wrote:

Hi,
Given  new defined datatype called newdata
 <DatatypeDefinition>
        <Datatype IRI="#newData"/>
        <DatatypeRestriction>
            <Datatype abbreviatedIRI="xsd:int"/>
            <FacetRestriction facet="&xsd;maxInclusive">
                <Literal datatypeIRI="&xsd;integer">100</Literal>
            </FacetRestriction>
            <FacetRestriction facet="&xsd;minExclusive">
                <Literal datatypeIRI="&xsd;integer">0</Literal>
            </FacetRestriction>
        </DatatypeRestriction>
    </DatatypeDefinition>

Given  a subclassOf axiom
<SubClassOf>
        <Class IRI="#person"/>
        <DataAllValuesFrom>
            <DataProperty IRI="#hasIdentifier"/>
            <Datatype IRI="#newData"/>
        </DataAllValuesFrom>
    </SubClassOf>
Intentionally for making unsatisfiable the class person, I introduce this subClassOf axiuom
<SubClassOf>
        <Class IRI="#person"/>
        <DataSomeValuesFrom>
            <DataProperty IRI="#hasIdentifier"/>
            <Datatype abbreviatedIRI="xsd:boolean"/>
        </DataSomeValuesFrom>
    </SubClassOf>
    <SubClassOf>

here what can i to explain "formally" this unsatisfiability:( concerning -DR1:= newdata DR2:= boolean)
can we say DR1 DR2 are different?
can we say DR1 DR2 are incompatible?
can we say that the value space of DR1 IS NOT in the DR2 one?
or what we say exactly?

Thank you for helping me.