@Override public Integer visit( final ObjectPropertyAssertionAxiomEntailment objectPropertyAssertionAxiomEntailment) { return combinedHashCode( hashCode(ObjectPropertyAssertionAxiomEntailment.class), hashCode(objectPropertyAssertionAxiomEntailment.getAxiom())); }
@Override public Integer visit( final ObjectPropertyAssertionAxiomEntailment objectPropertyAssertionAxiomEntailment) { return combinedHashCode( hashCode(ObjectPropertyAssertionAxiomEntailment.class), hashCode(objectPropertyAssertionAxiomEntailment.getAxiom())); }
@Override public Integer visit( final ObjectPropertyAssertionAxiomEntailment objectPropertyAssertionAxiomEntailment) { return combinedHashCode( hashCode(ObjectPropertyAssertionAxiomEntailment.class), hashCode(objectPropertyAssertionAxiomEntailment.getAxiom())); }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual subject = entailmentInference.getConclusion() .getAxiom().getSubject(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkIndividual object = entailmentInference.getConclusion() .getAxiom().getObject(); final ElkClassExpression subClass = elkFactory_.getObjectOneOf(subject); final ElkClassExpression superClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getObjectOneOf(object)); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); inferenceFactory_.getElkObjectPropertyAssertionOfClassInclusion(subject, property, object); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual subject = entailmentInference.getConclusion() .getAxiom().getSubject(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkIndividual object = entailmentInference.getConclusion() .getAxiom().getObject(); final ElkClassExpression subClass = elkFactory_.getObjectOneOf(subject); final ElkClassExpression superClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getObjectOneOf(object)); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); inferenceFactory_.getElkObjectPropertyAssertionOfClassInclusion(subject, property, object); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsObjectPropertyAssertionAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkIndividual subject = entailmentInference.getConclusion() .getAxiom().getSubject(); final ElkObjectPropertyExpression property = entailmentInference .getConclusion().getAxiom().getProperty(); final ElkIndividual object = entailmentInference.getConclusion() .getAxiom().getObject(); final ElkClassExpression subClass = elkFactory_.getObjectOneOf(subject); final ElkClassExpression superClass = elkFactory_ .getObjectSomeValuesFrom(property, elkFactory_.getObjectOneOf(object)); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); inferenceFactory_.getElkObjectPropertyAssertionOfClassInclusion(subject, property, object); return null; }