- From: Ignazio Palmisano <ipalmisano.mailings@gmail.com>
- Date: Thu, 25 Dec 2014 13:21:55 +0100
- To: public-owl-dev@w3.org
On 24 December 2014 at 23:53, 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? Do you have an instance of person in your ontology? Without instances, this will just be an unsatisfiable class, but the ontology is still consistent. Cheers, I.
Received on Thursday, 25 December 2014 12:22:22 UTC