- From: Timothy Lebo <lebot@rpi.edu>
- Date: Thu, 23 Feb 2012 23:58:31 -0500
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>, public-prov-wg@w3.org
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 UTC