@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList())); }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList())); }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlNothing()); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlNothing()); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlNothing()); }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), conclusionFactory_.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), conclusionFactory_.getOwlNothing()); return null; }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), conclusionFactory_.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), conclusionFactory_.getOwlNothing()); return null; }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectUnionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), conclusionFactory_.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), conclusionFactory_.getOwlNothing()); return null; }