| http://www.w3.org/ns/prov#value | - on which aj is an input and bj is an output; [0191] (b) a0, a1, . . . , ak are distinct from one another; [0192] (c) b0, b1, . . . , bk are distinct from one another; [0193] (d) for 0<j???k, bJ???1 is interconnected to aj; and [0194] (e) A=a0 and B=bk. [0195] It should be noted that this definition allows for the traversing of nodes more than once.
|