--- a/ontology/examples/ontology-extensions/crime-file/instances/example-1/crime.owl	Wed Oct 19 15:33:23 2011 +0100
+++ b/ontology/examples/ontology-extensions/crime-file/instances/example-1/crime.owl	Thu Oct 20 15:08:17 2011 +0100
@@ -42,25 +42,25 @@
   </ext:CrimeFile>
   <ext:Journalist rdf:about="http://www.example.com/crimeFile#edith"/>
   <ext:FileCreation rdf:about="http://www.example.com/crimeFile#pe0">
-    <prov:isControlledBy rdf:resource="http://www.example.com/crimeFile#alice"/>
+    <prov:wasControlledBy rdf:resource="http://www.example.com/crimeFile#alice"/>
   </ext:FileCreation>
   <ext:FileAppending rdf:about="http://www.example.com/crimeFile#pe1">
-    <prov:Used rdf:resource="http://www.example.com/crimeFile#e1"/>
-    <prov:isControlledBy rdf:resource="http://www.example.com/crimeFile#bob"/>
+    <prov:used rdf:resource="http://www.example.com/crimeFile#e1"/>
+    <prov:wasControlledBy rdf:resource="http://www.example.com/crimeFile#bob"/>
   </ext:FileAppending>
   <ext:Emailing rdf:about="http://www.example.com/crimeFile#pe2">
-    <prov:Used rdf:resource="http://www.example.com/crimeFile#e2"/>
-    <prov:isControlledBy rdf:resource="http://www.example.com/crimeFile#charles"/>
+    <prov:used rdf:resource="http://www.example.com/crimeFile#e2"/>
+    <prov:wasControlledBy rdf:resource="http://www.example.com/crimeFile#charles"/>
   </ext:Emailing>
   <ext:FileEditing rdf:about="http://www.example.com/crimeFile#pe3">
-    <prov:Used rdf:resource="http://www.example.com/crimeFile#e2"/>
-    <prov:isControlledBy rdf:resource="http://www.example.com/crimeFile#david"/>
+    <prov:used rdf:resource="http://www.example.com/crimeFile#e2"/>
+    <prov:wasControlledBy rdf:resource="http://www.example.com/crimeFile#david"/>
   </ext:FileEditing>
   <ext:Emailing rdf:about="http://www.example.com/crimeFile#pe4">
-    <prov:Used rdf:resource="http://www.example.com/crimeFile#e3"/>
-    <prov:isControlledBy rdf:resource="http://www.example.com/crimeFile#edith"/>
+    <prov:used rdf:resource="http://www.example.com/crimeFile#e3"/>
+    <prov:wasControlledBy rdf:resource="http://www.example.com/crimeFile#edith"/>
   </ext:Emailing>
   <ext:SpellChecking rdf:about="http://www.example.com/crimeFile#pe5">
-    <prov:Used rdf:resource="http://www.example.com/crimeFile#e3"/>
+    <prov:used rdf:resource="http://www.example.com/crimeFile#e3"/>
   </ext:SpellChecking>
 </rdf:RDF>

--- a/ontology/examples/ontology-extensions/crime-file/instances/example-1/crime.ttl	Wed Oct 19 15:33:23 2011 +0100
+++ b/ontology/examples/ontology-extensions/crime-file/instances/example-1/crime.ttl	Thu Oct 20 15:08:17 2011 +0100
@@ -58,29 +58,29 @@
 
 :pe0
     a ext:FileCreation ;
-    prov:isControlledBy :alice .
+    prov:wasControlledBy :alice .
 
 :pe1
     a ext:FileAppending ;
-    prov:Used :e1 ;
-    prov:isControlledBy :bob .
+    prov:used :e1 ;
+    prov:wasControlledBy :bob .
 
 :pe2
     a ext:Emailing ;
-    prov:Used :e2 ;
-    prov:isControlledBy :charles .
+    prov:used :e2 ;
+    prov:wasControlledBy :charles .
 
 :pe3
     a ext:FileEditing ;
-    prov:Used :e2 ;
-    prov:isControlledBy :david .
+    prov:used :e2 ;
+    prov:wasControlledBy :david .
 
 :pe4
     a ext:Emailing ;
-    prov:Used :e3 ;
-    prov:isControlledBy :edith .
+    prov:used :e3 ;
+    prov:wasControlledBy :edith .
 
 :pe5
     a ext:SpellChecking ;
-    prov:Used :e3 .
+    prov:used :e3 .