@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { PropertyRangeMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (PropertyRangeMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new PropertyRangeMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { PropertyRangeMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (PropertyRangeMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new PropertyRangeMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch2 inferenceMatch2) { PropertyRangeMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (PropertyRangeMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new PropertyRangeMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }
PropertyRangeMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getSecondPremiseMatch(factory), getParent().getPropertyMatch(), getRangeMatch()); }