section 4
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 04 Aug 2011 11:17:37 +0100
changeset 98 f2a3bc073ae9
parent 97 8ed097d2f610
child 99 34a6f870d953
section 4
model/ProvenanceModel.html
--- 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>