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: Satya Sahoo <satya.sahoo@case.edu>
Date: Wed, 12 Oct 2011 17:08:14 -0400
Message-ID: <CAOMwk6xeGFhc9AgVjazf8XVU0cDuHvZ=1MV9c4MEoruN4TUesQ@mail.gmail.com>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Cc: public-prov-wg@w3.org
Hi Paolo, Stian, Luc,
Paolo is right, I misread the constraint. I withdraw the issue for the
"generation-pe-ordering" constraint.

Thanks.

Best,
Satya

On Tue, Oct 11, 2011 at 4:56 PM, Luc Moreau <L.Moreau@ecs.soton.ac.uk>wrote:

> Hi Satya,
> I don't see the issue here. Can you clarify?
> Thanks,
> Luc
>
>
> 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 Wednesday, 12 October 2011 21:08:43 GMT

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