--- a/model/prov-constraints.html Thu May 31 11:24:30 2012 +0100
+++ b/model/prov-constraints.html Thu May 31 11:38:18 2012 +0100
@@ -424,8 +424,8 @@
<div class='definition' id='wasInformedBy-definition'>Given two activities identified by <span class="name">a1</span> and <span class="name">a2</span>,
<span class="name">wasInformedBy(-;a2,a1)</span>
holds <span class='conditional'>IF AND ONLY IF</span>
- there is an entity with some identifier <span class="name">e</span> and some sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
-such that <span class="name">wasGeneratedBy(-;e,a1,-,attrs1)</span> and <span class="name">used(-;a2,e,-,attrs2)</span> hold.
+ there is an entity with some identifier <span class="name">e</span>,
+such that <span class="name">wasGeneratedBy(-;e,a1,-,)</span> and <span class="name">used(-;a2,e,-)</span> hold.
</div>
<p>The relationship <span class="name">wasInformedBy</span> is not
@@ -455,7 +455,7 @@
class="name">a1</span> is <a title="definition">defined</a> as follows.</p>
<div class='definition' id='wasStartedByActivity-definition'>Given two activities with identifiers <span class="name">a1</span> and <span class="name">a2</span>,
- <span class="name">wasStartedBy(-;a2,e;a1)</span>
+ <span class="name">wasStartedBy(-;a2,e,a1,-)</span>
holds <span class='conditional'>IF AND ONLY IF</span>
<span class="name">wasGeneratedBy(-;e,a1,-,-)</span>
and <span class="name">wasStartedBy(-;a2,e,-,-)</span> hold.
@@ -858,7 +858,6 @@
the same, as expressed by the following constraint.</span></li>
<li><span id="optional-attributes3">Activities also allow for an optional end time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span></li>
<li>
- <div id="optional-attributes6">In a quotation of the form <span class="name">wasQuotedFrom(e2,e1,-,-,attrs)</span>, the absence of an agent means: either no agent exists, or an agent exists but it is not identified.</div>
</li>
<li><div id="optional-attributes4">In an association of the form
<span class="name">wasAssociatedWith(a, ag, -, attr)</span>, the
@@ -869,11 +868,7 @@
</li>
<li><div id="optional-activity">
In a a delegation of the form <span class="name">actedOnBehalfOf(a,
- ag2, ag1, -, attr)</span>, the absence of an activity means that
- <span class="name">a2</span> acts on behalf of <span
- class="name">a1</span> for all activities with which <span
- class="name">a2</span> is
- associated.
+ ag2, ag1, -, attr)</span>, an activity exists but is not identified.
</div></li>
</ul>
</div>