container example
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 25 Aug 2011 10:06:49 +0100
changeset 184 02a91c1614fc
parent 183 ea1c4f1f5356
child 185 71fa5079e6b3
container example
model/container-example.txt
--- a/model/container-example.txt	Thu Aug 25 09:57:29 2011 +0100
+++ b/model/container-example.txt	Thu Aug 25 10:06:49 2011 +0100
@@ -1,18 +1,19 @@
 
-provenanceContainer(id1,                                     ;;; <- container identifier (global scope?)
+provenanceContainer(id1,                                     ;;; <- container identifier
 
   
  
   hasProvenance: 
-    provenanceContainer(id2,
+    provenanceContainer(id2,                                 ;;; <- no provenance for container id2
     statements: {
-      entity(id1, [ type:"ProvenanceContainer" ])                 ;;; <- container seen as a entity
-      isGeneratedBy(id,p,out)     
-      processExecution(p,assert,"07-28-2011:10.38am")         ;;; <- time of assertion
+      entity(id1, [ type:"ProvenanceContainer" ])            ;;; <- container seen as a entity
+      isGeneratedBy(id1,p,out)     
 
-      entity(ag_luc, [ type: "Person", name: "Luc" ])            ;;; <- luc is an agent
-      agent(ag_luc)
-      isControlledBy(p,ag_luc,"asserter")                     ;;; <- luc is the asserter
+      processExecution(p,assert,"07-28-2011:10.38am")        ;;; <- time of assertion
+
+      entity(a6, [ type: "Person", name: "Luc" ])            ;;; <- luc is an agent
+      agent(a6)
+      isControlledBy(p,a6,"asserter")                        ;;; <- luc is the asserter
   }