- From: Leila Bayoudhi <bayoudhileila@yahoo.fr>
- Date: Wed, 24 Dec 2014 22:53:33 +0000 (UTC)
- To: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
Received on Thursday, 25 December 2014 11:35:58 UTC
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