* issue-615
authorjcheney@inf.ed.ac.uk
Fri, 08 Feb 2013 15:54:03 +0000
changeset 5513 829c62ad1fb5
parent 5512 4fe185da9faa
child 5514 ba65a972dd81
* issue-615
model/prov-constraints.html
--- a/model/prov-constraints.html	Fri Feb 08 15:29:29 2013 +0000
+++ b/model/prov-constraints.html	Fri Feb 08 15:54:03 2013 +0000
@@ -4569,6 +4569,16 @@
   </ol>
 </div>
 
+<div class="remark"> <p> Case 3 of the above constraint says that the
+agent <span class="name">ag</span> 
+must have ended after the start of the activity <span class="name">a</span>,
+ensuring some overlap between the two.   Since <span
+  class="name">ag</span> is the subject of a
+<span
+  class="name">wasEndedBy</span> statement, it is an activity according to the <a
+  href="#typing">typing constraints</a>.  Case 4 handes the symmetric
+  case, ensuring that the start of an agent-activity precedes the
+  start of an associated activity. </p> </div>
 
 <p>
 
@@ -5477,7 +5487,7 @@
 </section>
 
 <section class="appendix"> 
-      <h2>Changes since last version</h2> 
+      <h2>Changes from Last Call Working Draft to Candidate Recommendation</h2> 
     <p>   Please see the <a
       href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
       Responses to Public Comments on the Last Call Working Draft</a>
@@ -5535,7 +5545,20 @@
 </ul>
 
 </section>
-       
+
+<section class="appendix"> 
+      <h2>Changes from Candidate Recommendation to this version</h2> 
+    <p>   Please see the <a
+      href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
+      Responses to Public Comments on the Last Call Working Draft</a>
+      for more details about the justification of these changes.</p>
+<ul>
+  <li>Added clarification concerning constraint wasAssociatedWith-ordering.</li>
+</ul>
+  
+</section>
+
+
 <section class="appendix"> 
       <h2>Acknowledgements</h2> 
       <p>