@Override public synchronized void ontologyChanged() { inSync_ = false; fireChanged(); }
DynamicOwlProof(OWLAxiom entailment) { this.entailment_ = entailment; this.proof_ = ElkOwlProof.create(reasoner_, entailment); ElkProofService.this.listeners_.add(this); }
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; }
public static Inference<? extends OWLAxiom> getExample( Inference<? extends OWLAxiom> inference) { if (inference instanceof ElkOwlInference) { return new ElkOwlInference(ElkInferenceExamples .getExample(((ElkOwlInference) inference).getInput())); } // else return null; }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public synchronized Collection<? extends ElkOwlInference> getInferences( Object conclusion) { ensureSync(); return super.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; }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public synchronized void ontologyChanged() { inSync_ = false; fireChanged(); }
@Override public synchronized Collection<? extends ElkOwlInference> getInferences( Object conclusion) { ensureSync(); return super.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; }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@Override public synchronized void ontologyChanged() { inSync_ = false; fireChanged(); }
@Override public synchronized Collection<? extends ElkOwlInference> getInferences( Object conclusion) { ensureSync(); return super.getInferences(conclusion); }
@Override public DynamicProof<ElkOwlInference> getProof(OWLAxiom entailment) throws UnsupportedEntailmentTypeException { return ElkOwlProof.create(getDelegate(), entailment); }
@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); } }