--- a/model/prov-dm-constraints.html	Mon Apr 02 08:08:18 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 08:11:57 2012 +0100
@@ -213,13 +213,13 @@
 
 <p> Provenance is defined as a record that describes the people,
 institutions, entities, and activities, involved in producing,
-influencing, or delivering a piece of data or a thing in the world.  A
+influencing, or delivering a piece of data or a thing.  A
 companion specification [[PROV-DM]] defines PROV-DM, a data model for
 provenance, allowing such descriptions to be expressed.  
 </p>
 
 
-<p>PROV-DM has essentially be defined without any constraints  [[PROV-DM]]. This document introduces a further set of concepts underpinning this data model and defines constraints that well-structured provenance descriptions should follow and that provide an interpretation for these descriptions. </p>
+<p>PROV-DM is essentially defined without any constraints  [[PROV-DM]]. This document introduces a further set of concepts underpinning this data model and defines constraints that well-structured provenance descriptions should follow and that provide an interpretation for these descriptions. </p>
 
 
 <p>This specification is one of several specifications, referred to as the PROV family of specifications, defining the various aspects
@@ -232,8 +232,7 @@
 <li> PROV-N (part III): a notation to express instances of that data model for human consumption [[PROV-N]];
 </ul> 
 </li>
-
-<li>PROV-O: a normative serialization of PROV-DM in RDF [[!PROV-O]], specified by means of a mapping to the OWL2 Web Ontology Language [[!OWL2-SYNTAX]];</li>
+<li>PROV-O: the PROV ontology, an OWL-RL ontology allowing the mapping of PROV to RDF  [[!PROV-O]];</li>
 <li>PROV-AQ: the mechanisms for accessing and querying provenance [[PROV-AQ]];</li>
 <li>PROV-PRIMER: a primer for the PROV approach [[PROV-PRIMER]];</li>
 <li>PROV-SEM: semantics of the PROV-DM data model [[PROV-SEM]];</li>