Background: The Evaluation of ZeroOrOnePath in Section 18.5 Property Path Patterns defines the result of evaluating algebraic property path expressions of the form Path(X, ZeroOrOnePath(ppe), Y).
Issue: The definition should be explicit about the multiplicity of the resulting solution mappings. Is the result of ppeval(X, ZeroOrOnePath(ppe), Y) just a set of solution mappings? (This question is relevant because ppeval(X, ppe, Y), as used in the definition, may produce a multiset of solution mappings.)
In addition to the issue, it should be noted that the effect of the definition for cases in which X or Y is a blank node might be unexpected. This is related to the second issue of #393.
Background: The Evaluation of ZeroOrOnePath in Section 18.5 Property Path Patterns defines the result of evaluating algebraic property path expressions of the form Path(X, ZeroOrOnePath(ppe), Y).
Issue: The definition should be explicit about the multiplicity of the resulting solution mappings. Is the result of
ppeval(X, ZeroOrOnePath(ppe), Y) just a set of solution mappings? (This question is relevant becauseppeval(X, ppe, Y), as used in the definition, may produce a multiset of solution mappings.)In addition to the issue, it should be noted that the effect of the definition for cases in which X or Y is a blank node might be unexpected. This is related to the second issue of #393.