Re: PROV-ISSUE-155 (prov-o-pre-fpwd): general comments on prov-o document [Formal Semantics]

On Nov 21, 2011 10:07 AM, "Provenance Working Group Issue Tracker" <
sysbot+tracker@w3.org> wrote:

> -3.3: Note, how can you say that an agent can be a PE, when entity and
activity are supposed to be disjoint.

Really? Disjoint? That is certainly new to me, and a similar constraint is
something that has bothered me in OPM-V.

Then this raises the question, if an agent can control an activity, but an
activity can't be an agent (and thus control another activity), how would
you model such activity-activity control? By generating a new agent?

I must admit I have not yet looked at Yolanda's

For instance in scientific workflows you can have one process controlling
the start/stop of another (based on used values), or subprocesses which are
spawned, monitored and controlled by the mother activity.