@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } }); }
final List<? extends Entailment> premises = inf.getPremises(); final List<Object> newPremises = new ArrayList<Object>( premises.size() + (reason == null ? 0 : 1)); proof_.produce(Inferences.create(inf.getName(), inf.getConclusion(), newPremises)); for (final Entailment premise : inf.getPremises()) { if (entailmentDone.add(premise)) { entailmentToDo.add(premise);
@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
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); } } } } }
final List<? extends Entailment> premises = inf.getPremises(); final List<Object> newPremises = new ArrayList<Object>( premises.size() + (reason == null ? 0 : 1)); proof_.produce(Inferences.create(inf.getName(), inf.getConclusion(), newPremises)); for (final Entailment premise : inf.getPremises()) { if (entailmentDone.add(premise)) { entailmentToDo.add(premise);
@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
@Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency other) { return equals(other.getReason(), owlThingInconsistencyEntailsOntologyInconsistency .getReason()); } }); }
final List<? extends Entailment> premises = inf.getPremises(); final List<Object> newPremises = new ArrayList<Object>( premises.size() + (reason == null ? 0 : 1)); proof_.produce(Inferences.create(inf.getName(), inf.getConclusion(), newPremises)); for (final Entailment premise : inf.getPremises()) { if (entailmentDone.add(premise)) { entailmentToDo.add(premise);
@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
@Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency other) { return equals(other.getReason(), owlThingInconsistencyEntailsOntologyInconsistency .getReason()); } }); }
public static String toString( final EntailmentInference entailmentInference) { return entailmentInference.accept(INSTANCE); }
@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } }); }
@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } }); }
@Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency topObjectPropertyInBottomEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency other) { return equals(other.getReason(), topObjectPropertyInBottomEntailsOntologyInconsistency .getReason()); } }); }
public static String toString( final EntailmentInference entailmentInference) { return entailmentInference.accept(INSTANCE); }
@Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency owlThingInconsistencyEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final OwlThingInconsistencyEntailsOntologyInconsistency other) { return equals(other.getReason(), owlThingInconsistencyEntailsOntologyInconsistency .getReason()); } }); }
public static String toString( final EntailmentInference entailmentInference) { return entailmentInference.accept(INSTANCE); }
@Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency topObjectPropertyInBottomEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency other) { return equals(other.getReason(), topObjectPropertyInBottomEntailsOntologyInconsistency .getReason()); } }); }
public static int hashCode(final EntailmentInference entailment) { return entailment == null ? 0 : entailment.accept(INSTANCE); }
@Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency topObjectPropertyInBottomEntailsOntologyInconsistency) { return other_.accept(new DefaultVisitor() { @Override public Boolean visit( final TopObjectPropertyInBottomEntailsOntologyInconsistency other) { return equals(other.getReason(), topObjectPropertyInBottomEntailsOntologyInconsistency .getReason()); } }); }