Re: Question about dataranges incompatibilities

The disjointness of the value spaces of xsd:boolean and xsd:integer is part
of the definition of these datatypes (xsd:integer is a derived type of
xsd:decimal).
The types have no values in common.

The lexical space of boolean includes "0" and "1", but these are alternate
ways of expressing the values false and true.

There are no disjointness axioms expressed in OWL, because it is given in
the xml schema documentation (part 2)

Simon
On Dec 21, 2014 9:20 AM, "Leila Bayoudhi" <bayoudhileila@yahoo.fr> wrote:

> Yes, this is what I mentioned for non datatype cases since we have already
> what we call disjointClassesAxiom(A, B)
> But for datatype we have not explicit axiom defing the disjoitness
> relation between two data ranges.
>
>
>   Le Dimanche 21 décembre 2014 14h36, Bijan Parsia
> <bijan.parsia@manchester..ac.uk> a écrit :
>
>
>  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> 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.
>
>
>
>
>