@Override public BackwardLinkReversedExpandedMatch2 getBackwardLinkReversedExpandedMatch2( BackwardLinkReversedExpandedMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { return new BackwardLinkReversedExpandedMatch2(parent, secondPremiseMatch); }
BackwardLinkReversedExpandedMatch2( BackwardLinkReversedExpandedMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { super(parent); this.subChainMatch_ = secondPremiseMatch.getSubPropertyChainMatch(); this.relationMatch_ = secondPremiseMatch.getSuperPropertyMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
@Override public Void visit(BackwardLinkReversedExpandedMatch5 inferenceMatch5) { inferenceMatch5.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatchChain extendedDomains = inferenceMatch5 .getExtendedDomains(); BackwardLinkReversedExpandedMatch4 inferenceMatch4 = inferenceMatch5 .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch4 .getExtendedDestinationMatch(); BackwardLinkReversedExpandedMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); BackwardLinkReversedExpandedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkSubObjectPropertyExpression subChainMatch = inferenceMatch2 .getSubChainMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); elkInferenceFactory_.getElkClassInclusionExistentialComposition( toList(extendedDomains, extendedDestinationMatch), toList(subChainMatch), relationMatch); return null; }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
@Override public Void visit(BackwardLinkReversedExpandedMatch5 inferenceMatch5) { inferenceMatch5.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatchChain extendedDomains = inferenceMatch5 .getExtendedDomains(); BackwardLinkReversedExpandedMatch4 inferenceMatch4 = inferenceMatch5 .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch4 .getExtendedDestinationMatch(); BackwardLinkReversedExpandedMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); BackwardLinkReversedExpandedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkSubObjectPropertyExpression subChainMatch = inferenceMatch2 .getSubChainMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); elkInferenceFactory_.getElkClassInclusionExistentialComposition( toList(extendedDomains, extendedDestinationMatch), toList(subChainMatch), relationMatch); return null; }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
BackwardLinkReversedExpandedMatch2( BackwardLinkReversedExpandedMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { super(parent); this.subChainMatch_ = secondPremiseMatch.getSubPropertyChainMatch(); this.relationMatch_ = secondPremiseMatch.getSuperPropertyMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
@Override public Void visit(BackwardLinkReversedExpandedMatch5 inferenceMatch5) { inferenceMatch5.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatchChain extendedDomains = inferenceMatch5 .getExtendedDomains(); BackwardLinkReversedExpandedMatch4 inferenceMatch4 = inferenceMatch5 .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch4 .getExtendedDestinationMatch(); BackwardLinkReversedExpandedMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); BackwardLinkReversedExpandedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkSubObjectPropertyExpression subChainMatch = inferenceMatch2 .getSubChainMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); elkInferenceFactory_.getElkClassInclusionExistentialComposition( toList(extendedDomains, extendedDestinationMatch), toList(subChainMatch), relationMatch); return null; }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public BackwardLinkReversedExpandedMatch2 getBackwardLinkReversedExpandedMatch2( BackwardLinkReversedExpandedMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { return new BackwardLinkReversedExpandedMatch2(parent, secondPremiseMatch); }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
BackwardLinkReversedExpandedMatch2( BackwardLinkReversedExpandedMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { super(parent); this.subChainMatch_ = secondPremiseMatch.getSubPropertyChainMatch(); this.relationMatch_ = secondPremiseMatch.getSuperPropertyMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }