public InternalProof(final Reasoner reasoner, final ElkAxiom goal) throws ElkException { this.reasoner_ = reasoner; this.goal_ = goal; reasoner.isEntailed(goal).accept(this); }
public InternalProof(final Reasoner reasoner, final ElkAxiom goal) throws ElkException { this.reasoner_ = reasoner; this.goal_ = goal; reasoner.isEntailed(goal).accept(this); }
public InternalProof(final Reasoner reasoner, final ElkAxiom goal) throws ElkException { this.reasoner_ = reasoner; this.goal_ = goal; reasoner.isEntailed(goal).accept(this); }
result.accept(new EntailmentQueryResult.Visitor<Void, ElkException>() {
result.accept(new EntailmentQueryResult.Visitor<Void, ElkException>() {
result.accept(new EntailmentQueryResult.Visitor<Void, ElkException>() {
static Map<ElkAxiom, Boolean> resultToOutput( final Map<ElkAxiom, EntailmentQueryResult> result) throws ElkQueryException { final Map<ElkAxiom, Boolean> output = new HashMap<ElkAxiom, Boolean>(); for (final Map.Entry<ElkAxiom, EntailmentQueryResult> e : result .entrySet()) { output.put(e.getKey(), e.getValue().accept(RESULT_VISITOR)); } return output; }
@Override public boolean isEntailed(final Set<? extends OWLAxiom> owlAxioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(Set<? extends OWLAxiom>)"); checkInterrupted(); try { final Map<ElkAxiom, EntailmentQueryResult> results = reasoner_ .isEntailed(owlConverter_.convertAxiomSet(owlAxioms)); for (final EntailmentQueryResult result : results.values()) { if (!result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER)) { return false; } } return true; } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(Set<? extends OWLAxiom>)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isEntailed(final Set<? extends OWLAxiom> owlAxioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(Set<? extends OWLAxiom>)"); checkInterrupted(); try { final Map<ElkAxiom, EntailmentQueryResult> results = reasoner_ .isEntailed(owlConverter_.convertAxiomSet(owlAxioms)); for (final EntailmentQueryResult result : results.values()) { if (!result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER)) { return false; } } return true; } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(Set<? extends OWLAxiom>)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isEntailed(final Set<? extends OWLAxiom> owlAxioms) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(Set<? extends OWLAxiom>)"); checkInterrupted(); try { final Map<ElkAxiom, EntailmentQueryResult> results = reasoner_ .isEntailed(owlConverter_.convertAxiomSet(owlAxioms)); for (final EntailmentQueryResult result : results.values()) { if (!result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER)) { return false; } } return true; } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(Set<? extends OWLAxiom>)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isEntailed(final OWLAxiom owlAxiom) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(OWLAxiom)"); checkInterrupted(); try { final ElkAxiom elkAxiom = owlConverter_.convert(owlAxiom); final EntailmentQueryResult result = reasoner_.isEntailed(elkAxiom); return result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(OWLAxiom)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isEntailed(final OWLAxiom owlAxiom) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(OWLAxiom)"); checkInterrupted(); try { final ElkAxiom elkAxiom = owlConverter_.convert(owlAxiom); final EntailmentQueryResult result = reasoner_.isEntailed(elkAxiom); return result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(OWLAxiom)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public boolean isEntailed(final OWLAxiom owlAxiom) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { LOGGER_.trace("isEntailed(OWLAxiom)"); checkInterrupted(); try { final ElkAxiom elkAxiom = owlConverter_.convert(owlAxiom); final EntailmentQueryResult result = reasoner_.isEntailed(elkAxiom); return result.accept(ENTAILMENT_QUERY_RESULT_CONVERTER); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod("isEntailed(OWLAxiom)", e.getMessage()); } 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); } }
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); } }
result.accept( new EntailmentQueryResult.Visitor<Void, ElkQueryException>() {