- From: James Cheney <jcheney@inf.ed.ac.uk>
- Date: Tue, 31 Jan 2012 15:39:27 +0000
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: public-prov-wg@w3.org
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.
Received on Tuesday, 31 January 2012 15:40:29 UTC