Merge?
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Fri, 08 Feb 2013 16:57:16 +0000
changeset 5516 fbd89df0acb1
parent 5515 849b9479d525 (current diff)
parent 5514 ba65a972dd81 (diff)
child 5517 fc65e51a0248
Merge?
--- a/model/prov-constraints.html	Fri Feb 08 16:54:56 2013 +0000
+++ b/model/prov-constraints.html	Fri Feb 08 16:57:16 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/ResponsesToPublicCommentsCR">
+      Responses to Public Comments on the Candidate Recommendation</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>