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

Re: Tim's approach on Involvement

From: Timothy Lebo <lebot@rpi.edu>
Date: Thu, 23 Feb 2012 23:58:31 -0500
Cc: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>, public-prov-wg@w3.org
Message-Id: <913919F8-3428-4281-80C8-860BD3B488BF@rpi.edu>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>

On Feb 22, 2012, at 5:16 AM, Luc Moreau wrote:

> Hi Stian,
> wasEndedBy(activity,agent) is also at risk.
> 
> Note, I just saw that Start was subclass of Inform.
> I don't think it's correct.
> They may have the same "signature", but they have different
> meaning.
> 
> Inform indicates that there is an entity that was generated by one activity and used
> by the other. Start does not imply that.

I still don't see how I can stop an Activity act1 without creating an activity act2 to stop it.
I pushed a button, I yelled, I intentionally didn't do anything -- I did _something_ to stop act1 that is not part of act1.

So, if an agent started or stopped an Activity, the activity _is_ informed.

-Tim


> 
> Luc
> 
> On 02/22/2012 09:09 AM, Stian Soiland-Reyes wrote:
>> On Tue, Feb 21, 2012 at 12:55, Luc Moreau<L.Moreau@ecs.soton.ac.uk>  wrote:
>>   
>>> No, wasStartedBy(activity,agent) is the one at risk.
>>> wasStartedBy(activity,activity) is the one that needs to be modeled.
>>>     
>> What about wasEndedBy? I assume both of those would be at risk then?
>> 
>> 
>> 
>> 
>>   
> 
> -- 
> 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 Friday, 24 February 2012 04:59:09 GMT

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