--- a/ontology/ProvenanceFormalModel.html	Wed Sep 28 15:34:06 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Sep 28 15:37:17 2011 +0100
@@ -1172,6 +1172,9 @@
 	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#process-execution-independent-derivation-expression">wasEventuallyDerivedFrom</a>, 
 	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-complement-of">wasComplementOf</a>.  
 	  </p>
+	  <p>
+	  In the PROV ontology, the object property wasPrecededBy is using to specify the order of process executions. PROV-DM, however, uses instead two relationships: <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasInformedBy</a> and <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasScheduledAfter</a>. The ontology needs to be updated to cater for these two relationships.
+	  </p>
 	</section>
     <section class='appendix'>
       <h2>Acknowledgements</h2>