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

PROV-ISSUE-156 (TLebo): information flow ordering record - no temporal constraints? [Data Model]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 21 Nov 2011 15:06:57 +0000
To: public-prov-wg@w3.org
Message-Id: <E1RSVST-0006f8-71@lowblow.w3.org>

PROV-ISSUE-156 (TLebo): information flow ordering record - no temporal constraints? [Data Model]

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

Raised by: Timothy Lebo
On product: Data Model

According to 6.3 Activity Ordering Record

"wasInformedBy" is:

"An information flow ordering record is a representation that an entity was generated by an activity, before it was used by another activity."

But the only constraint does not include the temporal aspects described above:

"Given two activity records identified by a1 and a2, the record wasInformedBy(a2,a1) holds, if and only if there is an entity record identified by e and sets of attribute-value pairs attrs1 and attrs2, such that wasGeneratedBy(e,a1,attrs1) and used(a2,e,attrs2) hold."


Does the temporal constraint fall out of constraints that apply to wasGeneratedBy and used? 
* If so, could this be made explicit? 
* If not, can "attrs1" and "attrs2" be elaborated to include the "time used" and "time generated" AND their constrained ordering?

Thanks,
Tim
Received on Monday, 21 November 2011 15:07:06 UTC

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