@Override public Boolean visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason()); } });
@Override public Integer visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom derivedClassInclusionEntailsObjectPropertyDomainAxiom) { return combinedHashCode( hashCode( DerivedClassInclusionEntailsObjectPropertyDomainAxiom.class), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom derivedClassInclusionEntailsObjectPropertyDomainAxiom) { return combinedHashCode( hashCode( DerivedClassInclusionEntailsObjectPropertyDomainAxiom.class), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom derivedClassInclusionEntailsObjectPropertyDomainAxiom) { return combinedHashCode( hashCode( DerivedClassInclusionEntailsObjectPropertyDomainAxiom.class), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsObjectPropertyDomainAxiom .getReason())); }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkClassExpression domain = entailmentInference.getConclusion() .getAxiom().getDomain(); final ElkClassExpression subClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getOwlThing()); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, domain); inferenceFactory_.getElkObjectPropertyDomainOfClassInclusion(property, domain); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkClassExpression domain = entailmentInference.getConclusion() .getAxiom().getDomain(); final ElkClassExpression subClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getOwlThing()); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, domain); inferenceFactory_.getElkObjectPropertyDomainOfClassInclusion(property, domain); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyDomainAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkClassExpression domain = entailmentInference.getConclusion() .getAxiom().getDomain(); final ElkClassExpression subClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getOwlThing()); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, domain); inferenceFactory_.getElkObjectPropertyDomainOfClassInclusion(property, domain); return null; }