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

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

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Tue, 4 Sep 2012 18:50:41 +0100
Cc: Luc Moreau <L.Moreau@ecs.soton.ac.uk>, public-prov-wg@w3.org
Message-Id: <571BB095-4807-4988-BD4B-DED42E066676@inf.ed.ac.uk>
To: James Cheney <jcheney@inf.ed.ac.uk>
This issue appears to be resolved, or at least has not led to any discussion since January, so is closed now.

--James

On Jan 31, 2012, at 3:39 PM, James Cheney wrote:

> I considered that too, but didn't see how it would address the concern you raised, since it doesn't make it any clearer that it is the activity that creates the entity and not the event.  (The 3-column Generated' table can be defined by (in database terms) joining ActivityEvent and the 2-column Generated table.)
> 
> Would the issue be resolved by changing Generated (and Used) to have the type you suggest?
> 
> --James
> 
> 
> On Jan 31, 2012, at 11:32 AM, Luc Moreau wrote:
> 
>> 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
>> 
>> 
>> 
> 
> 
> -- 
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
> 
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Tuesday, 4 September 2012 17:51:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 4 September 2012 17:51:04 GMT