- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Tue, 31 Jan 2012 11:32:14 +0000
- 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