@Override protected OWLAxiom convert(ElkAxiom axiom) { return ElkConverter.getInstance().convert(axiom); }
@Override protected OWLAxiom convert(ElkAxiom axiom) { return ElkConverter.getInstance().convert(axiom); }
@Override protected OWLAxiom convert(ElkAxiom axiom) { return ElkConverter.getInstance().convert(axiom); }
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); } }
this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();
this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();
this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();