--- a/ontology/ProvenanceFormalModel.html	Sat Nov 05 13:55:18 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Sat Nov 05 15:36:08 2011 -0400
@@ -171,15 +171,22 @@
 
 
 
-	  <section> 
+	 <section> 
+	  	<h3>Mapping the PROV-DM terms to PROV Ontology</h3>
+	    <p>The PROV Data Model [[PROV-DM]] uses an Abstract Syntax Notation (ASN) to describe the set of provenance terms that are used to construct the PROV ontology. There are a number of differences between the PROV-DM ASN and the Semantic Web RDF, RDFS and OWL2 technologies; hence the approach used to model the provenance terms in PROV ontology differ, partially or significantly, from the PROV-DM approach. For example, the notion of "expressions" used in the PROV-DM map to RDF triple assertions in PROV-O. Throughout this document, we explicitly state the difference, if any, between the PROV-DM term and PROV ontology term.
+		</p>
+		<div class='note'> In addition, RDF is strictly monotonic and "...it cannot express closed-world assumptions, local default preferences, and several other commonly used non-monotonic constructs."[[RDF-MT]], but the PROV-DM seems to introduce the notion of non-monotonic assertions through "Account" construct [[PROV-DM]].
+		</div>
+     </section> 
+	 <section> 
 	  	<h3>OWL2 Syntax Used in this Document</h3>
-	    <p>This document uses the RDF/XML syntax, which is the mandatory syntax supported by all OWL2 syntax [[!OWL2-PRIMER]] to represent the        PROV ontology. Provenance assertions using PROV-O can use any of the RDF syntax defined in the RDF specification [[!RDF-PRIMER]].
+	    <p>This document uses the RDF/XML syntax, which is the mandatory syntax supported by all OWL2 syntax [[!OWL2-PRIMER]] to represent the PROV ontology. Provenance assertions using PROV-O can use any of the RDF syntax defined in the RDF specification [[!RDF-PRIMER]].
+		</p>
       </section>
       <section>
 	  	<h3>Namespace and OWL2 version</h3>
-        <p>
-        
-        The corresponding OWL2 version of this PROV Ontology is available at [[PROV-Ontology-Namespace]] and as <a href="ProvenanceOntology.owl">ProvenanceOntology.owl</a>. The namespace for the PROV ontology and all classes/properties defined in this        document is <code>http://www.w3.org/ns/prov-o/</code> [[PROV-Ontology-Namespace]] and is in this document denoted by the prefix <code>prov</code>.
+        <p>        
+        The corresponding OWL2 version of this PROV Ontology is available at [[PROV-Ontology-Namespace]] and as <a href="ProvenanceOntology.owl">ProvenanceOntology.owl</a>. The namespace for the PROV ontology and all terms defined in this document is <code>http://www.w3.org/ns/prov-o/</code> [[PROV-Ontology-Namespace]] and is in this document denoted by the prefix <code>prov</code>.
 		</p>
         <div class="issue">
         It has been suggested that [[PROV-DM]] and PROV-O should instead use the namespace <code>http://www.w3.org/ns/prov/</code> for terms that are common in both models. This is <a href="http://www.w3.org/2011/prov/track/issues/90">ISSUE-90</a>
@@ -241,16 +248,15 @@
 		  <div><b>OWL syntax</b></div>
 		  <pre>prov:ProcessExecution rdfs:subClassOf owl:Thing.</pre>
 		  <div><b>Example</b></div>
-		  <p> Example of instances of class ProcessExecution from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> are file creation (<i>pe0</i>) and file editing (<i>pe2</i>) . The RDF/XML syntax for asserting that pe2 is an instance of ProcessExecution is given below.		
+		  <p> Example instances of the class ProcessExecution (from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a>) are "file creation" (<i>pe0</i>) and "file editing" (<i>pe2</i>) . The RDF/XML syntax for asserting that pe2 is an instance of ProcessExecution is given below.		
 		  <div class="exampleOuter">
 			<pre class="example">
 				&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe2"&gt;
 				    &lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/ProcessExecution"/&gt;
-				    &lt;rdf:type rdf:resource="http://www.example.com/crime#Emailing"/&gt;
 				&lt;/rdf:Description&gt;
 			</pre>
 		  </div>
-		  <div class='note'> pe2 is an instance of class <code>:Emailing</code>, which in the CrimeFile ontology is defined to be sub-class of class <code>prov:ProcessExecution</code>. Hence, using standard RDFS entailment allows us to infer that pe2 is also an instance of <code>prov:ProcessExecution</code>. However, not all PROV-O clients might be able to do RDFS reasoning over third-party ontologies, therefore asserters SHOULD explicitly assert any <code>prov</code> type or property which can be inferred from the specialising ontologies.
+		  <div class='note'> pe2 is an instance of class <code>:Emailing</code>, which is defined to be sub-class of class <code>prov:ProcessExecution</code> in the CrimeFile ontology. Hence, using standard RDFS entailment allows us to infer that pe2 is also an instance of <code>prov:ProcessExecution</code>. 
 		  </div>
 	    </section>