IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
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()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
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; }
@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; }
@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; }