@Override public BackwardLinkOfObjectHasSelfMatch3 getBackwardLinkOfObjectHasSelfMatch3( BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectHasSelfMatch3(parent, conclusionMatch); }
BackwardLinkOfObjectHasSelfMatch3(BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedTargetMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getExtendedTargetMatch()); }
@Override public Void visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); BackwardLinkOfObjectHasSelfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); ElkClassExpression extendedOriginExpression = toElkExpression( extendedOriginMatch); ElkClassExpression extendedTargetMatchExpression = toElkExpression( extendedTargetMatch); deriveInclusion(extendedTargetMatch, extendedOriginMatch); elkInferenceFactory_.getElkClassInclusionHierarchy( extendedTargetMatchExpression, extendedOriginExpression, conclusionFactory_.getObjectHasSelf(relationMatch)); elkInferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( extendedTargetMatchExpression, relationMatch); return null; }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedTargetMatch()); }
@Override public String visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); BackwardLinkOfObjectHasSelfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); ElkClassExpression extendedOriginExpression = toElkExpression( extendedOriginMatch); ElkClassExpression extendedTargetMatchExpression = toElkExpression( extendedTargetMatch); deriveInclusion(extendedTargetMatch, extendedOriginMatch); elkInferenceFactory_.getElkClassInclusionHierarchy( extendedTargetMatchExpression, extendedOriginExpression, conclusionFactory_.getObjectHasSelf(relationMatch)); elkInferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( extendedTargetMatchExpression, relationMatch); return null; }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedTargetMatch()); }
@Override public String visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedTargetMatch = inferenceMatch3 .getExtendedTargetMatch(); BackwardLinkOfObjectHasSelfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); ElkClassExpression extendedOriginExpression = toElkExpression( extendedOriginMatch); ElkClassExpression extendedTargetMatchExpression = toElkExpression( extendedTargetMatch); deriveInclusion(extendedTargetMatch, extendedOriginMatch); elkInferenceFactory_.getElkClassInclusionHierarchy( extendedTargetMatchExpression, extendedOriginExpression, conclusionFactory_.getObjectHasSelf(relationMatch)); elkInferenceFactory_.getElkClassInclusionExistentialOfObjectHasSelf( extendedTargetMatchExpression, relationMatch); return null; }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedTargetMatch()); }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getExtendedTargetMatch()); }
BackwardLinkOfObjectHasSelfMatch3(BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedTargetMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public BackwardLinkOfObjectHasSelfMatch3 getBackwardLinkOfObjectHasSelfMatch3( BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectHasSelfMatch3(parent, conclusionMatch); }
@Override public String visit(BackwardLinkOfObjectHasSelfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getExtendedTargetMatch()); }
BackwardLinkOfObjectHasSelfMatch3(BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedTargetMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public BackwardLinkOfObjectHasSelfMatch3 getBackwardLinkOfObjectHasSelfMatch3( BackwardLinkOfObjectHasSelfMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectHasSelfMatch3(parent, conclusionMatch); }