PROV-ISSUE-108 (transitivity-of-dependedOn): derivations must take into account characterization intervals [Conceptual Model]

PROV-ISSUE-108 (transitivity-of-dependedOn): derivations must take into  account characterization intervals [Conceptual Model]

http://www.w3.org/2011/prov/track/issues/108

Raised by: Luc Moreau
On product: Conceptual Model


Let us consider
  dependedOn(e3,e2)
and
  dependedOn(e2,e1)


where the characterization intervals are as follows

                         -------------   e1
 --------------------------------------- e2
    -------------                        e3

it would definitely be incorrect to infer
that 

  dependedOn(e3,e1)

since e1 existed after e3.

We need to introduce some constraints on characterization intervals.

Would it be OK to say that for
dependedOn(e3,e2) to hold, the begin(e2)<begin(e3)?

In the above examples, dependedOn(e2,e1) does not hold since it does not satisfy that constraint.

Received on Monday, 3 October 2011 07:17:30 UTC