@Override public Void visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClassExpression conjunctMatch = inferenceMatch1.getConjunctMatch(); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfComposition( toElkExpression(extendedDestinationMatch), Collections.singletonList(conjunctMatch)); return null; }
@Override public Void visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClassExpression conjunctMatch = inferenceMatch1.getConjunctMatch(); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfComposition( toElkExpression(extendedDestinationMatch), Collections.singletonList(conjunctMatch)); return null; }
@Override public Void visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inference IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClassExpression conjunctMatch = inferenceMatch1.getConjunctMatch(); elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfComposition( toElkExpression(extendedDestinationMatch), Collections.singletonList(conjunctMatch)); return null; }