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

Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Tue, 11 Oct 2011 21:56:40 +0100
Message-ID: <EMEW3|1bd9acd25d84014c02508b650e918bb4n9ALuj08L.Moreau|ecs.soton.ac.uk|4E94AD88.3070704@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Satya,
I don't see the issue here. Can you clarify?

On 11/10/11 14:40, Stian Soiland-Reyes wrote:
> On Tue, Oct 11, 2011 at 00:26, Satya Sahoo<satya.sahoo@case.edu>  wrote:
>> Hi Paul,
>> Sorry about the mixup!
>> Constraint on wasGeneratedBy property (in PROV-DM document on Oct 10, 2011):
>> "If an assertion wasGeneratedBy(x,pe,q) or wasGeneratedBy(x,pe,q,t), then
>> generation of the thing denoted by x precedes the end of pe and follows the
>> beginning of pe."
>> Issue: An entity e may be generated before the end of pe, for example
>> a manufacturing PE can generate multiple entities before terminating.
> That's exactly what the constraint allows. The entity generated by PE
> can't be generated *before* the PE started  ("generation follows
> beginning of pe") , nor *after* the PE ended  ("generation precedes
> the end of pe").  I think the problem is just that the constraint is
> quite hard to read because it takes the positive approach instead.
Received on Tuesday, 11 October 2011 20:57:22 UTC

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