--- a/ontology/ProvenanceFormalModel.html	Mon Oct 03 09:36:33 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Mon Oct 03 12:08:39 2011 -0400
@@ -453,7 +453,7 @@
 		  <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="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#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
 		<div class="exampleOuter">
 				<pre class="example">
                 &lt;?xml version="1.0"?&gt;
@@ -497,17 +497,43 @@
 	  <section> 
 		<h4>Specialization of Provenance Ontology Classes</h4>
 		<p> The CrimeFile Ontology models the following classes by extending the PROV ontology classes:
-		<dt>cf:Journalist</dt>
-		<p>The cf:Journalist is a specialization of the PROV ontology Agent class and models all individuals that participate in creating, editing, and sharing the crime file.</p> The following RDF/XML code illustrates how cf:Journalist is asserted to be a specialization of PROV:Agent and has individual Bob.
+		<section>
+		<h5>cf:Journalist</h5>
+		<p>The cf:Journalist is a specialization of the PROV ontology <a href="#agent">Agent</a> class and models all individuals that participate in creating, editing, and sharing the crime file.The following RDF/XML code illustrates how cf:Journalist is asserted to be a specialization of <a href="#agent">PROV:Agent.</a></p>
 		<div class="exampleOuter">
 			<pre class="example">
-			  &lt;rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#Bob"&gt;
-			   &lt;rdf:type rdf:resource="http://www.w3.org/PROV/CrimeFileOntology.owl#Journalist"/&gt;
+			  &lt;rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFileOntology.owl#Journalist"&gt;
+			    &lt;rdfs:subClassOf rdf:resource="http://www.w3.org/PROV/ProvenanceOntology.owl#Agent"/&gt;
+			  &lt;/rdf:Description&gt;
 			</pre>
 		</div>
-		<dt>cf:CrimeFile</dt>			
-		<dt>cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking</dt>	 
+		<p>The following diagram illustrates the above example: </p>
+		</section>
+		<section>
+		<h5>cf:CrimeFile</h5>
+		<p> The cf:CrimeFile is a specialization of the PROV ontology <a href="#entity">Entity</a> class and it models the the file describing the crime statistics in the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario">provenance scenario</a>, including the multiple versions of the file. The following RDF/XML code illustrates how cf:Journalist is asserted to be a specialization of <a href="#entity">PROV:Entity</a>.
 		</p>
+		<div class="exampleOuter">
+			<pre class="example">
+			  &lt;rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFileOntology.owl#CrimeFile"&gt;
+			    &lt;rdfs:subClassOf rdf:resource="http://www.w3.org/PROV/ProvenanceOntology.owl#Entity"/&gt;
+			  &lt;/rdf:Description&gt;
+			</pre>
+		</div>
+		<p>The following diagram illustrates the above example: </p>
+		</section>			
+		<section>
+		<h5>cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking</h5>	 
+		<p>The classes cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking are specialization of the PROV ontology <a href="processexecution">ProcessExecution</a> and model the different activities in the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario">provenance scenario</a>. The following RDF/XML code illustrates the specialization of the <a href="processexecution">PROV:ProcessExecution</a> to define class cf:FileCreation (other classes can be similarly defined by using the subClassOf property).</p>
+		<div class="exampleOuter">
+			<pre class="example">
+			  &lt;rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFileOntology.owl#FileCreation"&gt;
+			    &lt;rdfs:subClassOf rdf:resource="http://www.w3.org/PROV/ProvenanceOntology.owl#ProcessExecution"/&gt;
+			  &lt;/rdf:Description&gt;
+			</pre>
+		</div>
+		<p>The following diagram illustrates the above example: </p>
+		</section>
 	  </section>
 	  <section> 
 		<h4>Specialization of Provenance Ontology Properties</h4>