--- a/ontology/ProvenanceFormalModel.html	Wed Oct 05 21:43:56 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 05 21:56:53 2011 -0400
@@ -547,9 +547,7 @@
 	  	<h3>Overview of the ontology</h3>
 	      <p>The following diagram illustrates the complete PROV ontology schema along with the cardinality restrictions imposed on the properties. </p>
 		  <img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" />
-		  <a href="https://dvcs.w3.org/hg/prov/raw-file/d2cbdb862e71/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf">
-         <img src="https://dvcs.w3.org/hg/prov/raw-file/d2cbdb862e71/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png" alt="overview diagram of the PROV OWL ontology"/>
-        </a>
+		  
       </section>
     </section>
 	<section>
@@ -658,14 +656,7 @@
 	  <section> 
 		<h4>Specialization of PROV Ontology Properties</h4>
 		<p> The following new object property was created in the CrimeFile Ontology by extending the PROV ontology object property:</p>
-		<section>
-		<p>The following diagram illustrates the above specialization: </p>
-         <a href="http://dvcs.w3.org/hg/prov/raw-file/4504a7462bd9/ontology/examples/ontology-extensions/crime-file/crime.owl.pdf">
-            <img src="http://dvcs.w3.org/hg/prov/raw-file/4504a7462bd9/ontology/examples/ontology-extensions/crime-file/crime.owl.png"/>
-         </a>
-         <br>         
-         <em>Example extension of PROV ontology in order to describe the crime file scenario</em>
-      </p>		
+		<section>		
 		<h5>cf:hadFilePath</h5>
 		<p>The property cf:hadFilePath is a specialization of the PROV ontology hadLocation object property and links the class CrimeFile to the FileDirectory class. The following RDF/XML code illustrates the use of rdfs:subPropertyOf to create hadFilePath property.</p>
 		<div class="exampleOuter">
@@ -676,6 +667,13 @@
 		  </pre>
 		</div>
 		</section>
+		<p>The following diagram illustrates the above specialization: </p>
+         <a href="http://dvcs.w3.org/hg/prov/raw-file/4504a7462bd9/ontology/examples/ontology-extensions/crime-file/crime.owl.pdf">
+            <img src="http://dvcs.w3.org/hg/prov/raw-file/4504a7462bd9/ontology/examples/ontology-extensions/crime-file/crime.owl.png"/>
+         </a>
+         <br>         
+         <em>Example extension of PROV ontology in order to describe the crime file scenario</em>
+      </p>		
 	  </section>
 	</section>
 	<section> 
@@ -1237,21 +1235,8 @@
 		</p>
 	</section>
 	<section>
-		<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
-		<h4>Additional properties </h4>
-<div class="note">The following constraints are extracted from the
-  ProvenanceModel document.  The text below should be kept consistent
-  with the other document, with bidirectional links.  The plan is to
-  insert formalizations of these constraints once the OWL
-  ontology/vocabulary is mature enough to permit this.
-
-  If a constraint is changed in the model document, please copy the
-  new version here, and check whether it is still consistent with the
-  formalization (if any).
-
-  If a constraint is dropped, please mark it as "defunct" - don't
-  delete it!
-  </div>
+	<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
+	<p>The PROV-DM [[PROV-DM]] introduces a set of specific constraints applicable to PROV ontology. The following is a list of constraints that will be supported by the PROV ontology and any provenance application that uses the PROV ontology.
 <ul><li> <a name="PROV:0001" href="#PROV:0001">PROV:0001</a> "From the
   assertion of a process execution, one can infer that the start
   precedes the end of the represented activity." (<a href="../model/ProvenanceModel.html#PROV:0001">link</a>)
@@ -1318,6 +1303,20 @@
 <li>  <b>wasComplementOf(e1,e)</b> holds for some entities <b>e1</b>, and 
  <b>hadPariticipant(pe,e1)</b>  some process execution <b>pe</b>.</li>
 </ul>
+</p>
+<div class="note">The following constraints are extracted from the
+  ProvenanceModel document.  The text below should be kept consistent
+  with the other document, with bidirectional links.  The plan is to
+  insert formalizations of these constraints once the OWL
+  ontology/vocabulary is mature enough to permit this.
+
+  If a constraint is changed in the model document, please copy the
+  new version here, and check whether it is still consistent with the
+  formalization (if any).
+
+  If a constraint is dropped, please mark it as "defunct" - don't
+  delete it!
+  </div>
 	  </section>	
     </section>   	  
     <section class='appendix'>