@Override public SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 getSubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch) { return new SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( parent, extendedDestinationMatch); }
@Override public String visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionOwlThing( toElkExpression(extendedDestinationMatch)); return null; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlThing()); }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionOwlThing( toElkExpression(extendedDestinationMatch)); return null; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlThing()); }
@Override public Void visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); elkInferenceFactory_.getElkClassInclusionOwlThing( toElkExpression(extendedDestinationMatch)); return null; }
@Override public SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 getSubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch) { return new SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( parent, extendedDestinationMatch); }
@Override public String visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 getSubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch) { return new SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1( parent, extendedDestinationMatch); }
@Override public String visit( SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getOwlThing()); }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }