--- a/ontology/ProvenanceFormalModel.html	Tue Oct 04 09:56:13 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Tue Oct 04 10:23:19 2011 +0100
@@ -219,6 +219,15 @@
 		  <div class='note'> Similar to example for Entity, both Alice and Edith are instances of class Journalist, which is defined to be "sub-class" of class Agent in the CrimeFile ontology. Hence, using standard RDFS entailment allows us to infer that both Alice and Edith are also instances of Agent.
 		  </div>
 	    </section>
+	    <section>
+		  <h4>Recipe</h4>	    
+	      <div><b>Class Description</b></div>
+	      <p>Recipe represents a process specification. The definition of process specifications is outside the scope of PROV:DM. Therefore, this class acts as a place holder in the ontology that can be extended and specialized by users.</p>
+		  <div><b>OWL syntax</b></div>
+	      <pre>PROV:Recipe rdfs:subClassOf owl:Thing.</pre>
+		  <div><b>Example</b></div>
+		  <p> Recipe examples include backing recipes, programs and workflows.  
+	    </section>	    
 		<section>
 		  <h4>Time</h4>	    
 	      <div><b>Class Description</b></div>
@@ -383,11 +392,6 @@
 		  <div class='issue'>Is ivpOf transitive? This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a></div>
 		  <div class='issue'> Comments on ivpof in <a href="http://www.w3.org/2011/prov/track/issues/57">ISSUE-57</a>.</div>
 	    </section>
-		<section>
-		  <h4>preceded</h4>
-	      <p>preceded links two instances of ProcessExecution, where "Ordering of processes execution (in provenance) needs to be modeled as a property linking process entities in specific order along a particular dimension (temporal or control flow)"</p>
-		  <img src="http://www.w3.org/2011/prov/wiki/images/e/e5/Preceeded.png" />
-	    </section>
         <section>
           <h4>hadRecipe</h4>
           <p>The ProcessExecution activity performed was described by
@@ -403,6 +407,23 @@
           src="http://www.w3.org/2011/prov/wiki/images/2/22/HadRecipe.png"
           style="height: 4em" />
         </section>
+           <section>
+          <h4>wasInformedBy</h4>
+          <p> This object property links two process executions. It is used to express the fact that a given process execution used an entity that was generated by another process execution.
+          </p>
+          <img
+          src="http://www.w3.org/2011/prov/wiki/images/2/22/wasInformedBy.png"
+          style="height: 4em" />
+        </section>
+           <section>
+          <h4>wasScheduledAfter</h4>
+          <p>
+          This object property links two instances of ProcessExecution to specify the order in which they took place. Specifically, it is used to specify that a given process execution starts after the end of another process execution.
+          </p>
+          <img
+          src="http://www.w3.org/2011/prov/wiki/images/2/22/wasScheduledAfter.png"
+          style="height: 4em" />
+        </section>        
 	  </section>
 	  <section> 
 	  	<h3>Annotation Properties</h3>

Binary file ontology/diagram-history/khalidDiagrams/hadRecipe.png has changed