--- a/model/container1.prov Wed Sep 28 20:51:44 2011 +0100
+++ b/model/container1.prov Wed Sep 28 21:13:33 2011 +0100
@@ -1,71 +1,81 @@
-urn:uuid:e0
-urn:uuid:e1
-urn:oid:0
-urn:oid:1
-urn:oid:2
+; An example of container,
+; - declaring three namespaces with prefix x, viz, prov
+; - no account
+; - a set of prov assertions (hence, all considered to be part of a deafult account)
-
+; The example shows illustrations of prov attributes and application
+; specific attributes, and application specific annotations.
-container([x http://x.com,
- prov: http://w3.org/prov/],
+; identifiers in this example follow the URN syntax with "demo" namespace
+
+container([x http://x.com/,
+ prov: http://w3.org/prov/,
+ viz: http://viz.com/,
+ ],
,
- entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
- entity(e1, [ type="File", location="/shared/crime.txt", creator="Alice", content="" ])
- entity(e2, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London last month."])
- entity(e3, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month."])
- entity(e4, [ ])
- entity(e5, [ ])
- entity(e6, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month.", spellchecked="yes"])
-
- processExecution(pe0,create-file,t,,[])
- processExecution(pe1,add-crime-in-london,t+1,,[])
- processExecution(pe2,email,t+2,,[])
- processExecution(pe3,edit-London-New-York,t+3,,[])
- processExecution(pe4,email,t+4,,[])
- processExecution(pe5,spellcheck,,,[])
+ entity(urn:demo:0, [ prov:type="File", prov:location="/shared/crime.txt", x:creator="Alice" ])
+ entity(urn:demo:1, [ prov:type="File", prov:location="/shared/crime.txt", x:creator="Alice", x:content="" ])
+ entity(urn:demo:2, [ prov:type="File", prov:location="/shared/crime.txt", x:creator="Alice", x:content="There was a lot of crime in London last month."])
+ entity(urn:demo:3, [ prov:type="File", prov:location="/shared/crime.txt", x:creator="Alice", x:content="There was a lot of crime in London and New York last month."])
+ entity(urn:demo:4, [ ])
+ entity(urn:demo:5, [ ])
+ entity(urn:demo:6, [ prov:type="File", prov:location="/shared/crime.txt", x:creator="Alice", x:content="There was a lot of crime in London and New York last month.", x:spellchecked="yes"])
- wasGeneratedBy(e0, pe0, qualifier())
- wasGeneratedBy(e1, pe0, qualifier(fct="create"))
- wasGeneratedBy(e2, pe1, qualifier(fct="save"))
- wasGeneratedBy(e3, pe3, qualifier(fct="save"))
- wasGeneratedBy(e4, pe2, qualifier(port="smtp", section="attachment"))
- wasGeneratedBy(e5, pe4, qualifier(port="smtp", section="attachment"))
- wasGeneratedBy(e6, pe5, qualifier(file="stdout"))
+ processExecution(urn:demo:100,http://myapp/create-file,t,,[])
+ processExecution(urn:demo:101,http://myapp/add-crime-in-london,t+1,,[])
+ processExecution(urn:demo:102,http://myapp/email,t+2,,[])
+ processExecution(urn:demo:103,http://myapp/edit-London-New-York,t+3,,[])
+ processExecution(urn:demo:104,http://myapp/email,t+4,,[])
+ processExecution(urn:demo:105,http://myapp/spellcheck,,,[])
- used(pe1,e1,qualifier(fct="load"))
- used(pe3,e2,qualifier(fct="load"))
- used(pe2,e2,qualifier(fct="attach"))
- used(pe4,e3,qualifier(fct="attach"))
- used(pe5,e3,qualifier(file="stdin"))
+ wasGeneratedBy(urn:demo:0, urn:demo:100, qualifier())
+ wasGeneratedBy(urn:demo:1, urn:demo:100, qualifier(x:fct="create"))
+ wasGeneratedBy(urn:demo:2, urn:demo:101, qualifier(x:fct="save"))
+ wasGeneratedBy(urn:demo:3, urn:demo:103, qualifier(x:fct="save"))
+ wasGeneratedBy(urn:demo:4, urn:demo:102, qualifier(x:port="smtp", x:section="attachment"))
+ wasGeneratedBy(urn:demo:5, urn:demo:104, qualifier(x:port="smtp", x:section="attachment"))
+ wasGeneratedBy(urn:demo:6, urn:demo:105, qualifier(x:file="stdout"))
+
+ used(urn:demo:101,urn:demo:1,qualifier(x:fct="load"))
+ used(urn:demo:103,urn:demo:2,qualifier(x:fct="load"))
+ used(urn:demo:102,urn:demo:2,qualifier(x:fct="attach"))
+ used(urn:demo:104,urn:demo:3,qualifier(x:fct="attach"))
+ used(urn:demo:105,urn:demo:3,qualifier(x:file="stdin"))
- wasDerivedFrom(e2,e1)
- wasDerivedFrom(e3,e2)
- wasDerivedFrom(e4,e2,pe2,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
- wasDerivedFrom(e5,e3,pe4,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
+ wasDerivedFrom(urn:demo:2,urn:demo:1)
+ wasDerivedFrom(urn:demo:3,urn:demo:2)
+ wasDerivedFrom(urn:demo:4,urn:demo:2,urn:demo:102,qualifier(x:port=smtp, x:section="attachment"),qualifier(x:fct="attach"))
+ wasDerivedFrom(urn:demo:5,urn:demo:3,urn:demo:104,qualifier(x:port=smtp, x:section="attachment"),qualifier(x:fct="attach"))
- wasComplementOf(e1,e0)
- wasComplementOf(e2,e0)
- wasComplementOf(e3,e0)
- wasComplementOf(e6,e3)
+ wasComplementOf(urn:demo:1,urn:demo:0)
+ wasComplementOf(urn:demo:2,urn:demo:0)
+ wasComplementOf(urn:demo:3,urn:demo:0)
+ wasComplementOf(urn:demo:6,urn:demo:3)
- entity(a1, [ type="Person", name="Alice" ])
- agent(a1)
-
- entity(a2, [ type="Person", name="Bob" ])
- agent(a2)
+ entity(urn:demo:201, [ prov:type="Person", x:name="Alice" ])
+ agent(urn:demo:201)
- entity(a3, [ type="Person", name="Charles" ])
- agent(a3)
+ entity(urn:demo:202, [ prov:type="Person", x:name="Bob" ])
+ agent(urn:demo:202)
- entity(a4, [ type="Person", name="David" ])
- agent(a4)
+ entity(urn:demo:203, [ prov:type="Person", x:name="Charles" ])
+ agent(urn:demo:203)
- entity(a5, [ type="Person", name="Edith" ])
- agent(a5)
+ entity(urn:demo:204, [ prov:type="Person", x:name="David" ])
+ agent(urn:demo:204)
+ entity(urn:demo:205, [ prov:type="Person", x:name="Edith" ])
+ agent(urn:demo:205)
+
+ annotation(urn:demo:301,[viz:icon="person.png"])
+ hasAnnotation(urn:demo:201,urn:demo:301)
+ hasAnnotation(urn:demo:202,urn:demo:301)
+ hasAnnotation(urn:demo:203,urn:demo:301)
+ hasAnnotation(urn:demo:204,urn:demo:301)
+ hasAnnotation(urn:demo:205,urn:demo:301)
)