added test case to show how wasControlledBy can fall out of the controller being used by the process execution.
authorTim L <lebot@rpi.edu>
Mon, 19 Sep 2011 18:23:58 -0400
changeset 351 8e5e3db3aab5
parent 350 7d5467bac478
child 352 e4c1e618db48
added test case to show how wasControlledBy can fall out of the controller being used by the process execution.
ontology/components/wasControlledBy.ttl
ontology/components/wasControlledBy/example-1.ttl
ontology/components/wasControlledBy/example-1/test-1.rq
--- /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> .
+}