Inconsistency is not raised dataAllValuesFrom

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?

Received on Thursday, 25 December 2014 11:35:58 UTC