Permalink
Browse files

Fix support check done by elk's justification proof services

  • Loading branch information...
aifargonos committed Oct 10, 2017
1 parent 934a965 commit 6671643b51bcb2572ff393c16737194ea6dc8285
@@ -41,7 +41,9 @@ public void dispose() throws Exception {
@Override
public boolean hasProof(OWLAxiom entailment) {
return getCurrentElkReasoner() != null;
final ElkReasoner elkReasoner = getCurrentElkReasoner();
return elkReasoner != null && elkReasoner
.isEntailmentCheckingSupported(entailment.getAxiomType());
}
/**

0 comments on commit 6671643

Please sign in to comment.