@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { if (goal_.equals(conclusion)) { @SuppressWarnings("unchecked") final Collection<? extends Inference<Object>> result = Arrays .asList(goalInference_); return result; } // else return proof_.getInferences(conclusion); }
public OwlInternalProof(final Reasoner reasoner, final OWLAxiom goal) { this.goal_ = goal; final ElkAxiom convertedGoal = owlConverter_.convert(goal); this.goalInference_ = Inferences.create("Converting inference", goal, Arrays.asList(convertedGoal)); try { this.proof_ = new InternalProofExtension(reasoner, owlConverter_.convert(goal)); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
public OwlInternalProof(final Reasoner reasoner, final OWLAxiom goal) { this.goal_ = goal; final ElkAxiom convertedGoal = owlConverter_.convert(goal); this.goalInference_ = Inferences.create("Converting inference", goal, Arrays.asList(convertedGoal)); try { this.proof_ = new InternalProofExtension(reasoner, owlConverter_.convert(goal)); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
public OwlInternalProof(final Reasoner reasoner, final OWLAxiom goal) { this.goal_ = goal; final ElkAxiom convertedGoal = owlConverter_.convert(goal); this.goalInference_ = Inferences.create("Converting inference", goal, Arrays.asList(convertedGoal)); try { this.proof_ = new InternalProofExtension(reasoner, owlConverter_.convert(goal)); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { if (goal_.equals(conclusion)) { @SuppressWarnings("unchecked") final Collection<? extends Inference<Object>> result = Arrays .asList(goalInference_); return result; } // else return proof_.getInferences(conclusion); }
@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { if (goal_.equals(conclusion)) { @SuppressWarnings("unchecked") final Collection<? extends Inference<Object>> result = Arrays .asList(goalInference_); return result; } // else return proof_.getInferences(conclusion); }