--- a/ontology/ProvenanceFormalModel.html	Sun Nov 13 15:29:27 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html	Sun Nov 13 15:41:42 2011 -0500
@@ -143,10 +143,7 @@
 	  <p>
 		Finally, this document describes the formal semantics of the PROV ontology using the OWL2 semantics, [[!OWL2-DIRECT-SEMANTICS]], [[!OWL2-RDF-BASED-SEMANTICS]], and a set of provenance-specific inference rules. This is expected to support provenance implementations to automatically check for consistency of provenance information represented using PROV ontology and explicitly assert implicit provenance knowledge. 
 	  </p>
-	  <p>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
-	      NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED",  "MAY", and
-	      "OPTIONAL" in this document are to be interpreted as described in
-	      [[!RFC2119]].</p>
+	  <p>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED",  "MAY", and       "OPTIONAL" in this document are to be interpreted as described in [[!RFC2119]].</p>
 	  	
 	  <section> 
 		<h3>Guide to this Document</h3>
@@ -798,22 +795,58 @@
 		
 		<section id="hadqualifiedusage">
 			<h4>hadQualifiedUsage</h4>
-	    	<p>The hadQualifiedUsage property links the ProcessExecution class with the Usage class.</p>	    	
+	    	<p>The hadQualifiedUsage property links the ProcessExecution class with the Usage class.</p>
+			<div><b>Example</b></div>
+			  <p> Example of hadQualifiedUsage property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedUsage u1</i>, where the hadRole describes the usage of e1 as a "load". The RDF/XML syntax for asserting this is given below.</p>		
+			  <div class="exampleOuter">
+				<pre class="example">
+					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe1"&gt;
+						&lt;prov:hadQualifiedUsage rdf:resource="http://www.example.com/Usage#u1"/&gt;
+					&lt;/rdf:Description&gt;	
+				</pre>
+			  </div>	    	
 	    </section>	
 
 		<section id="hadqualifiedparticipation">
 			<h4>hadQualifiedParticipation</h4>
-	    	<p>The hadQualifiedParticipation property links the ProcessExecution class with the Participation class.</p>	    	
+	    	<p>The hadQualifiedParticipation property links the ProcessExecution class with the Participation class.</p>
+			<div><b>Example</b></div>
+			  <p> Example of hadQualifiedParticipation property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe1 hadQualifiedParticipation p1</i>, where the hadRole describes the participation of Alice as an "author" in pe1. The RDF/XML syntax for asserting this is given below.</p>		
+			  <div class="exampleOuter">
+				<pre class="example">
+					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe1"&gt;
+						&lt;prov:hadQualifiedParticipation rdf:resource="http://www.example.com/crimeFile#p1"/&gt;
+					&lt;/rdf:Description&gt;	
+				</pre>
+			  </div>	    	
 	    </section>	
 	
 		<section id="hadqualifiedcontrol">
 			<h4>hadQualifiedControl</h4>
-	    	<p>The hadQualifiedControl property links the ProcessExecution class with the Control class.</p>	    	
+	    	<p>The hadQualifiedControl property links the ProcessExecution class with the Control class.</p>
+			<div><b>Example</b></div>
+			  <p> Example of hadQualifiedControl property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> pe0 hadQualifiedControl c1</i>, where the hadRole describes the control of pe0 by Alice as "creator". The RDF/XML syntax for asserting this is given below.</p>		
+			  <div class="exampleOuter">
+				<pre class="example">
+					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe0"&gt;
+						&lt;prov:hadQualifiedControl rdf:resource="http://www.example.com/crimeFile#c1"/&gt;
+					&lt;/rdf:Description&gt;	
+				</pre>
+			  </div>	    	
 	    </section>
 	
 		<section id="hadqualifiedgeneration">
 			<h4>hadQualifiedGeneration</h4>
-	    	<p>The hadQualifiedGeneration property links the ProcessExecution class with the Generation class.</p>	    	
+	    	<p>The hadQualifiedGeneration property links the ProcessExecution class with the Generation class.</p>
+			<div><b>Example</b></div>
+			  <p> Example of hadQualifiedGeneration property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> <i> e1 hadQualifiedGeneration g1</i>, where the hadRole describes the generation of e1 by "save". The RDF/XML syntax for asserting this is given below.</p>		
+			  <div class="exampleOuter">
+				<pre class="example">
+					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#e1"&gt;
+						&lt;prov:hadQualifiedGeneration rdf:resource="http://www.example.com/crimeFile#u1"/&gt;
+					&lt;/rdf:Description&gt;	
+				</pre>
+			  </div>	    	
 	    </section>
 	
 		<section id="hadqualifiedentity">