--- a/model/ProvenanceModel.html Thu Aug 04 11:10:10 2011 +0100
+++ b/model/ProvenanceModel.html Thu Aug 04 11:17:37 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,21 +352,23 @@
<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>