--- a/ontology/ProvenanceFormalModel.html	Thu Nov 24 21:44:49 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html	Thu Nov 24 21:45:12 2011 +0000
@@ -211,6 +211,13 @@
 	  </p>
       <section> 
 	  	<h3>Classes</h3>
+			<div class="buttonpanel"> 
+			<form action=""><p> 
+			<input id="hide-examples1" onclick="set_display_by_class('div','anexample','none'); set_display_by_id('hide-examples1','none'); set_display_by_id('show-examples1','');" type="button" value="Hide Examples" /> 
+			<input id="show-examples1" onclick="set_display_by_class('div','anexample',''); set_display_by_id('hide-examples1',''); set_display_by_id('show-examples1','none');" style="display: none" type="button" value="Show Examples" /> 
+			</p> 
+			</form> 
+			</div>	
 	      <p>The PROV ontology consists of classes that can be organized into a hierarchical structure using the <code>rdfs:subClassOf</code> property.
 		  	
 		  <img src="diagram-history/khalidDiagrams/Ontology_hierarchy.png"
@@ -531,6 +538,13 @@
 
 	  <section id="object-properties"> 
 	  	<h3>Object Properties</h3>
+			<div class="buttonpanel"> 
+			<form action=""><p> 
+			<input id="hide-examples2" onclick="set_display_by_class('div','anexample','none'); set_display_by_id('hide-examples2','none'); set_display_by_id('show-examples2','');" type="button" value="Hide Examples" /> 
+			<input id="show-examples2" onclick="set_display_by_class('div','anexample',''); set_display_by_id('hide-examples2',''); set_display_by_id('show-examples2','none');" style="display: none" type="button" value="Show Examples" /> 
+			</p> 
+			</form> 
+			</div>
 	    <p>The PROV ontology has the following object properties. </p>
  	    <p><i>Note: Names of properties starts with a verb in lower case followed by verb(s) starting with upper case </i></p> 
 
@@ -1902,13 +1916,13 @@
 	<section id = "entailments-supported-by-the-provenance-model">
 	<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
 	<p>The PROV-DM [[PROV-DM]] introduces a set of provenance-specific constraints. These provenance constraints will be modeled in PROV ontology as OWL axioms or as rules using the Rule Interchange Framework (RIF) [[!RIF-OVERVIEW]]. These constraints are expected to be used by provenance applications in addition to the PROV ontology file.</p>
-	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints are enumerated in Appendix A.
+	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints will be progressively added to this section as the related issues are resolved.
 	</div>
 	     
     </section>   	  
     </section>   	  
 
-	<section class="appendix"> 
+<!--	<section class="appendix"> 
 	<h2>Provenance-specific Constraints</h2>
 	<p>This section lists the provenance-specific constraints introduced by the PROV-DM [[PROV-DM]], but are still under discussion.
 	<section id="provenance-constraint-on-activity">
@@ -2010,7 +2024,7 @@
 	  </div>
 	</section>
 	</section>
-
+-->
     <section class='appendix'>
       <h2>Acknowledgements</h2>
       <p>