@Override public Void visit(BackwardLinkCompositionMatch4 inferenceMatch4) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch4 .getFourthPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch4); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch4); } return null; }
SubPropertyChainMatch2 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFourthPremiseMatch(factory), getPremiseFullForwardChainMatch(), getPremiseForwardChainStartPos()); }
@Override public Void visit(BackwardLinkCompositionMatch4 inferenceMatch4) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch4 .getFourthPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch4); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch4); } return null; }
SubPropertyChainMatch2 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFourthPremiseMatch(factory), getPremiseFullForwardChainMatch(), getPremiseForwardChainStartPos()); }
@Override public Void visit(BackwardLinkCompositionMatch4 inferenceMatch4) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch4 .getFourthPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch4); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch4); } return null; }
SubPropertyChainMatch2 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFourthPremiseMatch(factory), getPremiseFullForwardChainMatch(), getPremiseForwardChainStartPos()); }