--- a/model/ProvenanceModel.html Thu Aug 04 11:56:19 2011 +0100
+++ b/model/ProvenanceModel.html Thu Aug 04 11:57:20 2011 +0100
@@ -307,7 +307,7 @@
<div class='issue'>The name of the language still has to be decided by the WG. This is <a href="http://www.w3.org/2011/prov/track/issues/31">ISSUE-31</a></div>
-<div class='issue'>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='pending'>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
@@ -352,25 +352,29 @@
<div class='note'>Can this be enforced formally?</div>
<p>
-This specification does not prescribe the means by which assertions are made, for example on the basis of observations, inferences, or any other means.
+This specification does not prescribe the means by an asserter arrives at assertions, for example on the basis of observations, inferences, or any other means.
</p>
-<p>The data model includes a notion of "provenance container" that
- is a logical grouping of a set of assertion. It serves multiple purposes.
-First, it provides a way to attach various metadata to the set of assertions.
-Second, it provides a default scope for identifiers used in assertions.
-This means that identifiers are expected to be resolvable only within the scope of a container, rather than globally. Optionally, identifiers can be exported so that they can be used outside their default scope.
-Finally, the data model does not prescribe the mechanisms by which identifiers are generated.</p>
+<p>The data model includes a notion of "provenance container" that is
+ a logical grouping for a set of assertions. It serves multiple
+ purposes. First, it provides a way to attach various metadata to the
+ set of assertions. Second, it provides a default scope for
+ identifiers used in assertions. This means that identifiers are
+ expected to be resolvable only within the scope of a container,
+ rather than globally. Optionally, identifiers can be exported so that
+ they can be used outside their default scope. Finally, the data
+ model does not prescribe the mechanisms by which identifiers are
+ generated.</p>
-<p>In this specification, when an assertion is defined to refer to another assertion about something, it does so by means of that thing's identifier.<p>
-<div class='note'>This occurrence of thing should be changed.</div>
<p>
Sometimes, inferences about the world can be made from assertions of the provenance data model. When this is the case, this specification defines such inferences.
</p>
+<p> In this specification, the qualifier 'identifiable' is implicit whenever a reference is made to an activity or characterized thing.</p>
+
</section>
@@ -408,8 +412,8 @@
</p>
-<p>An entity assertion MUST describe a characterized thing over a continuous time interval in the world (which may collapse into a single instant).
-Characterizing a thing over multiple time intervals requires multiple entity assertions, each with its own identifier. Some attributes may retain their values across multiple assertions.</p>
+<p>An entity assertion MUST describe a characterized thing over a continuous interval between two events in the world (which may collapse into a single instant).
+Characterizing a thing over multiple intervals requires multiple entity assertions, each with its own identifier. Some attributes may retain their values across multiple assertions.</p>
<p>There is no assumption that the set of attributes is complete and
that the attributes are independent/orthogonal of each other.</p>
@@ -418,7 +422,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='issue'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</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'>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>
@@ -448,10 +452,14 @@
</pre>
</p>
+<p>A process execution is not an entity, because ... </p>
+<div class='note'>Formulate justification. We shouldn't adopt FRBR definitions. </div>
+
+
<p>From the assertion of a process execution, one can infer that the start precedes the end of the represented activity. </p>
-<div class='issue'>Should process execution be defined as a subclass of BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/66">ISSUE-66</a>.</div>
+<div class='pending'>Should process execution be defined as a subclass of BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/66">ISSUE-66</a>.</div>
</section>
<section id="concept-Generation">
@@ -481,8 +489,11 @@
<p>A given entity can be generated at most by one process execution.</p>
-<p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, the
-activity denoted by <b>pe</b> and the entities used by <b>pe</b> dermine values of some of <b>x</b>'s attributes.</p>
+<p>Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
+if the assertion <b>isGeneratedBy(e,pe,r)</b>
+or <b>isGeneratedBy(e,pe,r,t)</b> holds, the values of some of <b>e</b>'s
+attributes are determined by the activity denoted by <b>pe</b> and the
+entities used by <b>pe</b>.</p>
<p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, one can
infer that the generation of the thing denoted by <b>x</b> precedes the end
@@ -490,7 +501,7 @@
</p>
-<div class='issue'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a></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='issue'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>