@ignazio1977 I am getting a Null Pointer Exception when trying to generate explanations. The code which fixes this issue probably isn't present in the version 5.0.0 of the dependency available in Maven repository.
The constructor of StructuralTypePriorityExpansionStrategy has a potential NullPointerException which is guaranteed to be generated if the Configuration Constructor public Configuration(EntailmentCheckerFactory<E> checkerFactory, Supplier<OWLOntologyManager> m) is used anywhere in the code.
Perhaps replace: public StructuralTypePriorityExpansionStrategy(InitialEntailmentCheckStrategy initialEntailmentCheckStrategy, Supplier<OWLOntologyManager> m) { this.initialEntailmentCheckStrategy = initialEntailmentCheckStrategy; this.m = m; }
with: public StructuralTypePriorityExpansionStrategy(InitialEntailmentCheckStrategy initialEntailmentCheckStrategy, Supplier<OWLOntologyManager> m) { if(initialEntailmentCheckStrategy != null){ this.initialEntailmentCheckStrategy = initialEntailmentCheckStrategy; } this.m = m; }
I am trying to use this package for checking inconsistencies in an OWL 2 DL ontology. I am using OWL API 5.1.14 and owlexplanation 5.0.0 but I am failing to adapt an old example found on stackoverflow to OWL API v5.
It would be great if some documentation/example code is provided on how to use the API. I have been struggling since a long time to understand the usage.
I am facing this issue which I can't figure out. Is the EquivalentClassAxiom supported by owlexplanation 5.0.0?
I get org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker$UnsupportedAxiomTypeException: Unsupported type of axiom: EquivalentClasses
for the axiom EquivalentClasses(<http://stelios.org/onto.owl#Dog> <http://stelios.org/onto.owl#Rough> <http://stelios.org/onto.owl#Young>), of this ontology.
Keep in mind the ontology is randomly generated so don't bother making sense of any meaning in it.
I am using HermiT 1.4.5.519, OWLAPI 5.1.19 and Owlexplanation 5.0.0.