example to discuss identifiers
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 13 Jan 2012 00:58:16 +0000
changeset 1354 bce1586dbdb7
parent 1312 a6ef9e0b6d2a
child 1355 a3b6c5e86055
example to discuss identifiers
model/examples/w3cpub/w3c-publication1.dot
model/examples/w3cpub/w3c-publication1.pdf
model/examples/w3cpub/w3c-publication1.prov-asn
model/examples/w3cpub/w3c-publication2.dot
model/examples/w3cpub/w3c-publication2.pdf
model/examples/w3cpub/w3c-publication2.prov-asn
model/examples/w3cpub/w3c-publication3.dot
model/examples/w3cpub/w3c-publication3.pdf
model/examples/w3cpub/w3c-publication3.prov-asn
model/examples/w3cpub/w3cpub.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication1.dot	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,93 @@
+digraph OPMGraph { rankdir="BT"; 
+pub1 [label="pub1",shape="polygon",sides="4"]
+ann0 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">publish</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann0 -> pub1 [style="dashed",color="gray",arrowhead="none"]
+pub2 [label="pub2",shape="polygon",sides="4"]
+ann1 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">publish</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann1 -> pub2 [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111018 [label="WD-prov-dm-20111018"]
+ann2 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">WD</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann2 -> WD_prov_dm_20111018 [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 [label="WD-prov-dm-20111215"]
+ann3 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">WD</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann3 -> WD_prov_dm_20111215 [style="dashed",color="gray",arrowhead="none"]
+rec_advance [label="rec-advance"]
+ann4 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Plan</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann4 -> rec_advance [style="dashed",color="gray",arrowhead="none"]
+req1 [label="req1"]
+ann5 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">transreq</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann5 -> req1 [style="dashed",color="gray",arrowhead="none"]
+req2 [label="req2"]
+ann6 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">pubreq</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann6 -> req2 [style="dashed",color="gray",arrowhead="none"]
+req3 [label="req3"]
+ann7 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">pubreq</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann7 -> req3 [style="dashed",color="gray",arrowhead="none"]
+w3c [label="w3c",shape="polygon",sides="8"]
+ann8 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Organization</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann8 -> w3c [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 -> WD_prov_dm_20111018 []
+WD_prov_dm_20111018 -> pub1 []
+WD_prov_dm_20111215 -> pub2 []
+pub1 -> req1 []
+pub1 -> req2 []
+pub2 -> req3 []
+pub1 -> w3c []
+pub1 -> rec_advance []
+pub2 -> w3c []
+pub2 -> rec_advance []
+}
Binary file model/examples/w3cpub/w3c-publication1.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication1.prov-asn	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,47 @@
+
+
+container
+
+prefix ex <http://example.org/>
+
+prefix w3 <http://www.w3.org/TR/2011/>
+prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
+
+
+entity(w3:WD-prov-dm-20111018, [ prov:type="WD" ])
+entity(w3:WD-prov-dm-20111215, [ prov:type="WD" ])
+
+entity(process:rec-advance, [ prov:type="Plan" ])
+
+entity(ex:req1, [ prov:type="http://www.w3.org/2005/08/01-transitions.html#transreq" %% xsd:anyURI ])
+entity(ex:req2, [ prov:type="http://www.w3.org/2005/08/01-transitions.html#pubreq" %% xsd:anyURI ])
+entity(ex:req3, [ prov:type="http://www.w3.org/2005/08/01-transitions.html#pubreq" %% xsd:anyURI ])
+
+
+wasDerivedFrom(w3:WD-prov-dm-20111215,w3:WD-prov-dm-20111018)
+
+
+activity(ex:pub1,,,[prov:type="publish"])
+activity(ex:pub2,,,[prov:type="publish"])
+
+
+wasGeneratedBy(w3:WD-prov-dm-20111018, ex:pub1)
+wasGeneratedBy(w3:WD-prov-dm-20111215, ex:pub2)
+
+used(ex:pub1,ex:req1)
+used(ex:pub1,ex:req2)
+used(ex:pub2,ex:req3)
+
+agent(ex:w3c, [ prov:type="Organization" ])
+
+wasAssociatedWith(ex:pub1, ex:w3c  @ process:rec-advance)
+wasAssociatedWith(ex:pub2, ex:w3c  @ process:rec-advance)
+
+
+
+endContainer
+
+
+#activity(ex:a5,,,[prov:type="grammarcheck"])
+#ex:version="1", 
+#ex:version="2"
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication2.dot	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,52 @@
+digraph OPMGraph { rankdir="BT"; 
+rcp [label="rcp",shape="polygon",sides="4"]
+ann9 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">copy directory</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann9 -> rcp [style="dashed",color="gray",arrowhead="none"]
+Overview_html [label="Overview.html"]
+ann10 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">file in hg</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann10 -> Overview_html [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 [label="WD-prov-dm-20111215"]
+ann11 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">html4</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann11 -> WD_prov_dm_20111215 [style="dashed",color="gray",arrowhead="none"]
+req3 [label="req3"]
+ann12 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">pubreq</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann12 -> req3 [style="dashed",color="gray",arrowhead="none"]
+webmaster [label="webmaster",shape="polygon",sides="8"]
+ann13 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann13 -> webmaster [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 -> rcp []
+rcp -> Overview_html []
+rcp -> req3 []
+WD_prov_dm_20111215 -> Overview_html []
+rcp -> webmaster []
+}
Binary file model/examples/w3cpub/w3c-publication2.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication2.prov-asn	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,45 @@
+
+
+container
+
+prefix ex <http://example.org/>
+prefix rec <http://example.org/record>
+
+prefix w3 <http://www.w3.org/TR/2011/>
+prefix hg <http://dvcs.w3.org/hg/prov/raw-file/9628aaff6e20/model/releases/WD-prov-dm-20111215/>
+prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
+
+
+
+entity(hg:Overview.html, [ prov:type="file in hg" ])
+
+entity(w3:WD-prov-dm-20111215, [ prov:type="html4" ])
+
+
+
+
+
+
+activity(ex:rcp,,,[prov:type="copy directory"])
+
+
+wasGeneratedBy(rec:g,w3:WD-prov-dm-20111215, ex:rcp)
+
+entity(ex:req3, [ prov:type="http://www.w3.org/2005/08/01-transitions.html#pubreq" %% xsd:anyURI ])
+
+used(rec:u, ex:rcp,hg:Overview.html)
+used(ex:rcp,ex:req3)
+
+
+wasDerivedFrom(w3:WD-prov-dm-20111215,hg:Overview.html, ex:rcp, rec:g, rec:u)
+
+agent(ex:webmaster, [ prov:type="Person" ])
+
+wasAssociatedWith(ex:rcp, ex:webmaster)
+
+endContainer
+
+
+#activity(ex:a5,,,[prov:type="grammarcheck"])
+#ex:version="1", 
+#ex:version="2"
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication3.dot	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,145 @@
+digraph OPMGraph { rankdir="BT"; 
+edit1 [label="edit1",shape="polygon",sides="4"]
+ann14 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">edit</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann14 -> edit1 [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 [label="WD-prov-dm-20111215"]
+ann15 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">document</TD>
+	</TR>
+	<TR>
+	    <TD align="left">version:</TD>
+	    <TD align="left">2</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann15 -> WD_prov_dm_20111215 [style="dashed",color="gray",arrowhead="none"]
+Luc [label="Luc",shape="polygon",sides="8"]
+ann16 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann16 -> Luc [style="dashed",color="gray",arrowhead="none"]
+Paolo [label="Paolo",shape="polygon",sides="8"]
+ann17 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann17 -> Paolo [style="dashed",color="gray",arrowhead="none"]
+Khalid [label="Khalid",shape="polygon",sides="8"]
+ann18 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann18 -> Khalid [style="dashed",color="gray",arrowhead="none"]
+Stephen [label="Stephen",shape="polygon",sides="8"]
+ann19 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann19 -> Stephen [style="dashed",color="gray",arrowhead="none"]
+Yolanda [label="Yolanda",shape="polygon",sides="8"]
+ann20 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann20 -> Yolanda [style="dashed",color="gray",arrowhead="none"]
+Ryan [label="Ryan",shape="polygon",sides="8"]
+ann21 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann21 -> Ryan [style="dashed",color="gray",arrowhead="none"]
+Paul [label="Paul",shape="polygon",sides="8"]
+ann22 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann22 -> Paul [style="dashed",color="gray",arrowhead="none"]
+Graham [label="Graham",shape="polygon",sides="8"]
+ann23 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann23 -> Graham [style="dashed",color="gray",arrowhead="none"]
+Jim [label="Jim",shape="polygon",sides="8"]
+ann24 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann24 -> Jim [style="dashed",color="gray",arrowhead="none"]
+Simon [label="Simon",shape="polygon",sides="8"]
+ann25 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann25 -> Simon [style="dashed",color="gray",arrowhead="none"]
+James [label="James",shape="polygon",sides="8"]
+ann26 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann26 -> James [style="dashed",color="gray",arrowhead="none"]
+Satya [label="Satya",shape="polygon",sides="8"]
+ann27 [color="gray",fontcolor="black",label=<<TABLE cellpadding="0" border="0">
+	<TR>
+	    <TD align="left">type:</TD>
+	    <TD align="left">Person</TD>
+	</TR>
+    </TABLE>>
+,shape="note"]
+ann27 -> Satya [style="dashed",color="gray",arrowhead="none"]
+WD_prov_dm_20111215 -> edit1 []
+edit1 -> Luc []
+edit1 -> Paolo []
+edit1 -> Khalid []
+edit1 -> Stephen []
+edit1 -> Yolanda []
+edit1 -> Ryan []
+edit1 -> Paul []
+edit1 -> Graham []
+edit1 -> Jim []
+edit1 -> Simon []
+edit1 -> James []
+edit1 -> Satya []
+}
Binary file model/examples/w3cpub/w3c-publication3.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3c-publication3.prov-asn	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,46 @@
+
+
+container
+
+prefix ex <http://example.org/>
+prefix rec <http://example.org/record>
+
+prefix w3 <http://www.w3.org/TR/2011/>
+
+
+entity(w3:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
+
+
+agent(ex:Luc, [ prov:type="Person" ])
+agent(ex:Paolo, [ prov:type="Person" ])
+agent(ex:Khalid, [ prov:type="Person" ])
+agent(ex:Stephen, [ prov:type="Person" ])
+agent(ex:Yolanda, [ prov:type="Person" ])
+agent(ex:Ryan, [ prov:type="Person" ])
+agent(ex:Paul, [ prov:type="Person" ])
+agent(ex:Graham, [ prov:type="Person" ])
+agent(ex:Jim, [ prov:type="Person" ])
+agent(ex:Simon, [ prov:type="Person" ])
+agent(ex:James, [ prov:type="Person" ])
+agent(ex:Satya, [ prov:type="Person" ])
+
+activity(ex:edit1,,,[prov:type="edit"])
+
+wasGeneratedBy(w3:WD-prov-dm-20111215, ex:edit1)
+
+
+
+wasAssociatedWith(ex:edit1, ex:Luc, [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Paolo, [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Khalid, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Stephen, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Yolanda, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Ryan, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Paul, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Graham, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Jim, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Simon, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:James, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Satya, [prov:role="contributor"])
+
+endContainer
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/w3cpub/w3cpub.txt	Fri Jan 13 00:58:16 2012 +0000
@@ -0,0 +1,76 @@
+
+This example describes the provenance of the prov-dm (version 2)
+document http://www.w3.org/TR/2011/WD-prov-dm-20111215
+
+Three different accounts exist
+
+1. Account 1: the W3C view
+This account contains the kind of provenance records that
+W3C could keep, for auditors to check that due processes are followed.
+
+In this account, we see that
+- WD-prov-dm-20111215 was derived from WD-prov-dm-20111018
+- both WD-prov-dm-20111215 and WD-prov-dm-20111018 were published by the w3c agent
+- the publication activity for WD-prov-dm-20111215 used a publication request (req3)
+- the publication activity for WD-prov-dm-20111018 used another publication request (req2)
+  and a transition request (req1)
+- publications were according to the process rules (a plan).
+
+
+
+2. Account 2: the Web master view
+This account contains the kind of provenance records that a webmaster
+could keep.
+
+In this account, we see that
+- WD-prov-dm-20111215 was derived from Overview.html in the mercurial repo
+- WD-prov-dm-20111215 is the result of copying file(s) to the remote web server
+- webmaster was involved
+- and did all this on the basis of the publication request (req3)
+- the publication activity for WD-prov-dm-20111215 used a publication request
+- the publication activity for WD-prov-dm-20111018 used another publication request
+  and a transition request
+
+
+3. Account 3: the authors view.  
+  That's what each author could keep (for instance, to write in their CV).
+- the document WD-prov-dm-20111215 was co-edited by a set of authors, with various roles
+
+
+To illustrate this example, written the three accounts in three separate asn files:
+
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication1.prov-asn
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication2.prov-asn
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication3.prov-asn
+
+A simple visualization of these accounts may be as follows.
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication1.pdf
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication2.pdf
+http://dvcs.w3.org/hg/prov/raw-file/default/model/examples/w3cpub/w3c-publication3.pdf
+
+
+In this example, each WD is identified by a URI
+http://www.w3.org/TR/2011/WD-prov-dm-20111215
+http://www.w3.org/TR/2011/WD-prov-dm-20111018/
+
+The entity records in the different accounts have different attribute
+and different values.
+
+In account 1, the type that matters for the W3C process is that it is a Working Draft.
+entity(w3:WD-prov-dm-20111215, [ prov:type="WD" ])
+
+In account 2, the type that matters for the W3C master is that it is an html4 document.
+entity(w3:WD-prov-dm-20111215, [ prov:type="html4" ])
+
+In account 3, the authors know this the second version of the prov-dm report.
+Hence, the entity record has the following shape.
+entity(w3:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
+
+When in account 1, we write
+wasGeneratedBy(w3:WD-prov-dm-20111215, ex:pub2)
+we really mean to refer to the record of WD-prov-dm-20111215 in the same account,
+it would not make sense to say ex:pub2 generated WD-prov-dm-20111215 in account 3.
+
+In Account 2, there is a further example that uses record identifiers. In this
+derivation, we need to identify the generation and usage.
+wasDerivedFrom(w3:WD-prov-dm-20111215,hg:Overview.html, ex:rcp, rec:g, rec:u)