Re: Inconsistency is not raised dataAllValuesFrom

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<mailto: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?