ignazio1977 / owlexplanation Goto Github PK

Hello,

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.

Any help would be welcome.

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;
}

Hi Ignazio,

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.

Thank you for your work.

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.

@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.