@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { return proof_.getInferences(conclusion); }
@Override public Set<OWLAxiom> getJustification(Inference<?> inference) { return justifier_.getJustification(inference); }
public static DynamicProof<ElkOwlInference> create(ElkReasoner reasoner, OWLAxiom entailment) throws UnsupportedEntailmentTypeException { if (reasoner == null) { return Proofs.emptyProof(); } // else final ElkOwlProof proof = new ElkOwlProof(reasoner, entailment); // If the entailment is not supported, throw the exceptions now. proof.ensureSync(); return proof; }
@Override public synchronized Collection<? extends ElkOwlInference> getInferences( Object conclusion) { ensureSync(); return super.getInferences(conclusion); }
@Override public Set<OWLAxiom> getJustification(Inference<?> inference) { if (Inferences.isAsserted(inference)) { Object conclusion = inference.getConclusion(); if (conclusion instanceof OWLAxiom) { return Collections .singleton((OWLAxiom) inference.getConclusion()); } } // else return Collections.emptySet(); }
@Override public void reasonerChanged() { for (DynamicProof.ChangeListener listener : listeners_) { proof_.removeListener(listener); } this.proof_ = ElkOwlProof.create(reasoner_, entailment_); for (DynamicProof.ChangeListener listener : listeners_) { proof_.addListener(listener); } }
static boolean canConvertStep(ProofStep<OWLAxiom> step) { return step.getName() == NAME; }
@Override public Collection<? extends Inference<? extends OWLAxiom>> getInferences( Object conclusion) { return proof_.getInferences(conclusion); }
void convert(InlinedOwlProofStep step) { super.convert(step); }
@Override public void addListener(DynamicProof.ChangeListener listener) { if (listeners_.add(listener)) { proof_.addListener(listener); } }
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { return proof_.getInferences(conclusion); }
public static DynamicProof<ElkOwlInference> create(ElkReasoner reasoner, OWLAxiom entailment) throws UnsupportedEntailmentTypeException { if (reasoner == null) { return Proofs.emptyProof(); } // else final ElkOwlProof proof = new ElkOwlProof(reasoner, entailment); // If the entailment is not supported, throw the exceptions now. proof.ensureSync(); return proof; }
static boolean canConvertStep(ProofStep<OWLAxiom> step) { return step.getName() == NAME; }
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
@Override public Collection<? extends Inference<Object>> getInferences( final Object conclusion) { return proof_.getInferences(conclusion); }