SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPremiseBackwardRelationMatch(), 0); }
@Override public Void visit(BackwardLinkCompositionMatch3 inferenceMatch3) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch3 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch3); } return null; }
SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPremiseBackwardRelationMatch(), 0); }
@Override public Void visit(BackwardLinkCompositionMatch3 inferenceMatch3) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch3 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch3); } return null; }
SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPremiseBackwardRelationMatch(), 0); }
@Override public Void visit(BackwardLinkCompositionMatch3 inferenceMatch3) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch3 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch3); } return null; }