@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()); } }); }
@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()); } }); }
@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()); } }); }
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()); } }); }
public static boolean equals(final EntailmentInference first, final EntailmentInference second) { return first.accept(new EntailmentInferenceEquality(second)); }
public static boolean equals(final EntailmentInference first, final EntailmentInference second) { return first.accept(new EntailmentInferenceEquality(second)); }
public static boolean equals(final EntailmentInference first, final EntailmentInference second) { return first.accept(new EntailmentInferenceEquality(second)); }
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(); } } }
@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; }