changed to existential quantification for optional activity in delegation
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 31 May 2012 11:38:18 +0100
changeset 3119 a892812859f3
parent 3118 b5454524de24
child 3120 2a455f987991
changed to existential quantification for optional activity in delegation
model/prov-constraints.html
--- 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>