public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength() - 1); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength() - 1); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength() - 1); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getFullSubsumerMatch(), getPremiseSubsumerPrefixLength()); }
@Override public Void visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences int premiseSubsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); if (premiseSubsumerPrefixLength > 2) { // no ELK inference return null; } ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = 0; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }
@Override public Void visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences int premiseSubsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); if (premiseSubsumerPrefixLength > 2) { // no ELK inference return null; } ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = 0; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }
@Override public Void visit( SubClassInclusionDecomposedFirstConjunctMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // creating ELK inferences int premiseSubsumerPrefixLength = inferenceMatch2 .getPremiseSubsumerPrefixLength(); if (premiseSubsumerPrefixLength > 2) { // no ELK inference return null; } ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch2 .getFullSubsumerMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions(); int pos = 0; // of the decomposed conjunct elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( conjuncts, pos); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectIntersectionOf(conjuncts), conjuncts.get(pos)); return null; }