@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { final Collection<? extends Inference<Entailment>> infs = inconsistencyEvidence_ .getInferences(OntologyInconsistencyImpl.INSTANCE); if (infs == null || infs.isEmpty()) { /* * If ontology inconsistency is not entailed, this proof is empty. */ return Collections.emptyList(); } // else if (conclusion instanceof Entailment) { return ((Entailment) conclusion).accept(GET_INFERENCES); } // else return Collections.emptyList(); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { final Collection<? extends Inference<Entailment>> infs = inconsistencyEvidence_ .getInferences(OntologyInconsistencyImpl.INSTANCE); if (infs == null || infs.isEmpty()) { /* * If ontology inconsistency is not entailed, this proof is empty. */ return Collections.emptyList(); } // else if (conclusion instanceof Entailment) { return ((Entailment) conclusion).accept(GET_INFERENCES); } // else return Collections.emptyList(); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { final Collection<? extends Inference<Entailment>> infs = inconsistencyEvidence_ .getInferences(OntologyInconsistencyImpl.INSTANCE); if (infs == null || infs.isEmpty()) { /* * If ontology inconsistency is not entailed, this proof is empty. */ return Collections.emptyList(); } // else if (conclusion instanceof Entailment) { return ((Entailment) conclusion).accept(GET_INFERENCES); } // else return Collections.emptyList(); }
private static void unwindProof(Proof<?> proof, Object entailment) { // Start recursive unwinding of conclusions LinkedList<Object> toDo = new LinkedList<Object>(); Set<Object> done = new HashSet<Object>(); toDo.add(entailment); done.add(entailment); for (;;) { Object next = toDo.poll(); if (next == null) { break; } for (Inference<?> inf : proof.getInferences(next)) { System.out.println(inf); // Recursively unwind premise inferences for (Object premise : inf.getPremises()) { if (done.add(premise)) { toDo.addFirst(premise); } } // Uncomment if only interested in one inference per derived expression (that is sufficient to reconstruct one proof) break; } } }
private static void unwindProof(Proof<?> proof, Object entailment) { // Start recursive unwinding of conclusions LinkedList<Object> toDo = new LinkedList<Object>(); Set<Object> done = new HashSet<Object>(); toDo.add(entailment); done.add(entailment); for (;;) { Object next = toDo.poll(); if (next == null) { break; } for (Inference<?> inf : proof.getInferences(next)) { System.out.println(inf); // Recursively unwind premise inferences for (Object premise : inf.getPremises()) { if (done.add(premise)) { toDo.addFirst(premise); } } // Uncomment if only interested in one inference per derived expression (that is sufficient to reconstruct one proof) break; } } }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
while ((entailment = entailmentToDo.poll()) != null) { for (final EntailmentInference inf : evidence .getInferences(entailment)) { while ((conclusion = tracingToDo.poll()) != null) { for (final TracingInference inf : tracingProof .getInferences(conclusion)) {
while ((entailment = entailmentToDo.poll()) != null) { for (final EntailmentInference inf : evidence .getInferences(entailment)) { while ((conclusion = tracingToDo.poll()) != null) { for (final TracingInference inf : tracingProof .getInferences(conclusion)) {
while ((entailment = entailmentToDo.poll()) != null) { for (final EntailmentInference inf : evidence .getInferences(entailment)) { while ((conclusion = tracingToDo.poll()) != null) { for (final TracingInference inf : tracingProof .getInferences(conclusion)) {
private static void collectReasons(final Entailment goal, final Proof<? extends EntailmentInference> evidence, final Collection<Conclusion> result) { final Set<Entailment> done = new ArrayHashSet<Entailment>(); final Queue<Entailment> toDo = new LinkedList<Entailment>(); if (done.add(goal)) { toDo.offer(goal); } Entailment entailment; while ((entailment = toDo.poll()) != null) { for (final EntailmentInference inf : evidence .getInferences(entailment)) { if (inf instanceof HasReason) { final Object reason = ((HasReason<?>) inf).getReason(); if (reason instanceof Conclusion) { result.add((Conclusion) reason); } } for (final Entailment premise : inf.getPremises()) { if (done.add(premise)) { toDo.offer(premise); } } } } }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkDisjointClassesIntersectionInconsistencies( entailmentInference.getConclusion().getAxiom() .getClassExpressions()); return null; }
@Override public Void visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkDisjointClassesIntersectionInconsistencies( entailmentInference.getConclusion().getAxiom() .getClassExpressions()); return null; }