search

phillord / hermit-reasoner

53 stars 25 forks source link

Reasoning inconsistency for disjoint sets of classes #10

Closed visraj1 closed 6 years ago

visraj1 commented 6 years ago

Hi,

I had been trying to use OWL API to check if an ontology is consistent or not. When I try to run the reasoner on Protege I get the correct inconsistency due to the disjointedness as in the figure below. image

But when I use the same ontology with the OWL API, its returning true for hermit.isConsistent(). Is it due to the wrong usage of the reasoner. I have provided the code below as well . Both Reasoner and Configuration are from the package org.semanticweb.HermiT

Configuration config=new Configuration(); Reasoner hermit = new Reasoner(config,ontology);
if(hermit.isConsistent()) { System.out.print("Running safe"); }

ignazio1977 commented 6 years ago

Already answered on the owlapi tracker. The right tracker for hermit issues is on the clone of this repository, under my username.