@Override public Proof<? extends Inference<?>> computeProof(OWLAxiom entailment) { ElkReasoner elkReasoner = getCurrentElkReasoner(); if (elkReasoner == null) { return null; } // else return new OwlInternalProof(elkReasoner.getInternalReasoner(), entailment); }
private void generate() { final OwlConverter owlConverter = OwlConverter.getInstance(); final ElkConverter elkConverter = ElkConverter.getInstance(); try { final ElkAxiom elkAxiom = owlConverter.convert(owlEntailment_); final EntailmentQueryResult result = elkReasoner_ .getInternalReasoner().isEntailed(elkAxiom); result.accept(ENTAILMENT_QUERY_RESULT_VISITOR); } catch (final ElkException e) { throw elkConverter.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter.convert(e); } }
private void generate() { final OwlConverter owlConverter = OwlConverter.getInstance(); final ElkConverter elkConverter = ElkConverter.getInstance(); try { final ElkAxiom elkAxiom = owlConverter.convert(owlEntailment_); final EntailmentQueryResult result = elkReasoner_ .getInternalReasoner().isEntailed(elkAxiom); result.accept(ENTAILMENT_QUERY_RESULT_VISITOR); } catch (final ElkException e) { throw elkConverter.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter.convert(e); } }
private void generate() { final OwlConverter owlConverter = OwlConverter.getInstance(); final ElkConverter elkConverter = ElkConverter.getInstance(); try { final ElkAxiom elkAxiom = owlConverter.convert(owlEntailment_); final EntailmentQueryResult result = elkReasoner_ .getInternalReasoner().isEntailed(elkAxiom); result.accept(ENTAILMENT_QUERY_RESULT_VISITOR); } catch (final ElkException e) { throw elkConverter.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter.convert(e); } }