@Override public Integer visit( final DisjointClassesAxiomEntailment disjointClassesAxiomEntailment) { return combinedHashCode(hashCode(DisjointClassesAxiomEntailment.class), hashCode(disjointClassesAxiomEntailment.getAxiom())); }
@Override public Integer visit( final DisjointClassesAxiomEntailment disjointClassesAxiomEntailment) { return combinedHashCode(hashCode(DisjointClassesAxiomEntailment.class), hashCode(disjointClassesAxiomEntailment.getAxiom())); }
@Override public Integer visit( final DisjointClassesAxiomEntailment disjointClassesAxiomEntailment) { return combinedHashCode(hashCode(DisjointClassesAxiomEntailment.class), hashCode(disjointClassesAxiomEntailment.getAxiom())); }
@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; }