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

PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Fri, 02 Dec 2011 16:19:07 +0000
To: public-prov-wg@w3.org
Message-Id: <E1RWVpL-0007ML-EV@tibor.w3.org>

PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm]

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

Raised by: Timothy Lebo
On product: prov-dm

Should an additional constraint be added to wasStartedBy-ordering's interpretation constraint? It currently reads:

"Given two activity records denoted by a1 and a2, if the record wasStartedBy(a2,a1) holds, then the following temporal constraint holds: the start event of the activity record denoted by a1 precedes the start event of the activity record denoted by a2."

but says nothing about the start event of a2 following the generation event of e.

A diagram of the constraint is available at http://dvcs.w3.org/hg/prov/raw-file/e0d6f1a69062/diagrams/activity-ordering-records-control-ordering-record.png 

Thanks,
Tim
Received on Friday, 2 December 2011 16:19:37 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:04 UTC