@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return new SubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch); }
@Override public String visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), disjunctMatch_); }
@Override public Void visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference ElkClassExpression disjunct = inferenceMatch1.getDisjunctMatch(); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); return null; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), disjunctMatch_); }
@Override public Void visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference ElkClassExpression disjunct = inferenceMatch1.getDisjunctMatch(); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); return null; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), disjunctMatch_); }
@Override public Void visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference ElkClassExpression disjunct = inferenceMatch1.getDisjunctMatch(); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); return null; }
@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return new SubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch); }
@Override public String visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }
@Override public SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 getSubClassInclusionDecomposedSingletonObjectUnionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkClassExpression disjunctMatch) { return new SubClassInclusionDecomposedSingletonObjectUnionOfMatch1( parent, extendedDestinationMatch, disjunctMatch); }
@Override public String visit( SubClassInclusionDecomposedSingletonObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.singletonList(disjunctMatch_))); }