--- a/model/ProvenanceModel.html Thu Nov 17 12:10:43 2011 +0000
+++ b/model/ProvenanceModel.html Thu Nov 17 12:16:35 2011 +0000
@@ -2077,19 +2077,15 @@
<p>
-The following control record describes the role of the agent identified by <span class="name">a5</span> in this control relation with activity <span class="name">a4</span>. </p>
+The following start record describes the role of the agent identified by <span class="name">ag</span> in this start relation with activity <span class="name">a</span>. </p>
<pre class="example">
- wasControlledBy(a4,a5, [prov:role="communicator"])
+ wasStartedBy(a,ag, [prov:role="program-operator"])
</pre>
<p>From this specification's viewpoint, an the interpretation of an attribute declared in a namespace other than prov-dm is out of
scope.</p>
-<div class='note'>The following text needs to find a home. It is proposed to introduce optional identifiers for relations, and this will be largely redundant.
-</div>
-
-
<p>
@@ -2478,6 +2474,9 @@
<p>The end in activity record identified by <span class="name">a3</span> precedes the start in activity record identified by <span class="name">a1</span>, while interval for activity record <span class="name">a2</span> overlaps with each interval for <span class="name">a1</span> and <span class="name">a3</span>, allowing information to flow (<span class="name">e1</span> and <span class="name">e2</span>, respectively).</p>
+<div class="note">
+This relation to be simplified using wasStartedBy/wasEndedBy.
+</div>
<p>
A control ordering record, written as
@@ -2615,7 +2614,7 @@
<pre>
activity(pe,recipe,t1,t2,attr1)
wasGenerateBy(e,pe)
-wasControlledBy(pe,ag,attr2)
+wasAssociatedWith(pe,ag,attr2)
</pre>
for some sets of attribute-value pairs <span class="name">attr1</span> and <span class="name">attr2</span>, time <span class="name">t1</span>, and <span class="name">t2</span>.
</div>