--- a/ontology/ProvenanceFormalModel.html	Mon Jan 16 20:40:50 2012 +0000
+++ b/ontology/ProvenanceFormalModel.html	Mon Jan 16 20:52:36 2012 +0000
@@ -331,16 +331,16 @@
 		   <p>The classes Person, Organization and SoftwareAgent are disjoint. Moreover, they do not cover all kinds of agent. </p>
 		  <div class="an_subc_example"> 				
 			  <div><b>Example</b></div>
-			  <p> The RDF/XML syntax for asserting that Alice is an instance of Person, W3C is an Organization, and TavernaWorkflowSystem is a SoftwareAgent.		
+			  <p> The RDF/XML syntax for asserting that Alice is an instance of Person, W3C is an Organization, and the Taverna workflow system is a SoftwareAgent.		
 			  <div class="exampleOuter">
 				<pre class="example">
 					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#Alice"&gt;
 						&lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Person"/&gt;
 					&lt;/rdf:Description&gt;
-					&lt;rdf:Description rdf:about="W3C"&gt;
+					&lt;rdf:Description rdf:about="http://www.w3.org"&gt;
 						&lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Organization"/&gt;
 					&lt;/rdf:Description&gt;
-					&lt;rdf:Description rdf:about="TavernaWorkflowSystem"&gt;
+					&lt;rdf:Description rdf:about="http://www.taverna.org.uk"&gt;
 						&lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/SoftwareAgent"/&gt;
 					&lt;/rdf:Description&gt;
 				</pre>