--- a/ontology/ProvenanceFormalModel.html	Fri Oct 07 14:20:36 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Fri Oct 07 14:25:28 2011 -0400
@@ -554,7 +554,7 @@
 
 	  <section> 
 	  	<h3>Annotation Properties</h3>
-		  <p>The PROV ontology uses the OWL2 annotation properties to describe additional information about the PROV ontology classes, properties, individuals, and axioms. OWL2 defines nine annotation properties that are part of the OWL2 structural specification (see OWL2 Syntax document for additional details [[!OWL2-SYNTAX]]): 
+		  <p>The PROV ontology uses the OWL2 annotation properties to describe additional information about the PROV ontology classes, properties, individuals, and axioms. OWL2 defines nine annotation properties that are part of the OWL2 structural specification (see OWL2 Syntax document for additional details [[!OWL2-SYNTAX]]):</p>
 			<ul>
 			  <li><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties"><b>rdfs:label</b></a>- This property is used to associated a "human-readable label" with a term. For example, the class "<a href="#location">Location</a>" can be annotated with "Geo-spatial Location" label using rdfs:label</li>
 			  <li><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties"><b>rdfs:comment</b></a>- This property is used to annotate ontology terms with a readable comment. For example, the class "<a href="#location">Location</a>" can be annotated with "This class represents an identifiable geographic place (ISO 19112)" comment using the rdfs:comment property</li>
@@ -566,7 +566,7 @@
 			  <li><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties"><b>owl:backwardCompatibleWith</b></a>- Provenance ontologies can specify previous version of the ontology that are compatible with the current version of the ontology using this property</li>
 			  <li><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties"><b>owl:incompatibleWith</b></a>- Similar to the previous property, this property allows provenance applications to identify incompatible version of provenance ontologies.</li> 
 			</ul>
-			Additional annotation properties can be defined by provenance ontologies, but unlike the OWL2 annotation properties, these custom annotation properties may not be interpreted in a standard manner across different provenance applications.
+			<p>Additional annotation properties can be defined by provenance ontologies, but unlike the OWL2 annotation properties, these custom annotation properties may not be interpreted in a standard manner across different provenance applications.
 			</p>
 			<div class='note'> Is there a need to define standard provenance-specific annotation properties?
 			</div> 	      
@@ -596,14 +596,13 @@
 		<h3>Modeling the Crime File Scenario</h3>
 		<p>The example scenario can be encoded as a <a href = "http://www.w3.org/TR/rdf-primer/"> Resource Description Framework (RDF) </a> graph in <a href = "">Figure X</a>:</p>
 		<div class='issue'>insert figure X</div>
-	    <p><a href = "">Figure X</a> represents the ontology schema that extends the PROV ontology to model the provenance details of the crime file scenario. For example,
+	    <p><a href = "">Figure X</a> represents the ontology schema that extends the PROV ontology to model the provenance details of the crime file scenario. For example,</p>
 		<ul>
 		  <li>specialization of <a href="#agent">Agent</a> to define a class called Journalist, which has individuals such as alice, bob, and edith </li>
 		  <li><a href="#processexecution">ProcessExecution</a>, e.g. FileCreation, FileAppending, and FileEditing </li>
 		  <li>specialization of <a href="#entity">Entity</a> to define a class called CrimeFile, which has individuals such as e1, e2, and e3 </li>
 		</ul>
-		</p>
-		<p>Example given below describes the provenance of <a href="#entity">Entity</a> e2 using RDF/XML syntax
+		<p>Example given below describes the provenance of <a href="#entity">Entity</a> e2 using RDF/XML syntax</p>
 		<div class="exampleOuter">
 				<pre class="example">
                 &lt;?xml version="1.0"?&gt;
@@ -643,7 +642,6 @@
                   &lt;/rdf:RDF&gt;
 			</pre>
 			</div>		
-		</p>	  	
 	  <section> 
 		<h4>Specialization of PROV Ontology Classes</h4>
 		<p> The following new classes were created in the CrimeFile Ontology by extending the PROV ontology classes:</p>
@@ -684,7 +682,6 @@
          <img src="http://www.w3.org/2011/prov/wiki/images/5/5d/AlternativeSchema.png" alt="New classes (cf:SpellChecking, cf:FileEditing, cf:FileCreation, cf:FileAppending, cf:EmailProcessExecution, cf:Journalist) extend the classes in the PROV OWL Ontology (Entity, Agent, ProcessExecution)."/>
          <br>         
          <em>Example extension of PROV ontology in order to describe the crime file scenario</em>
-      </p>		
 		</section>
 	  </section>
 	  <section> 
@@ -703,7 +700,8 @@
 		</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"/>
+            <img src="http://dvcs.w3.org/hg/prov/raw-file/4504a7462bd9/ontology/examples/ontology-extensions/crime-file/crime.owl.png"
+                 alt="ext:FileCreation, ext:FileAppending, ext:FileEditing, ext:EmailProcessExecution, extSpellChecking extend prov:ProcessExecution; ext:Journalist extends prov:Agent; ext:CrimeFile extends prov:Entity; ext:hadFilePath extends prov:hadLocation and has range prov:Location."/>
          </a>
          <br>         
          <em>Example extension of PROV ontology in order to describe the crime file scenario</em>