@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }