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)); }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
@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; }