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