Bug in definition of evaluation of property path with OneOrMorePath

[hartig]

The "Evaluation of OneOrMorePath" is defined using the following algorithm for the case in which the corresponding property path pattern has an RDF term in the subject position and a variable in the object position.

eval(Path(x:term, OneOrMorePath(path), vy:var)) =
    Let X = eval(x, path)
    Let V = the empty multiset
    For n in X
        ALP(n, path, V)
    End
    result is V

Notice that the resulting "multiset" V is populated via the ALP procedure, within which "V is the set of nodes visited". Hence, the algorithm above returns a set (not a multiset!) of RDF terms (not solution mappings). In contrast, the eval function defined by this algorithm should return a multiset of solution mappings (see the relevant "Notation" box).

To fix this bug the algorithm above needs to be extended such that it constructs a multiset of solution mappings from V; each such solution mapping bind the variable vy to one of the RDF terms in V.