@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; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }