--- a/ontology/ProvenanceFormalModel.html	Wed Aug 10 08:00:10 2011 +0200
+++ b/ontology/ProvenanceFormalModel.html	Wed Aug 10 08:00:49 2011 +0200
@@ -99,6 +99,10 @@
       <h2>OWL2 Encoding of the Provenance Model</h2>
 	  <section> 
 	  	<h3>Visualization of the Provenance ontology</h3>
+		<h4>Hierarchical view of the ontology</h4>
+		<img src="diagram-history\DGarijoDiagrams\HierarchicalDiagram.png" />
+		<h4>Overview of the ontology</h4>
+		<img src="diagram-history\DGarijoDiagrams\GlobalSchema.png" />
 	  </section>
       <section> 
 	  	<h3>Classes</h3>
@@ -170,15 +174,18 @@
 		<h4>isGeneratedBy</h4>
 	    <p>isGeneratedBy links Entity with ProcessExecution representing that Entity was generated as a result of ProcessExecution</p>
 	    <p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>	
+		<img src="diagram-history\DGarijoDiagrams\IsGeneratedBy.png" />
 	    </section>
 		<section>
 		<h4>isDerivedFrom</h4>
         <p>isDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."
+		<img src="diagram-history\DGarijoDiagrams\IsDerivedFrom.png" />
 	    </section>
 		<section>
 		<h4>isUsedBy</h4>
 	    <p>isUsedBy links Entity to ProcessExecution, where Entity is consumed by ProcessExecution.</p>
 	    <p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
+		<img src="diagram-history\DGarijoDiagrams\uses.png" />
 	    </section>
 		<section>
 		<h4>hasParticipant</h4>
@@ -192,10 +199,12 @@
 		<section>
 		<h4>isControlledBy</h4>
 	    <p>isControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a Entity in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
+		<img src="diagram-history\DGarijoDiagrams\IsControlledBy.png" />
 	    </section>
 		<section>
 		<h4>isPrecededBy</h4>
 	    <p>isPrecededBy 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="diagram-history\DGarijoDiagrams\IsPreceededBy.png" />
 	    </section>
 	  </section>
 	  <section> 
@@ -290,6 +299,7 @@
 </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
 </td></tr></table>
 	  <section>
+	  <img src="http://www.w3.org/2011/prov/wiki/images/2/2d/Object_Properties_Cardinalities.PNG" />
 		<h4>Additional properties </h4>
 <div class="note">TODO: Number these and cross-reference with
   Provenance Model, to make it easier to keep the definitions

Binary file ontology/diagram-history/DGarijoDiagrams/SchemaReduced.png has changed