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.