@Override public Boolean visit( final DerivedClassInclusionEntailsClassAssertionAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsClassAssertionAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsClassAssertionAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsClassAssertionAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsClassAssertionAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsClassAssertionAxiom .getReason()); } });
@Override public Integer visit( final DerivedClassInclusionEntailsClassAssertionAxiom derivedClassInclusionEntailsClassAssertionAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsClassAssertionAxiom.class), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsClassAssertionAxiom derivedClassInclusionEntailsClassAssertionAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsClassAssertionAxiom.class), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsClassAssertionAxiom derivedClassInclusionEntailsClassAssertionAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsClassAssertionAxiom.class), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsClassAssertionAxiom .getReason())); }
@Override public Void visit( final DerivedClassInclusionEntailsClassAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual instance = entailmentInference.getConclusion() .getAxiom().getIndividual(); final ElkClassExpression nominal = elkFactory_.getObjectOneOf(instance); final ElkClassExpression type = entailmentInference.getConclusion() .getAxiom().getClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, nominal, type); inferenceFactory_.getElkClassAssertionOfClassInclusion(instance, type); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsClassAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual instance = entailmentInference.getConclusion() .getAxiom().getIndividual(); final ElkClassExpression nominal = elkFactory_.getObjectOneOf(instance); final ElkClassExpression type = entailmentInference.getConclusion() .getAxiom().getClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, nominal, type); inferenceFactory_.getElkClassAssertionOfClassInclusion(instance, type); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsClassAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual instance = entailmentInference.getConclusion() .getAxiom().getIndividual(); final ElkClassExpression nominal = elkFactory_.getObjectOneOf(instance); final ElkClassExpression type = entailmentInference.getConclusion() .getAxiom().getClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, nominal, type); inferenceFactory_.getElkClassAssertionOfClassInclusion(instance, type); return null; }