@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }