ISSUE-108: derivations must take into account characterization intervals
transitivity-of-dependedOn
derivations must take into account characterization intervals
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Luc Moreau
- Opened on:
- 2011-10-03
- Description:
- 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.
- Related Actions Items:
- No related actions
- Related emails:
- PROV-ISSUE-108 (transitivity-of-dependedOn): derivations must take into account characterization intervals [Conceptual Model] (from sysbot+tracker@w3.org on 2011-10-03)
Related notes:
This is addressed by constraint derivation-generation-generation-ordering.
Luc Moreau, 17 Nov 2011, 23:43:53Display change log