W3C home > Mailing lists > Public > public-prov-wg@w3.org > October 2011

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 03 Oct 2011 07:17:24 +0000
To: public-prov-wg@w3.org
Message-Id: <E1RAcmC-0000FW-Ss@lowblow.w3.org>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:43 GMT