When the ontology is consistent, it throws an exception

bundle --verbose --noProb --method owlexp --inconsistent file:/examples/minimal-consistent-ontology.owl

It returns:

Exception in thread "main" java.lang.RuntimeException: Explanations not found
    at it.unife.endif.ml.bundle.Bundle.computeQuery(Bundle.java:822)
    at it.unife.endif.ml.bundle.BundleController.run(BundleController.java:48)
    at it.unife.endif.ml.bundle.BundleCLIImpl.run(BundleCLIImpl.java:46)
    at it.unife.endif.ml.bundle.MainClass.main(MainClass.java:36)

Comments (2)