Re: PROV-ISSUE-214 (prov-sem-event-activities): PROV-SEM: Linking events to activities [Formal Semantics]

Hi James,

A while back we agreed on a definition for, say generation: a generation 
record is a representation of an instantaneous world event, the 
completed creation of a new entity by an activity.

It is the activity that creates the entity, the event marks the 
completion of its creation.

While you encoding may be equivalent, it does does not align exactly, 
since it states that the event
generated the entity, not the activity.

Luc

On 01/12/2012 06:30 PM, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-214 (prov-sem-event-activities): PROV-SEM: Linking events to activities [Formal Semantics]
>
> http://www.w3.org/2011/prov/track/issues/214
>
> Raised by: James Cheney
> On product: Formal Semantics
>
> Quoting from Luc's email that raised this issue:
>
>    
>>> Used or Generated don't seem to have activities. It seems
>>>   counter-intuitive.  Can you clarify?
>>>        
> My response was:
>
>    
>> [This issue seems] to be reacting to the fact that in the Events section,>there are relations Used and Generated that relate an event to an entity that>it uses or generates, and you are asking where is the link between the event>and the activity.
>>      
>    
>> The answer is in the next subsection on Activities, which gives another
>> relation ActivityEvent that links activities and events. I think this is a
>> little cleaner than having Used and Generated be 3-ary relations; we could do
>> that too though.
>>      
> I feel that this addresses the issue, perhaps modulo a note of explanation in PROV-SEM.  Does anyone disagree?
>
>
>
>
>
>    

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm

Received on Tuesday, 31 January 2012 10:05:42 UTC