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

Re: Formal semantics draft

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Mon, 9 Jan 2012 15:17:58 +0000
Cc: Provenance Working Group WG <public-prov-wg@w3.org>
Message-Id: <555EF994-4C35-4656-9417-70C0AD30FB61@inf.ed.ac.uk>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
> 
>> 3. Used or Generated don't seem to have activities. It seems
>>  counter-intuitive.  Can you clarify?
>> 
> 
> I'm also not sure I understand this question.  There was a typo in the discussion of generation
> 
> http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman#Generation
> 
> which I have fixed, but both Generation and Use sections discuss the activity parameter to the relationship.  If you still see the problem, can you localize it?


After further rereading, I believe I understand the question.  You seem 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.

--James
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Monday, 9 January 2012 15:20:57 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:52 GMT