--- a/ontology/ProvenanceFormalModel.html	Tue Nov 29 14:26:15 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html	Tue Nov 29 10:27:19 2011 -0500
@@ -79,8 +79,7 @@
 
           // if you want to have extra CSS, append them to this list
           // it is recommended that the respec.css stylesheet be kept
-          extraCSS:
-          ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css", "./extra.css"],
+          extraCSS:         ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css", "./extra.css"],
 
           // editors, add as many as you like
           // only "name" is required
@@ -143,7 +142,7 @@
 
     <section id="abstract">
       <p>
-	  The PROV Ontology (also PROV-O) encodes the PROV Data Model [[!PROV-DM]] in the OWL2 Web Ontology Language (OWL2). The PROV ontology consists of a set of classes, properties, and restrictions that can be used to represent provenance information. The PROV ontology is specialized to create domain-specific provenance ontologies that model the provenance information specific to different applications. The PROV ontology supports a set of entailments based on OWL2 formal semantics and provenance specific inference rules. The PROV ontology is available for download as a separate OWL2 document.
+	  The PROV Ontology (also PROV-O) encodes the PROV Data Model [[PROV-DM]] in the OWL2 Web Ontology Language (OWL2). The PROV ontology consists of a set of classes, properties, and restrictions that can be used to represent provenance information. The PROV ontology can also be specialized to create new classes and properties for modeling provenance information specific to different domain applications. The PROV ontology supports a set of entailments based on OWL2 formal semantics and provenance specific inference rules. The PROV ontology is available for download as a separate OWL2 document.
 	  </p>
 
     </section>