Re: Inconsistency is not raised dataAllValuesFrom

How that? Is It not like working with object properties? 

     Le Jeudi 25 décembre 2014 13h40, Bijan Parsia <bijan.parsia@manchester.ac.uk> a écrit :
   

 That class should be sat too. 
(Unless I'm having an epic brain fart...it is early where I am. )
On Dec 25, 2014, at 7:33, "Leila Bayoudhi" <bayoudhileila@yahoo.fr> wrote:


Thank you for your answer.I look as well for having unsatifiables classes(incoherent ontology but consistent one).However, why having unsatisfiables classes when working with object properties?This is by having two subclassOf(class, ObjectAllValuesFrom(OPE CE1) and subclassOf(class, ObjectAllValuesFrom(OPE CE2) where disjointClasses(CE1 CE2).It seems like the case I presented where we have two data ranges whose the value spaces are disjoint.Thank you for explaing for me this.

Le Jeudi 25 décembre 2014 13h20, Bijan Parsia <bijan.parsia@manchester..ac.uk> a écrit :


The ontology is consistent and the class is satisfiable. Remember that universal quantification has a vacuous satisfiability case: if I don't have *any* identifiers, then *all* that I have are rational and date time. 
If you made one existential them the class would be unsat. If you then asserted an instance of that class the ont would be inconsistent. 
On Dec 25, 2014, at 6:38, "Leila Bayoudhi" <bayoudhileila@yahoo.fr> wrote:


Hi, I intentionally want to raise inconsistency in my ontology by creating these axioms <owl:Class rdf:about="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#person">        <rdfs:subClassOf>            <owl:Restriction>                <owl:onProperty rdf:resource="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#hasIdentifier"/>                <owl:allValuesFrom rdf:resource="&owl;rational"/>            </owl:Restriction>        </rdfs:subClassOf>        <rdfs:subClassOf>            <owl:Restriction>                <owl:onProperty rdf:resource="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#hasIdentifier"/>                <owl:allValuesFrom rdf:resource="&xsd;dateTime"/>            </owl:Restriction>        </rdfs:subClassOf>    </owl:Class> However, Hermit says that all is fine: the ontology is consistent( even the value spaces of the two data ranges are disjoint)Can you tell me please why?