added asn example for crime file (formerly part of DM
authorPaolo Missier <pmissier@acm.org>
Mon, 05 Mar 2012 17:45:19 +0000
changeset 1763 93309c60b386
parent 1762 4abb879764c7
child 1764 f70ffc8f3263
added asn example for crime file (formerly part of DM
examples/eg-15-crime-file/asn/eg-15-crime-file.asn
examples/eg-15-crime-file/document/homepage
model/images/PROV-modelSketch.zargo
model/images/commonRelations.svg
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-15-crime-file/asn/eg-15-crime-file.asn	Mon Mar 05 17:45:19 2012 +0000
@@ -0,0 +1,71 @@
+entity(e0, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice" ])
+entity(e1, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", 
+             ex:content="" ])
+entity(e2, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", 
+             ex:content="There was a lot of crime in London last month."])
+entity(e3, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", 
+             ex:content="There was a lot of crime in London and New York last month."])
+entity(e4)
+entity(e5)
+entity(e6, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", 
+             ex:content="There was a lot of crime in London and New York last month.", 
+	     ex:grammarchecked="yes"])
+
+
+activity(a0, 2011-11-16T16:00:00,,[prov:type="createFile"])
+activity(a1, 2011-11-16T16:05:00,,[prov:type="edit"])
+activity(a2, 2011-11-16T17:00:00,,[prov:type="email"])
+activity(a3, 2011-11-17T09:00:00,,[prov:type="edit"])
+activity(a4, 2011-11-17T09:50:00,,[prov:type="email"])
+activity(a5, 2011-11-17T09:30:00, ,[prov:type="grammarcheck"])
+
+wasGeneratedBy(e0, a0)
+wasGeneratedBy(e1, a0, [ex:fct="create"])
+wasGeneratedBy(e2, a1, [ex:fct="save"])     
+wasGeneratedBy(e3, a3, [ex:fct="save"])     
+wasGeneratedBy(g1, e4, a2, [ex:port="smtp", ex:section="attachment"])  
+wasGeneratedBy(g2, e5, a4, [ex:port="smtp", ex:section="attachment"])    
+wasGeneratedBy(e6, a5, [ex:file="stdout"])
+
+used(a1,e1,[ex:fct="load"])
+used(a3,e2,[ex:fct="load"])
+used(u1,a2,e2,[ex:fct="attach"])
+used(u2,a4,e3,[ex:fct="attach"])
+used(a5,e3,[ex:file="stdin"])
+
+wasDerivedFrom(e2,e1)
+wasDerivedFrom(e3,e2)
+wasDerivedFrom(e4,e2,a2,g1,u1)
+wasDerivedFrom(e5,e3,a4,g2,u2)
+
+specializationOf(e1,e0)
+specializationOf(e2,e0)
+specializationOf(e3,e0)
+specializationOf(e6,e3) 
+
+agent(ag1, [ prov:type="prov:Person" %% xsd:QName, ex:name="Alice" ])
+agent(ag2, [ prov:type="prov:Person" %% xsd:QName, ex:name="Bob" ])
+agent(ag3, [ prov:type="prov:Person" %% xsd:QName, ex:name="Charles" ])
+agent(ag4, [ prov:type="prov:Person" %% xsd:QName, ex:name="David" ])
+agent(ag5, [ prov:type="prov:Person" %% xsd:QName, ex:name="Edith" ])
+agent(ag6, [ prov:type="prov:SoftwareAgent" %% xsd:QName, ex:name="GoodEnglish" ])
+
+wasAssociatedWith(a0, ag1, [prov:role="creator"])
+wasAssociatedWith(a1, ag2, [prov:role="author"])
+wasAssociatedWith(a2, ag3, [prov:role="communicator"])
+wasAssociatedWith(a3, ag4, [prov:role="author"])
+wasAssociatedWith(a4, ag5, [prov:role="communicator"])
+
+entity(gr1,[prov:type="prov:Plan"%% xsd:QName, 
+            ex:url="http://example.org/grammarRules.html" %% xsd:anyURI])
+
+wasAssociatedWith(a5, ag6, gr1, [prov:role="checker"])
+
+actedOnBehalfOf(ag6, ag4, a5, [prov:type="delegation"])
+
+
+
+
+
+
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-15-crime-file/document/homepage	Mon Mar 05 17:45:19 2012 +0000
@@ -0,0 +1,2 @@
+http://www.w3.org/2011/prov/wiki/Eg-15-crime-file
+http://dvcs.w3.org/hg/prov/file/tip/examples/eg-15-crime-file
Binary file model/images/PROV-modelSketch.zargo has changed
--- a/model/images/commonRelations.svg	Mon Mar 05 17:18:21 2012 +0000
+++ b/model/images/commonRelations.svg	Mon Mar 05 17:45:19 2012 +0000
@@ -22,17 +22,17 @@
 <polyline fill="none" points="867,168 689,168" stroke="#000000" stroke-width="1"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="701" x2="689" y1="161" y2="168"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="701" x2="689" y1="175" y2="168"/>
-<text font-family="Lucida Grande" font-size="13" x="696" y="161">
+<text font-family="Lucida Grande" font-size="13" x="688" y="161">
 wasAttributedTo</text>
 <polyline fill="none" points="915,136 915,48 795,48 795,144 867,144" stroke="#000000" stroke-width="1"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="855" x2="867" y1="151" y2="144"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="855" x2="867" y1="137" y2="144"/>
-<text font-family="Lucida Grande" font-size="13" x="771" y="28">
+<text font-family="Lucida Grande" font-size="13" x="769" y="28">
 wasRevisionOf</text>
-<polyline fill="none" points="305,168 403,168 403,80 283,80 283,136" stroke="#000000" stroke-width="1"/>
-<line fill="#000000" stroke="#000000" stroke-width="1" x1="276" x2="283" y1="124" y2="136"/>
-<line fill="#000000" stroke="#000000" stroke-width="1" x1="290" x2="283" y1="124" y2="136"/>
-<text font-family="Lucida Grande" font-size="13" x="385" y="75">
+<polyline fill="none" points="305,168 403,168 403,80 283,80 283,128" stroke="#000000" stroke-width="1"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="276" x2="283" y1="116" y2="128"/>
+<line fill="#000000" stroke="#000000" stroke-width="1" x1="290" x2="283" y1="116" y2="128"/>
+<text font-family="Lucida Grande" font-size="13" x="405" y="76">
 wasInformedBy</text>
 <polyline fill="none" points="219,128 219,88 91,88 91,176 211,176" stroke="#000000" stroke-width="1"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="199" x2="211" y1="183" y2="176"/>
@@ -47,11 +47,11 @@
 <polyline fill="none" points="867,192 787,192 787,272 883,272 883,208" stroke="#000000" stroke-width="1"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="890" x2="883" y1="220" y2="208"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="876" x2="883" y1="220" y2="208"/>
-<text font-family="Lucida Grande" font-size="13" x="676" y="257">
-wasQuotedFrom</text>
+<text font-family="Lucida Grande" font-size="13" x="669" y="257">
+hadOriginalSource</text>
 <polyline fill="none" points="1009,152 1059,152 1059,48 971,48 971,136" stroke="#000000" stroke-width="1"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="964" x2="971" y1="124" y2="136"/>
 <line fill="#000000" stroke="#000000" stroke-width="1" x1="978" x2="971" y1="124" y2="136"/>
-<text font-family="Lucida Grande" font-size="13" x="1010" y="29">
+<text font-family="Lucida Grande" font-size="13" x="1003" y="29">
 wasQuotedFrom</text>
 </svg>