--- a/ontology/ProvenanceFormalModel.html	Fri Sep 23 16:55:31 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Fri Sep 23 22:34:17 2011 -0400
@@ -26,6 +26,12 @@
           "<a href=\"http://dvcs.w3.org/hg/prov/raw-file/tip/paq/provenance-access.html\"><cite>Provenance Access and Query</cite></a>. "+
           "2011, Work in progress. "+
           "URL: <a href=\"http://dvcs.w3.org/hg/prov/raw-file/tip/paq/provenance-access.html\">http://dvcs.w3.org/hg/prov/tip/paq/provenance-access.html</a>",
+
+		"PROV-Ontology-Namespace":
+          "Luc Moreau, Paolo Missier"+
+          "<a href=\"https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl\"><cite>PROV Ontology Namespace</cite></a>. "+
+          "2011, Work in progress. "+
+          "URL: <a href=\"https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl\">https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl</a>",
  	  };
       var respecConfig = {
           // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
@@ -120,22 +126,28 @@
 	      [[!RFC2119]].</p>
 	  <section> 
 		<h3>Guide to this Document</h3>
-		<p> This document is intended for provide an understanding of the PROV ontology and how it can be used by various applications to represent their provenance information. The intended audience of this document include users who are new to provenance modeling as well experienced users who would like their provenance model compatible with the PROV ontology to facilitate standardization.This document assumes a basic understanding of the W3C OWL2 specification , including modeling of classes, properties, and restrictions in an OWL2 ontology. Readers are referred to the OWL2 documentations, starting with the [[!OWL2-PRIMER]], for a detailed understanding of the OWL2 specification. 
+		<p> This document is intended for provide an understanding of the PROV ontology and how it can be used by various applications to represent their provenance information. The intended audience of this document include users who are new to provenance modeling as well experienced users who would like their provenance model compatible with the PROV ontology to facilitate standardization.This document assumes a basic understanding of the W3C OWL2 specification , including modeling of classes, properties, and restrictions in an OWL2 ontology. Readers are referred to the OWL2 documentations, starting with the [[!OWL2-PRIMER]], for the OWL2 specification. 
 		</p>
 		<p><a href="#prov-ontology--owl-encoding-of-prov-data-model">Section 2</a> describes the mapping of the PROV Data Model [[PROV-DM]] to the PROV ontology. <a href="#specializing-provenance-ontology-for-domain-specific-provenance-applications">Section 3</a> introduces the classes and properties of the PROV ontology. <a href="#entailments-supported-by-the-provenance-model">Section 4</a> describes the approach used to specialize the PROV ontology create a domain specific ontology for an example <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario">provenance scenario</a> introduced in the PROV Data Model [[PROV-DM]].
 		</p>
       </section>
     </section>
 	<section>
-      <h2>PROV Ontology: OWL Encoding of PROV Data Model</h2>
-      <p> The PROV Data Model [[PROV-DM]] introduces a set of concepts to represent provenance information. 
+      <h2>PROV Ontology</h2>
+      <p> The PROV Data Model [[PROV-DM]] introduces a minimal set of concepts to represent provenance information in a variety of application domains. This document maps the PROV Data Model to PROV Ontology using the OWL2 ontology language, which facilitates a fixed interpretation and use of the PROV Data Model concepts based on the formal semantics of OWL2 [[!OWL2-DIRECT-SEMANTICS]] [[!OWL2-RDF-BASED-SEMANTICS]]. 
+	  </p>
+	  <p>The PROV Ontology is not designed to be used directly in a domain application and its Classes and Properties represent "higher-level" or abstract level concepts that can be specialized further for representing domain-specific provenance information. We briefly introduce some of the OWL2 modeling terms that will be used to describe the PROV ontology. An OWL2 <i>instance</i> is an individual object in a domain of discourse, for example a person named Alice or a car, and a set of individuals sharing a set of common characteristics is called a <i>class</i>. Person and Car are examples of classes representing the set of individual persons and cars respectively. OWL2 properties are used to link individuals, classes, or a create property hierarchy.     
+	  </p>
+	  <p>The PROV Data Model document [[PROV-DM]] introduces an example <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> describing the creation of crime statistics file stored on a shared file system and edited by journalists Alice, Bob, Charles, David, and Edith. This scenario is used as a running example in this document to describe the PROV ontology classes and properties as well the specialization mechanism in <a href="#entailments-supported-by-the-provenance-model">Section 4</a>. 
 	  </p>
 	  <section> 
-	  	<h3>OWL Syntax Used in this Document</h3>
+	  	<h3>OWL2 Syntax Used in this Document</h3>
+	    <p>We use the RDF/XML syntax, which is the mandatory syntax supported by all OWL2 syntax [[!OWL2-PRIMER]] to represent the PROV ontology. The OWL2 document for the PROV ontology is available at [[PROV-Ontology-Namespace]], which is also the default namespace for PROV ontology and is denoted by "PROV".
+		</p>
 	  </section>
 	</section>
     <section>
-      <h2>PROV Ontology: Classes, Properties, and Restrictions</h2>    	
+      <h2>PROV Ontology: Classes and Properties</h2>    	
 	  <section> 
 	  	<h3>Visualization of the Provenance ontology</h3>
 		<h4>Hierarchical view of the ontology</h4>
@@ -391,7 +403,7 @@
 		To illustrate the specialization mechanism, the Provenance Ontology is extended to create an ontology schema for the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario">provenance scenario</a> describing the creation of the crime statistics file. </p>
 	  <section>
 		<h3>Modeling the Crime File Scenario</h3>
-		<p>The PROV Data Model document [[PROV-DM]] introduces an example <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> describing the creation of crime statistics file stored on a shared file system and edited by journalists Alice, Bob, Charles, David, and Edith. 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 1</a>:</p>
+		<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 1</a>:</p>
 		<div class='issue'>insert figure X</div>
 	    <p><a href = "">Figure X</a> represents both the Provenance ontology schema and the instance information. For example,
 		<ul>