@Override public Boolean visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom other) { return equals(other.getConclusion(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom other) { return equals(other.getConclusion(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom other) { return equals(other.getConclusion(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises()); } });
@Override public Integer visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom derivedIntersectionInconsistencyEntailsDisjointClassesAxiom) { return combinedHashCode( hashCode( EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom.class), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises())); }
@Override public Integer visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom derivedIntersectionInconsistencyEntailsDisjointClassesAxiom) { return combinedHashCode( hashCode( EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom.class), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises())); }
@Override public Integer visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom derivedIntersectionInconsistencyEntailsDisjointClassesAxiom) { return combinedHashCode( hashCode( EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom.class), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getConclusion()), hashCode( derivedIntersectionInconsistencyEntailsDisjointClassesAxiom .getPremises())); }
@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; }
@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; }