- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Mon, 06 Aug 2012 15:28:08 +0000
- To: public-prov-wg@w3.org
PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] http://www.w3.org/2011/prov/track/issues/467 Raised by: Stian Soiland-Reyes On product: prov-dm-constraints Do we have WG consensus on activity start/end requiring triggers? Can an activity terminate itself without a trigger? Start instantaneously? >From Stian's review http://lists.w3.org/Archives/Public/public-prov-wg/2012Aug/0021.html : > IF activity(a,t1,t2,_attrs) THEN there exist _id1, _e1, _id2, and _e2 such that wasStartedBy(_id1;a,_e1,_a1,t1,[]) and wasEndedBy(_id2;a,_e2,_a2,t2,[]). So it is impossible for an activity to start or end without a trigger? I am not so sure about this.. this creates phantom triggers, not too dissimilar to our previous phantom agents, in particular for a self-terminating process this can become a bit odd, "I'll tell my self to stop now!" All activities must end? Same argument as for inference 7 applies.
Received on Monday, 6 August 2012 15:28:09 UTC