@Override public BackwardLinkOfObjectSomeValuesFromMatch3 getBackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch3(parent, conclusionMatch); }
BackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedDestinationMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getParent().getExtendedOriginMatch()); }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getParent().getExtendedOriginMatch()); }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch3 .getExtendedDestinationMatch(); BackwardLinkOfObjectSomeValuesFromMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedObjectSomeValuesFromMatch premiseSuperExpressionMatch = inferenceMatch2 .getPremiseSuperExpressionMatch(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); ElkObjectPropertyExpression propertyMatch = premiseSuperExpressionMatch .getPropertyMatch(); ElkClassExpression fillerMatch = getFillerMatch( premiseSuperExpressionMatch); elkInferenceFactory_.getElkClassInclusionExistentialRange(propertyMatch, fillerMatch, extendedDestinationMatch.getRangeMatches()); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, fillerMatch), conclusionFactory_.getObjectSomeValuesFrom(propertyMatch, toElkExpression(extendedDestinationMatch))); return null; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4(getParentConclusionMatch(factory), getParent().getExtendedOriginMatch()); }
BackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedDestinationMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
BackwardLinkMatch3 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public BackwardLinkOfObjectSomeValuesFromMatch3 getBackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch3(parent, conclusionMatch); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
BackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { super(parent); this.extendedDestinationMatch_ = conclusionMatch .getExtendedDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public BackwardLinkOfObjectSomeValuesFromMatch3 getBackwardLinkOfObjectSomeValuesFromMatch3( BackwardLinkOfObjectSomeValuesFromMatch2 parent, BackwardLinkMatch3 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch3(parent, conclusionMatch); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }