trig of nested accounts example.
authorTim L <lebot@rpi.edu>
Wed, 04 Jan 2012 22:22:54 -0500
changeset 1324 c179bb8bb46e
parent 1323 4dbb87b6f47a
child 1325 5fa3686f5eeb
child 1326 7ccebaf97e34
trig of nested accounts example.
ontology/components/Account/prov-dm-b984f67f3465-asserter-1-claims.trig
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account/prov-dm-b984f67f3465-asserter-1-claims.trig	Wed Jan 04 22:22:54 2012 -0500
@@ -0,0 +1,67 @@
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov:    <http://www.w3.org/ns/prov-o/> .
+@prefix ex:      <#ex> .
+@prefix :        <#> .
+
+ex:acc3
+   a prov:AssertionActivity, prov:Activity;
+   prov:wasAssociatedWith <http://example.org/asserter1>;
+   prov:generated         ex:acc3_claims;
+.
+
+ex:acc3_claims {
+   :e0
+      dcterms:description "entity(e0, [ prov:type='File', ex:path='/shared/crime.txt', ex:creator='Alice' ])";
+      a prov:Entity;
+      a :File;
+      ex:path "/shared/crime.txt";
+      ex:creator :Alice;
+   .
+
+   :a0
+      dcterms:description "activity(a0,t,,[prov:type='createFile'])";
+      a prov:Activity;
+      a :CreateFile;
+   .
+
+   :e0
+      dcterms:description "wasGeneratedBy(e0,a0,[])";
+      a prov:Entity;
+      prov:wasGeneratedBy :a0;
+   .
+
+   ex:acc4
+      a prov:AssertionActivity, prov:Activity;
+      prov:wasAssociatedWith <http://example.org/asserter2>;
+      prov:generated         ex:acc4_claims;
+   .
+}
+
+ex:acc4_claims {
+   :e1
+      dcterms:description "entity(e1, [ prov:type='File', ex:path='/shared/crime.txt', ex:creator='Alice', ex:content='' ])";
+      a prov:Entity;
+      ex:path "/shared/crime.txt";
+      ex:creator :Alice;
+      ex:content "";
+   .
+
+   :a0
+      dcterms:description "activity(a0,t,,[prov:type='copyFile'])";
+      a prov:Activity;
+      a :CopyFile;
+   .
+
+   :e1
+      dcterms:description "wasGeneratedBy(e1,a0,[ex:fct='create'])";
+      prov:wasGeneratedBy :a0;
+      ex:fct :create;
+
+      dcterms:description "wasComplementOf(e1,e0))";
+      prov:wasComplementOf :e1;
+   .
+
+   :e1
+      a prov:Entity;
+   .
+}