added test case to show how wasControlledBy can fall out of the controller being used by the process execution.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasControlledBy.ttl Mon Sep 19 18:23:58 2011 -0400
@@ -0,0 +1,5 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasControlledBy/example-1.ttl Mon Sep 19 18:23:58 2011 -0400
@@ -0,0 +1,15 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+:pe_1
+ a prov:ProcessExecution;
+ prov:used [
+ prov:Controller; # a subclass of prov:Role, which is a subclass of prov:Entity .
+ prov:assumedBy <http://data.semanticweb.org/person/khalid-belhajjame>
+ ];
+.
+
+# ==>
+
+:pe_1 prov:wasControlledBy <http://data.semanticweb.org/person/khalid-belhajjame> .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasControlledBy/example-1/test-1.rq Mon Sep 19 18:23:58 2011 -0400
@@ -0,0 +1,7 @@
+prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#>
+
+ask
+where {
+ # This should be achieved via inference.
+ :pe_1 prov:wasControlledBy <http://data.semanticweb.org/person/khalid-belhajjame> .
+}