@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionRangeMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkClassExpression conclusionSubsumerMatch = inferenceMatch2 .getConclusionSubsumerMatch(); SubClassInclusionRangeMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); List<? extends ElkClassExpression> rangeMatches = originMatch .getRangeMatches(); List<ElkClassExpression> fillerRanges = new ArrayList<ElkClassExpression>( rangeMatches.size() + 2); fillerRanges.add(originMatch.getMainFillerMatch(conclusionFactory_)); fillerRanges.addAll(originMatch.getRangeMatches()); fillerRanges.add(conclusionSubsumerMatch); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( fillerRanges, fillerRanges.size() - 1); return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } 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(ForwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); ForwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedTargetMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedTargetMatch))); return null; }
@Override public Void visit(ForwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); ForwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedTargetMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedTargetMatch))); 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(ForwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); ForwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedTargetMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedTargetMatch))); 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; }