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); }
private void generateInferences(final ElkAxiom goal) throws ElkException { final EntailmentQueryResult result = reasoner_.isEntailed(goal);
private void generateInferences(final ElkAxiom goal) throws ElkException { final EntailmentQueryResult result = reasoner_.isEntailed(goal);
private void generateInferences(final ElkAxiom goal) throws ElkException { final EntailmentQueryResult result = reasoner_.isEntailed(goal);
@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); } }
final EntailmentQueryResult result = reasoner.isEntailed( elkFactory.getSubClassOfAxiom(subClass, superClass)); result.accept(
@Override public EntailmentQueryTestOutput<ElkAxiom> getExpectedOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getStandardReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( ElkEntailmentQueryTest.resultToOutput(result)); }
@Override public EntailmentQueryTestOutput<ElkAxiom> getActualOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getIncrementalReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( ElkEntailmentQueryTest.resultToOutput(result)); }
@Override public EntailmentQueryTestOutput<ElkAxiom> getActualOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( resultToOutput(result)); }