--- a/ontology/ProvenanceFormalModel.html	Thu Jan 19 12:59:26 2012 +0000
+++ b/ontology/ProvenanceFormalModel.html	Thu Jan 19 13:42:09 2012 +0000
@@ -331,7 +331,7 @@
 		   <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 the Taverna workflow system is a SoftwareAgent.		
+			  <p> The RDF/XML syntax for asserting that Alice is an instance of Person, W3C is an Organization, and Web crawler as a SoftwareAgent.		
 			  <div class="exampleOuter">
 				<pre class="example">
 					&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#Alice"&gt;
@@ -340,7 +340,7 @@
 					&lt;rdf:Description rdf:about="http://www.w3.org/data#W3C"&gt;
 						&lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/Organization"/&gt;
 					&lt;/rdf:Description&gt;
-					&lt;rdf:Description rdf:about="http://www.taverna.org.uk"&gt;
+					&lt;rdf:Description rdf:about="http://www.example.com/webCrawler"&gt;
 						&lt;rdf:type rdf:resource="http://www.w3.org/ns/prov-o/SoftwareAgent"/&gt;
 					&lt;/rdf:Description&gt;
 				</pre>