@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } });
.getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);
.getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);
.getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);
@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } });
@Override public Boolean visit( final OntologyInconsistencyEntailsAnyAxiom other) { return equals(other.getConclusion(), ontologyInconsistencyEntailsAnyAxiom.getConclusion()); } });
@Override public Integer visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return combinedHashCode( hashCode(OntologyInconsistencyEntailsAnyAxiom.class), hashCode(ontologyInconsistencyEntailsAnyAxiom.getConclusion())); }
@Override public Integer visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return combinedHashCode( hashCode(OntologyInconsistencyEntailsAnyAxiom.class), hashCode(ontologyInconsistencyEntailsAnyAxiom.getConclusion())); }
@Override public Integer visit( final OntologyInconsistencyEntailsAnyAxiom ontologyInconsistencyEntailsAnyAxiom) { return combinedHashCode( hashCode(OntologyInconsistencyEntailsAnyAxiom.class), hashCode(ontologyInconsistencyEntailsAnyAxiom.getConclusion())); }