@Override public SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 getSubClassInclusionComposedSingletonObjectIntersectionOfMatch2( SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedSingletonObjectIntersectionOfMatch2( parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@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; }
@Override public SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 getSubClassInclusionComposedSingletonObjectIntersectionOfMatch2( SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedSingletonObjectIntersectionOfMatch2( parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 getSubClassInclusionComposedSingletonObjectIntersectionOfMatch2( SubClassInclusionComposedSingletonObjectIntersectionOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedSingletonObjectIntersectionOfMatch2( parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedSingletonObjectIntersectionOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }