--- a/model/ProvenanceModel.html Wed Aug 24 21:37:37 2011 -0400
+++ b/model/ProvenanceModel.html Tue Aug 30 08:40:52 2011 +0200
@@ -114,7 +114,9 @@
<div class='pending'>Alter example to cater for multiple ivpOf. This is <a href="http://www.w3.org/2011/prov/track/issues/33">ISSUE-33</a>.</div>
-<div class='pending'>Some comments on the example. This is <a href="http://www.w3.org/2011/prov/track/issues/63">ISSUE-63</a>.</div>
+<div class='resolved'>Some comments on the example. This is <a href="http://www.w3.org/2011/prov/track/issues/63">ISSUE-63</a>.</div>
+
+<div class='issue'>Comments on section 3.2. This is <a href="http://www.w3.org/2011/prov/track/issues/71">ISSUE-71</a></div>
<section>
<h3>A File Scenario</h3>
@@ -141,7 +143,7 @@
</p>
<p>Event evt3: Charles emails (pe2) the contents of /share/crime.txt, as an
-attachment, which we refer to as e4.
+attachment, which we refer to as e4. (Our description is not precise about the nature of e4, it could be a copy of the file that is local the mail client, that is uploaded on the mail server, or even in transit to a recipient.)
</p>
<p>
@@ -179,10 +181,10 @@
</p>
-<p>The entities, as characterized, hold during intervals delimited by events. The following table lists all entities and their corresponding validity intervals; evt5 is considered to be the most recent event.
+<p>The entities are characterized by attributes that have given values during intervals delimited by events; such intervals are referred to as <em>characterization intervals</em>. The following table lists all entities and their corresponding characterization intervals; evt5 is considered to be the most recent event.
<blockquote>
<table>
-<tr><td>Entity</td><td>Interval</td></tr>
+<tr><td>Entity</td><td>Characterization Interval</td></tr>
<tr><td>e0</td><td>evt1 - evt5</td></tr>
<tr><td>e1</td><td>evt1 - evt2</td></tr>
<tr><td>e2</td><td>evt2 - evt4</td></tr>
@@ -217,7 +219,7 @@
</p>
<p>
-Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the various entities generated by a given process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
+Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the function that the various entities generated by a given process execution have in the context of this process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
<pre>
isGeneratedBy(e0,pe0,outFile)
isGeneratedBy(e1,pe0,outContent)
@@ -278,11 +280,11 @@
<p>
Control (construct described in <a href="#concept-Control">Section Control</a>): the influence of an agent over a process execution is expressed as control, and the nature of this influence is described by a role (construct described in <a href="#concept-Role">Section Role</a>). Illustrations of such roles are creator, author and communicator.
<pre>
-isControlledBy(pe0,e7, creator)
-isControlledBy(pe1,e8, author)
-isControlledBy(pe2,e9, communicator)
-isControlledBy(pe3,e10, author)
-isControlledBy(pe4,e11, communicator)
+isControlledBy(pe0,a1, creator)
+isControlledBy(pe1,a2, author)
+isControlledBy(pe2,a3, communicator)
+isControlledBy(pe3,a4, author)
+isControlledBy(pe4,a5, communicator)
</pre>
</p>
</section>
@@ -307,7 +309,7 @@
<div class='issue'>The name of the data model still has to be decided by the WG. Current placeholder name is PIDM. This is <a href="http://www.w3.org/2011/prov/track/issues/31">ISSUE-31</a></div>
-<div class='pending'>Data model vs Language. Misc comments raised at <a href="http://www.w3.org/2011/prov/track/issues/62">ISSUE-62</a></div>
+<div class='resolved'>Data model vs Language. Misc comments raised at <a href="http://www.w3.org/2011/prov/track/issues/62">ISSUE-62</a></div>
<p>In the world (whether real or not), there are things, which can be
physical, digital, conceptual, or otherwise, and activities involving
@@ -423,7 +425,7 @@
<div class='issue'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
-<div class='pending'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</a>.</div>
+<div class='resolved'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</a>.</div>
<div class='resolved'>The name <b>entity</b> is used as a replacement for placeholder BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/30">ISSUE-30</a>.</div>
@@ -518,11 +520,11 @@
</div>
-<div class='pending'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
+<div class='resolved'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
-<div class='pending'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
+<div class='resolved'>Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
-<div class='pending'> Added justification for generation by a single process <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+<div class='resolved'> Added justification for generation by a single process <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
@@ -533,7 +535,7 @@
<section id="concept-Use">
<h3>Use</h3>
-<div class='pending'>Various comments raised at <a href="http://www.w3.org/2011/prov/track/issues/64">ISSUE-64</a>.</div>
+<div class='resolved'>Various comments raised at <a href="http://www.w3.org/2011/prov/track/issues/64">ISSUE-64</a>.</div>
<p><dfn id="dfn-Use">Use</dfn> represents the consumption of a characterized thing by an activity.</p>
@@ -782,9 +784,9 @@
<div class='issue'>Should we specifically mention derivation of agents? This is <a href="http://www.w3.org/2011/prov/track/issues/42">ISSUE-42</a>.</div>
-<div class='pending'> Transitivity does not seem to follow from above definition. This is <a href="http://www.w3.org/2011/prov/track/issues/56">ISSUE-56</a>.</div>
+<div class='resolved'> Transitivity does not seem to follow from above definition. This is <a href="http://www.w3.org/2011/prov/track/issues/56">ISSUE-56</a>.</div>
-<div class='pending'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once. Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+<div class='resolved'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once. Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
</section>
@@ -922,7 +924,7 @@
<p>It is OPTIONAL to assert time in use, generation, and process execution.</p>
-<div class='pending'> Is it appropriate to refer to ISO8601. Point in Time, Interval? This is <a href="http://www.w3.org/2011/prov/track/issues/58">ISSUE-58</a>.</div>
+<div class='resolved'> Is it appropriate to refer to ISO8601. Point in Time, Interval? This is <a href="http://www.w3.org/2011/prov/track/issues/58">ISSUE-58</a>.</div>
<section>
<h4>Temporal Events</h4>
@@ -994,7 +996,7 @@
<p> The set of all Use (resp. Generation, Control) assertions that refer to a given process execution MUST contain at most one occurrence of a given role. The rationale for this requirement is that when provenance is used to replay execution, roles are used to determine which values must be associated with which input (resp. output, control channel) of a process execution.</p>
-<div class='pending'>Decide the level of requirements: MUST/SHOULD and justify. This is <a href="http://www.w3.org/2011/prov/track/issues/40">ISSUE-40</a> and <a href="http://www.w3.org/2011/prov/track/issues/41">ISSUE-41</a>. MUST is confirmed. </div>
+<div class='resolved'>Decide the level of requirements: MUST/SHOULD and justify. This is <a href="http://www.w3.org/2011/prov/track/issues/40">ISSUE-40</a> and <a href="http://www.w3.org/2011/prov/track/issues/41">ISSUE-41</a>. MUST is confirmed. </div>
<p>The interpretation of a role is specific to the process execution it relates
@@ -1014,7 +1016,6 @@
<p><dfn id="dfn-Location">Location</dfn> is an identifiable geographic place (ISO 19112). As such, there are numerous ways in which location can be specified, such as by a coordinate, address, landmark, row, column, and so forth.</p>
-
<p>
Location is an OPTIONAL characteristics of
entity, process execution, and agent.
@@ -1087,7 +1088,7 @@
<div class='pending'>Revision should be a class not a property. This is <a href="http://www.w3.org/2011/prov/track/issues/48">ISSUE-48</a>.</div>
-<div class='pending'> What's the difference with derivation? Is it necessary? This is <a href="http://www.w3.org/2011/prov/track/issues/61">ISSUE-61</a>.</div>
+<div class='resolved'> What's the difference with derivation? Is it necessary? This is <a href="http://www.w3.org/2011/prov/track/issues/61">ISSUE-61</a>.</div>
</section>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/container-example.pasn Tue Aug 30 08:40:52 2011 +0200
@@ -0,0 +1,89 @@
+
+provenanceContainer(id1, ;;; <- container identifier
+
+
+
+ hasProvenance:
+ provenanceContainer(id2, ;;; <- no provenance for container id2
+ statements: {
+ entity(id1) ;;; <- container seen as a entity
+ isGeneratedBy(id1,p,out)
+
+ 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
+ }
+
+
+ statements: {
+
+ 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.", disclaimer: "some text" ])
+
+
+ isDerivedFrom(e2,e1)
+ isDerivedFrom(e3,e2)
+ isDerivedFrom(e4,e2)
+ isDerivedFrom(e5,e3)
+
+ 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)
+
+
+ isGeneratedBy(e0,pe0,outFile)
+ isGeneratedBy(e1,pe0,outContent)
+ isGeneratedBy(e2,pe1,out)
+ isGeneratedBy(e3,pe3,out)
+ isGeneratedBy(e4,pe2,attachment)
+ isGeneratedBy(e5,pe4,attachment)
+ isGeneratedBy(e6,pe5,out)
+
+ uses(pe1,e1,in)
+ uses(pe3,e2,in)
+ uses(pe2,e2,in)
+ uses(pe4,e3,in)
+ uses(pe5,e3,fileIn)
+
+ isComplementOf(e1,e0)
+ isComplementOf(e2,e0)
+ isComplementOf(e3,e0)
+ isComplementOf(e6,e3)
+
+ entity(a1, [ type: "Person", name: "Alice" ])
+ agent(a1)
+
+ entity(a2, [ type: "Person", name: "Bob" ])
+ agent(a2)
+
+ entity(a3, [ type: "Person", name: "Charles" ])
+ agent(a3)
+
+ entity(a4, [ type: "Person", name: "David" ])
+ agent(a4)
+
+ entity(a5, [ type: "Person", name: "Edith" ])
+ agent(a5)
+
+ isControlledBy(pe0,a1, creator)
+ isControlledBy(pe1,a2, author)
+ isControlledBy(pe2,a3, communicator)
+ isControlledBy(pe3,a4, author)
+ isControlledBy(pe4,a5, communicator)
+
+
+ }
+
+)
+
+
--- a/model/container-example.txt Wed Aug 24 21:37:37 2011 -0400
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,77 +0,0 @@
-
-provenanceContainer(id, ;;; <- container identifier (global scope?)
-
-
-
- hasProvenance: {
- bob(id, [ type:"ProvenanceContainer" ]) ;;; <- container seen as a bob
- isGeneratedBy(id,p,out)
- processExecution(p,assert,"07-28-2011:10.38am") ;;; <- time of assertion
-
- bob(ag_luc, [ type: "Person", name: "Luc" ]) ;;; <- luc is an agent
- agent(ag_luc)
- isControlledBy(p,ag_luc,"asserter") ;;; <- luc is the asserter
- }
-
-
- statements: {
-
- bob(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
- bob(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
- bob(e2, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London last month."])
- bob(e3, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month."])
- bob(e4)
- bob(e5)
- bob(e6, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month.", disclaimer: "some text" ])
-
-
- isDerivedFrom(e2,e1)
- isDerivedFrom(e3,e2)
- isDerivedFrom(e4,e2)
- isDerivedFrom(e5,e3)
-
- isGeneratedBy(e0,pe0,out)
- isGeneratedBy(e1,pe0,out)
- isGeneratedBy(e2,pe1,out)
- isGeneratedBy(e3,pe3,out)
- isGeneratedBy(e4,pe2,out)
- isGeneratedBy(e5,pe4,out)
-
- uses(pe1,e1,in)
- uses(pe3,e2,in)
- uses(pe2,e2,in)
- uses(pe4,e3,in)
-
- processExecution(pe0,create-file,t)
- processExecution(pe1,add-crime-in-london,t+1)
- processExecution(pe2,copy,t+2)
- processExecution(pe3,edit-London-New-York,t+3)
- processExecution(pe4,copy,t+4)
-
- ivpOf(e1,e0)
- ivpOf(e2,e0)
- ivpOf(e3,e0)
- ivpOf(e6,e3)
-
- bob(ag_al, [ type: "Person", name: "Alice" ])
- agent(ag_al)
- bob(ag_bo, [ type: "Person", name: "Bob" ])
- agent(ag_bo)
- bob(ag_ch, [ type: "Person", name: "Charles" ])
- agent(ag_ch)
- bob(ag_da, [ type: "Person", name: "David" ])
- agent(ag_da)
- bob(ag_ed, [ type: "Person", name: "Edith" ])
- agent(ag_ed)
- isControlledBy(pe0,ag_al,"creator")
- isControlledBy(pe1,ag_bo,"author")
- isControlledBy(pe2,ag_ch, "communicator")
- isControlledBy(pe3,ag_da,"author")
- isControlledBy(pe4,ag_ed, "communicator")
-
-
- }
-
-)
-
-
--- a/ontology/ProvenanceFormalModel.html Wed Aug 24 21:37:37 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html Tue Aug 30 08:40:52 2011 +0200
@@ -117,22 +117,22 @@
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#e2">
<rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Entity"/>
- <cf:isGeneratedBy>
+ <po:isGeneratedBy>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe1">
<rdf:type rdf:resource="http://www.w3.org/2011/prov/crimefile#FileAppend"/>
- <cf:isControlledBy>
+ <po:isControlledBy>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#Bob">
<rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Agent"/>
</rdf:Description>
- </cf:isControlledBy>
+ </po:isControlledBy>
</rdf:Description>
- </cf:isGeneratedBy>
- <cf:isDerivedFrom rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ </po:isGeneratedBy>
+ <po:isDerivedFrom rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
<cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
<cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There was a lot of crime in London last month.</cf:hasFileContent>
</rdf:Description>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe1">
- <cf:Used rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ <po:Used rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
</rdf:Description>
</rdf:RDF>
</pre>