--- a/ontology/ProvenanceFormalModel.html	Mon Sep 26 20:57:16 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Mon Sep 26 21:39:58 2011 +0100
@@ -151,7 +151,7 @@
 	  <section> 
 	  	<h3>Visualization of the Provenance ontology</h3>
 		<h4>Hierarchical view of the ontology</h4>
-		<img src="http://www.w3.org/2011/prov/wiki/images/8/8d/CurrentHierarchy.png" />		
+		<img src="http://www.w3.org/2011/prov/wiki/images/6/62/Ontology_hierarchy.png" />		
 	  </section>
       <section> 
 	  	<h3>Classes</h3>
@@ -641,6 +641,16 @@
     </section>
     <section>
 	  <h3>PROV Data Model Terms Currently not Modeled in PROV Ontology</h3>
+	  <p>
+	  The following terms, which are defined in the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html">PROV data model</a>, are still to be encoded within the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">PROV ontology</a>: </br>
+	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Account">Account</a>, 
+	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-annotation">Annotation</a>, 
+	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-annotationAssociation">Annotation Association</a>, 
+	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a>.
+	  <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-RecipeLink">Recipe Link</a>, 
+	  <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>
 	</section>
     <section class='appendix'>
       <h2>Acknowledgements</h2>