W3C home > Mailing lists > Public > public-prov-wg@w3.org > January 2012

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

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Tue, 31 Jan 2012 11:32:14 +0000
Message-ID: <EMEW3|e38f5297cb7ff6d0f08fa419ce784236o0UBWI08L.Moreau|ecs.soton.ac.uk|4F27D13E.2050908@ecs.soton.ac.uk>
To: James Cheney <jcheney@inf.ed.ac.uk>
CC: public-prov-wg@w3.org
Hi James,

I would have thought that Generated \subseteq Events x Entities x Activities
Does this cause problems in your formalization?

Luc

On 01/31/2012 11:03 AM, James Cheney wrote:
> Hi,
>
> OK.  So concretely, what do you suggest changing here?  I'm not sure whether this is an objection to the names of the relations or something more subtle.
>
> For example, from your comment it seems like it would be enough to rename Generated to MarksTheCompletionOfCreationOf.
>
> --James
>
>
> On Jan 31, 2012, at 10:05 AM, Luc Moreau wrote:
>
>    
>> 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
>>
>>
>>
>>      
>
>    

-- 
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 11:32:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:11 UTC