elk-proofs/src/main/java/org/semanticweb/elk/matching/InferenceMatchVisitor.java
private void deriveInclusion(IndexedContextRootMatch extendedRootMatch,
			IndexedContextRootMatch rootMatch) {
		if (rootMatch.equals(extendedRootMatch)) {
			// nothing to do
			return;
		}
		List<? extends ElkClassExpression> rootFillers = getFillerRanges(
				rootMatch);
		List<? extends ElkClassExpression> extendedRootFillers = getFillerRanges(
				extendedRootMatch);
		int rootFillersCount = rootFillers.size();
		if (rootFillersCount == 1) {
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfDecomposition(
							extendedRootFillers, 0);
		} else {
			List<Integer> positions = new ArrayList<Integer>(rootFillersCount);
			for (int i = 0; i < rootFillersCount; i++) {
				positions.add(i);
			}
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfInclusion(
							extendedRootFillers, positions);
		}
	}
private void deriveInclusion(IndexedContextRootMatch extendedRootMatch,
			IndexedContextRootMatch rootMatch) {
		if (rootMatch.equals(extendedRootMatch)) {
			// nothing to do
			return;
		}
		List<? extends ElkClassExpression> rootFillers = getFillerRanges(
				rootMatch);
		List<? extends ElkClassExpression> extendedRootFillers = getFillerRanges(
				extendedRootMatch);
		int rootFillersCount = rootFillers.size();
		if (rootFillersCount == 1) {
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfDecomposition(
							extendedRootFillers, 0);
		} else {
			List<Integer> positions = new ArrayList<Integer>(rootFillersCount);
			for (int i = 0; i < rootFillersCount; i++) {
				positions.add(i);
			}
			elkInferenceFactory_
					.getElkClassInclusionObjectIntersectionOfInclusion(
							extendedRootFillers, positions);
		}
	}
private void deriveInclusion ( IndexedContextRootMatch extendedRootMatch , IndexedContextRootMatch rootMatch ) { if ( rootMatch . equals ( extendedRootMatch ) ) { // nothing to do return ; } List < ? extends ElkClassExpression > rootFillers = getFillerRanges ( rootMatch ) ; List < ? extends ElkClassExpression > extendedRootFillers = getFillerRanges ( extendedRootMatch ) ; int rootFillersCount = rootFillers . size ( ) ; if ( rootFillersCount == 1 ) { elkInferenceFactory_ . getElkClassInclusionObjectIntersectionOfDecomposition ( extendedRootFillers , 0 ) ; } else { List < Integer > positions = new ArrayList < Integer > ( rootFillersCount ) ; for ( int i = 0 ; i < rootFillersCount ; i ++ ) { positions . add ( i ) ; } elkInferenceFactory_ . getElkClassInclusionObjectIntersectionOfInclusion ( extendedRootFillers , positions ) ; } }
Generates inferences for SubClassInclusion(extendedRootMatchExpression
rootMatchExpression ) where the arguments correspond to the values of
respectively extendedRootMatch and rootMatch under
{@link #toElkExpression(IndexedContextRootMatch)}

@param extendedRootMatch
must be an extension of rootMatch (i.e., obtained by sequence
of calls
{@link IndexedContextRootMatch#extend(ElkClassExpression)}
@param rootMatch
Generates inferences for SubClassInclusion ( extendedRootMatchExpression rootMatchExpression ) where the arguments correspond to the values of respectively extendedRootMatch and rootMatch under { @link #toElkExpression ( IndexedContextRootMatch ) }