Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] from Paolo Missier on 2011-10-11 (public-prov-wg@w3.org from October 2011)

From: Paolo Missier <Paolo.Missier@ncl.ac.uk>
Date: Tue, 11 Oct 2011 08:40:02 +0100
To: public-prov-wg@w3.org
Message-ID: <4E93F2D2.6020807@ncl.ac.uk>

Saya

I am not sure you are saying anything different than what is expressed in the constraint?
"generation of the thing denoted by x precedes the end of pe "  isn't that the same as " An entity e may be generated before the end 
of pe"?

-Paolo

On 10/11/11 12:26 AM, Satya Sahoo 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.

Received on Tuesday, 11 October 2011 07:40:36 UTC