fixed sentence about bundle nesting. Restaged prov-n/c
--- a/model/diff-c.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/diff-c.html Wed Feb 20 21:54:18 2013 +0000
@@ -914,7 +914,7 @@
</section><section id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br>
-</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno">B. </span>Changes <span class="delete">since last</span><span class="insert">from Last Call Working Draft to Candidate Recommendation</span></a></li><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno"><span class="insert">C. </span></span><span class="insert">Changes from Candidate Recommendation to this</span> version</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">D.</span><span class="insert">E.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">D.1</span><span class="insert">E.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">D.2</span><span class="insert">E.2</span> </span>Informative references</a></li></ul></li></ul></section>
+</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#change-log" class="tocxref"><span class="secno">B. </span><span class="insert">Change Log</span></a><ul class="toc"><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno"><span class="insert">B.1 </span></span>Changes <span class="delete">since last</span><span class="insert">from Candidate Recommendation to this</span> version</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno"><span class="insert">B.2 </span></span><span class="insert">Changes from Last Call Working Draft to Candidate Recommendation</span></a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">C. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">D. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">D.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">D.2 </span>Informative references</a></li></ul></li></ul></section>
@@ -966,8 +966,8 @@
<p>The PROV Data Model, PROV-DM, is a conceptual data model for provenance, which is
realizable using different representations such as PROV-N and PROV-O.
A <dfn id="dfn-prov-instance">PROV instance</dfn> is a set of PROV statements.
-A <dfn id="dfn-prov-document">PROV document</dfn> is an instance
-together with zero or more <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a>, or named instances. For
+A <dfn id="dfn-prov-document">PROV document<span class="delete"> is</span></dfn><span class="insert"> consists of</span> an <span class="insert">anonymous instance, called the </span><dfn id="dfn-toplevel-instance"><span class="insert">toplevel </span>instance</dfn><span class="insert">,</span>
+together with zero or more <span class="insert">named instances, called </span><dfn title="bundle" id="dfn-bundle">bundles<span class="delete">, or named instances.</span></dfn><span class="insert">.</span> For
example, a PROV document could be a .provn document, the result
of a query, a triple store containing PROV statements in RDF, etc.
The
@@ -4710,11 +4710,11 @@
the resulting notions of normalization, validity and equivalence,
work on a single PROV instance. In this
section, we describe how to deal with general PROV
-documents, possibly including multiple named <dfn title="bundle" id="dfn-bundle">bundles as well as a
-<dfn id="dfn-toplevel-instance">toplevel <span class="delete">instance.</span><span class="insert">instance</span></dfn><span class="insert">.</span> Briefly, each bundle is
+documents, possibly including multiple named <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a> as well as a
+<a href="#dfn-toplevel-instance" class="internalDFN">toplevel <span class="delete">instance.</span><span class="insert">instance</span></a><span class="insert">.</span> Briefly, each bundle is
handled independently; there is no interaction between bundles from
the perspective of applying definitions, inferences, or constraints,
-computing normal forms, or checking validity or equivalence.</dfn></p>
+computing normal forms, or checking validity or equivalence.</p>
<p> We model a general PROV document, containing <span class="name">n</span> named bundles
<span class="name">b<sub>1</sub>...b<sub>n</sub></span>, as a tuple
@@ -4944,144 +4944,103 @@
</p>
</section>
-<section class="appendix" id="changes-from-last-call-working-draft-to-candidate-recommendation">
- <h2><span class="secno">B. </span>Changes <span class="delete">since last</span><span class="insert">from Last Call Working Draft to Candidate Recommendation</span></h2>
- <p><span class="insert"> Please see the </span><a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments"><span class="insert">
- Responses to Public Comments on the Last Call Working Draft</span></a><span class="insert">
- for more details about the justification of these changes.</span></p>
-
-<ul>
- <li><span class="insert">Abstract: clarified that term "validity" is analogous to other
- notions of validity in Web standards. </span></li>
- <li><span class="insert">Added bullet point linking to PROV-SEM under "How to read the
- PROV family of specifications"</span></li>
- <li><span class="insert">Revised sec. 1.2 to clarify terminology (validity), emphasize
- that any implementation equivalent to the procedural specification
- is compliant, and clarify that treating "equivalent instances in the
- same way" is a guideline.</span></li>
- <li><span class="insert">Added paragraph to sec 2.4 to clarify the purpose of the section.</span></li>
- <li><span class="insert">Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</span></li>
- <li><span class="insert">Sec. 2.4 "Applying definitions, inferences and constraints":
- Updated merging to unification and added paragraph reinforcing that
- compliance is algorithm independent</span></li>
- <li><span class="insert">Sec. 2.4 "Checking ordering, typing and impossibility
- constraints": Avoided use of the term "satisfies".</span></li>
- <li><span class="insert">Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
- be defined on all instances, valid or not. Removed analogy to RDF.</span></li>
- <li><span class="insert">Sec. 2.4 "From Instances to Bundles and Documents": Revised to
- avoid giving the impression that toplevel instances must be disjoint
- from bundles; removed reference to RDF.</span></li>
- <li><span class="insert">Sec. 3. Clarified and reinforced algorithm independence.</span></li>
- <li><span class="insert">Sec. 4. Added clarifying remark about role of definitions.</span></li>
- <li><span class="insert">Sec. 4. Avoided reference to RDF, minor clarifications to
- discussion of existential variables. </span></li>
- <li><span class="insert">Sec. 4.1. Spelling correction.</span></li>
- <li><span class="insert">Sec. 4.4. Merging -> unification</span></li>
- <li><span class="insert">Sec. 5. Merging -> unification terminology change. Added
- declarative definition of unification. Clarified
- procedural definition. Removed definition of merging of attribute
- lists. Updated descriptions of uniqueness and key constraint application.</span></li>
- <li><span class="insert">Constraint 23. Renamed e, a, ag to id.</span></li>
- <li><span class="insert">Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</span></li>
- <li><span class="insert">Sec. 5.2. Spelling</span></li>
- <li><span class="insert">Sec. 5.2, just before constraint 51: updated text to accurately
- describe constraint.</span></li>
- <li><span class="insert">Sec. 6. Merging -> unification. Updated definition of validity
- to avoid referring to "satisfies". Explicitly defined isomorphism
- of instances. Broadened the definition of equivalence so that it is
- allowed to test arbitrary instances for equivalence. Reinforce the
- intention of the guideline that applications treat equivalent
- instances "in the same way".</span></li>
- <li><span class="insert">Dropped RDF as a normative reference.</span></li>
- <li><span class="insert">Made PROV-DM and PROV-N into normative references.</span></li>
- <li><span class="insert">Added "document" and "endDocument" to sec. 6.2.</span></li>
- <li><span class="insert">Added sentence of explanation of purpose to beginning.</span></li>
- <li><span class="insert">Moved "mention" to a separate note. </span></li>
- <li><span class="insert">Added </span><a href="#concepts"><span class="insert">Section 4: Basic Concepts</span></a><span class="insert">.</span></li>
- <li><span class="insert">Miscellaneous final cleanup prior to CR staging.</span></li>
-</ul>
-
-</section>
+
+ <section class="appendix" id="change-log">
+ <h2><span class="secno">B. </span><span class="insert">Change Log</span></h2>
<section class="appendix" id="changes-from-candidate-recommendation-to-this-version">
- <h2><span class="secno"><span class="insert">C. </span></span><span class="insert">Changes from Candidate Recommendation to this</span> version</h2>
- <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
- Responses to Public Comments on the <span class="delete">Last Call Working Draft</span><span class="insert">Candidate Recommendation</span></a>
- for more details about the justification of these changes.</p>
-
-
+ <h3><span class="secno"><span class="insert">B.1 </span></span>Changes <span class="delete">since last</span><span class="insert">from Candidate Recommendation to this</span> version</h3>
+ <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR"><span class="insert">
+ Responses to Public Comments on the Candidate Recommendation</span></a><span class="insert">
+ for more details about the justification of these changes.</span></p>
<ul>
- <span class="delete">Abstract: clarified that term "validity" is analogous to other
- notions of validity in Web standards. </span>
- <li>Added <span class="delete">bullet point linking to PROV-SEM under "How to read the
- PROV family of specifications"</span><span class="insert">clarification concerning constraint
+ <li><span class="insert"> Reworded description of toplevel instance and
+ bundles to provide a clearer restatement in one place (</span><a href="#purpose"><span class="insert">Sec. 1.2</span></a><span class="insert">)</span></li>
+ <li><span class="insert">Fixed a number of broken links from definition references to definitions</span></li>
+ <li><span class="insert">Updated the </span><a href="#sotd"><span class="insert">Status of This Document</span></a><span class="insert"> to describe proposed recommendation
+ status and updated references to other PR-stage PROV documents</span></li>
+ <li><span class="insert">Added clarification concerning constraint
</span><a href="#wasAssociatedWith-ordering"><span class="insert">wasAssociatedWith-ordering</span></a><span class="insert"> (issue-615).</span></li>
- <span class="delete">Revised sec. 1.2 to clarify terminology (validity), emphasize
- that any implementation equivalent to the procedural specification
- is compliant, and clarify that treating "equivalent instances in the
- same way" is a guideline.</span>
-
- <li>Added <span class="delete">paragraph</span><span class="insert">underscores</span> to <span class="delete">sec 2.4</span><span class="insert">some variables in inferences </span><a href="#wasStartedBy-inference"><span class="insert">9</span></a><span class="insert">, </span><a href="#wasEndedBy-inference"><span class="insert">10</span></a><span class="insert">,
+ <li><span class="insert">Added underscores to some variables in inferences </span><a href="#wasStartedBy-inference"><span class="insert">9</span></a><span class="insert">, </span><a href="#wasEndedBy-inference"><span class="insert">10</span></a><span class="insert">,
</span><a href="#influence-inference"><span class="insert">15</span></a><span class="insert"> (issue-611).</span></li>
<li><span class="insert">Corrected a typo in the name </span><span class="name"><span class="insert">hadMember</span></span><span class="insert"> in </span><a href=""><span class="insert">constraint 56</span></a><span class="insert">
(issue-611).
</span></li>
<li><span class="insert">Clarified that existential variables are scoped at the
- instance level, not statement level, thus it is correct</span> to <span class="delete">clarify the purpose of the section.</span><span class="insert">apply
+ instance level, not statement level, thus it is correct to apply
uniqueness constraints by substituting variables through an
instance (issue-611). (Remark at the end of </span><a href="#concepts"><span class="insert">section
4. Basic concepts</span></a><span class="insert">, and clarified discussion in </span><a href="#overview"><span class="insert">Validation Process Overview</span></a><span class="insert">)</span></li>
-
- <li><span class="delete">Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</span><span class="insert">Gave equivalent form of </span><a href="#optional-attributes"><span class="insert">Definition 2</span></a><span class="insert"> (issue-611).</span></li>
- <span class="delete">Sec. 2.4 "Applying definitions, inferences and constraints":
+ <li><span class="insert">Gave equivalent form of </span><a href="#optional-attributes"><span class="insert">Definition 2</span></a><span class="insert"> (issue-611).</span></li>
+</ul>
+</section>
+
+ <section id="changes-from-last-call-working-draft-to-candidate-recommendation">
+ <h3><span class="secno"><span class="insert">B.2 </span></span><span class="insert">Changes from Last Call Working Draft to Candidate Recommendation</span></h3>
+ <p><span class="insert"> Please see the </span><a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
+ Responses to Public Comments on the Last Call Working Draft</a>
+ for more details about the justification of these changes.</p>
+
+<ul>
+ <li>Abstract: clarified that term "validity" is analogous to other
+ notions of validity in Web standards. </li>
+ <li>Added bullet point linking to PROV-SEM under "How to read the
+ PROV family of specifications"</li>
+ <li>Revised sec. 1.2 to clarify terminology (validity), emphasize
+ that any implementation equivalent to the procedural specification
+ is compliant, and clarify that treating "equivalent instances in the
+ same way" is a guideline.</li>
+ <li>Added paragraph to sec 2.4 to clarify the purpose of the section.</li>
+ <li>Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</li>
+ <li>Sec. 2.4 "Applying definitions, inferences and constraints":
Updated merging to unification and added paragraph reinforcing that
- compliance is algorithm independent</span>
- <span class="delete">Sec. 2.4 "Checking ordering, typing and impossibility
- constraints": Avoided use of the term "satisfies".</span>
- <span class="delete">Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
- be defined on all instances, valid or not. Removed analogy to RDF.</span>
- <span class="delete">Sec. 2.4 "From Instances to Bundles and Documents": Revised to
+ compliance is algorithm independent</li>
+ <li>Sec. 2.4 "Checking ordering, typing and impossibility
+ constraints": Avoided use of the term "satisfies".</li>
+ <li>Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
+ be defined on all instances, valid or not. Removed analogy to RDF.</li>
+ <li>Sec. 2.4 "From Instances to Bundles and Documents": Revised to
avoid giving the impression that toplevel instances must be disjoint
- from bundles; removed reference to RDF.</span>
- <span class="delete">Sec. 3. Clarified and reinforced algorithm independence.</span>
- <span class="delete">Sec. 4. Added clarifying remark about role of definitions.</span>
- <span class="delete">Sec. 4. Avoided reference to RDF, minor clarifications to
- discussion of existential variables. </span>
- <span class="delete">Sec. 4.1. Spelling correction.</span>
- <span class="delete">Sec. 4.4. Merging -> unification</span>
- <span class="delete">Sec. 5. Merging -> unification terminology change. Added
+ from bundles; removed reference to RDF.</li>
+ <li>Sec. 3. Clarified and reinforced algorithm independence.</li>
+ <li>Sec. 4. Added clarifying remark about role of definitions.</li>
+ <li>Sec. 4. Avoided reference to RDF, minor clarifications to
+ discussion of existential variables. </li>
+ <li>Sec. 4.1. Spelling correction.</li>
+ <li>Sec. 4.4. Merging -> unification</li>
+ <li>Sec. 5. Merging -> unification terminology change. Added
declarative definition of unification. Clarified
procedural definition. Removed definition of merging of attribute
- lists. Updated descriptions of uniqueness and key constraint application.</span>
- <span class="delete">Constraint 23. Renamed e, a, ag to id.</span>
- <span class="delete">Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</span>
- <span class="delete">Sec. 5.2. Spelling</span>
- <span class="delete">Sec. 5.2, just before constraint 51: updated text to accurately
- describe constraint.</span>
- <span class="delete">Sec. 6. Merging -> unification. Updated definition of validity
+ lists. Updated descriptions of uniqueness and key constraint application.</li>
+ <li>Constraint 23. Renamed e, a, ag to id.</li>
+ <li>Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</li>
+ <li>Sec. 5.2. Spelling</li>
+ <li>Sec. 5.2, just before constraint 51: updated text to accurately
+ describe constraint.</li>
+ <li>Sec. 6. Merging -> unification. Updated definition of validity
to avoid referring to "satisfies". Explicitly defined isomorphism
of instances. Broadened the definition of equivalence so that it is
allowed to test arbitrary instances for equivalence. Reinforce the
intention of the guideline that applications treat equivalent
- instances "in the same way".</span>
- <span class="delete">Dropped RDF as a normative reference.</span>
- <span class="delete">Made PROV-DM and PROV-N into normative references.</span>
- <span class="delete">Added "document" and "endDocument" to sec. 6.2.</span>
- <span class="delete">Added sentence of explanation of purpose to beginning.</span>
- <span class="delete">Moved "mention" to a separate note. </span>
- <span class="delete">Added </span><span class="delete">Section 4: Basic Concepts</span><span class="delete">.</span>
- <span class="delete">Miscellaneous final cleanup prior to CR staging.</span>
+ instances "in the same way".</li>
+ <li>Dropped RDF as a normative reference.</li>
+ <li>Made PROV-DM and PROV-N into normative references.</li>
+ <li>Added "document" and "endDocument" to sec. 6.2.</li>
+ <li>Added sentence of explanation of purpose to beginning.</li>
+ <li>Moved "mention" to a separate note. </li>
+ <li>Added <a href="#concepts">Section 4: Basic Concepts</a>.</li>
+ <li>Miscellaneous final cleanup prior to CR staging.</li>
</ul>
-
-
</section>
+</section>
+
<section class="appendix" id="acknowledgements">
- <h2><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>Acknowledgements</h2>
+ <h2><span class="secno">C. </span>Acknowledgements</h2>
<p>
This document has been produced by the Provenance Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr>), Paul Groth, Tim Lebo, Simon Miles, Stian Soiland-Reyes, for their thorough reviews.
@@ -5242,13 +5201,13 @@
-<section id="references" class="appendix"><h2><span class="secno"><span class="delete">D.</span><span class="insert">E.</span> </span>References</h2><section id="normative-references"><h3><span class="secno"><span class="delete">D.1</span><span class="insert">E.1</span> </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</span></a>
+<section id="references" class="appendix"><h2><span class="secno">D. </span>References</h2><section id="normative-references"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</span></a>
</dd><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/"><cite>PROV-N: The Provenance Notation</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-n-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-n-20130312/</span></a>
</dd><dt id="bib-PROV-O">[PROV-O]</dt><dd>Timothy Lebo; Satya Sahoo; Deborah McGuinness; eds. <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/"><cite>PROV-O: The PROV Ontology</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-o-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-o-20130312/</span></a>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>
</dd><dt id="bib-RFC3987">[RFC3987]</dt><dd>M. Dürst; M. Suignard. <a href="http://www.ietf.org/rfc/rfc3987.txt"><cite>Internationalized Resource Identifiers <span class="delete">(IRIs).</span><span class="insert">(IRIs)</span></cite></a><span class="insert">.</span> January 2005.<span class="delete"> Internet</span> RFC 3987. URL: <a href="http://www.ietf.org/rfc/rfc3987.txt">http://www.ietf.org/rfc/rfc3987.txt</a>
-</dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">D.2</span><span class="insert">E.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
+</dd></dl></section><section id="informative-references"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
</dd><dt id="bib-CLOCK">[CLOCK]</dt><dd>L. Lamport. <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>. Communications of the ACM 21 (7): 558–565. 1978. URL: <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> DOI: doi:10.1145/359545.359563.
</dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald Fagin; Phokion G. Kolaitis; Renée J. Miller; Lucian Popa. <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data exchange: Semantics and query answering</cite></a>. Theoretical computer science 336(1):89-124 Elsevier URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
</dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson. <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
--- a/model/diff-n.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/diff-n.html Wed Feb 20 21:54:18 2013 +0000
@@ -1102,6 +1102,9 @@
+
+
+
<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
not">shall
not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
@@ -2168,7 +2171,7 @@
<tbody class="prod"> <tr style="vertical-align: baseline; "> <td><a id="prod-bundle" data-name="prod-bundle"></a>[<span class="prodNo">23</span>] </td> <td><code class="production prod">bundle</code></td> <td> ::= </td> <td><code class="content">"bundle" <span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> (<span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></span>)? (<span class="prod"><a class="grammarRef" href="#prod-expression">expression</a></span>)* "endBundle"</code></td> </tr> </tbody>
</table>
-<p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
+<p>Bundles cannot be <span class="delete">nested because </span><span class="insert">nested. It is for this reason that </span>a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not <span class="insert">defined as </span>an <code><a class="grammarRef" href="#prod-expression">expression</a></code>,<span class="delete"> and therefore cannot occur</span><span class="insert"> to prevent the occurrence of a </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
@@ -3039,9 +3042,10 @@
<h3><span class="secno"><span class="insert">A.1 </span></span>Changes since last version</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<ul>
-<li><span class="insert">Checked that all fragments resolved.
+<li><span class="insert"> Checked that all fragments resolved.
</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
+</span></li><li><span class="insert"> Clarified a sentence about the (non) nesting of bundles.
</span></li></ul>
</section>
--- a/model/prov-n.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/prov-n.html Wed Feb 20 21:54:18 2013 +0000
@@ -2047,7 +2047,7 @@
<tbody class="grammar-ref" data-ref="prod-bundle"></tbody>
</table>
-<p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
+<p>Bundles cannot be nested. It is for this reason that a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not defined as an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, to prevent the occurrence of a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
<p>Each identifier occurring in a bundle, including the bundle identifier itself, MUST be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
@@ -2996,9 +2996,10 @@
<h2>Changes since last version</h2>
<ul>
-<li>Checked that all fragments resolved.
+<li> Checked that all fragments resolved.
<li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
<li> Changed all URLs to PROV documents.
+<li> Clarified a sentence about the (non) nesting of bundles.
</ul>
</section>
--- a/model/releases/PR-prov-constraints-20130312/Overview.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/releases/PR-prov-constraints-20130312/Overview.html Wed Feb 20 21:54:18 2013 +0000
@@ -861,7 +861,7 @@
</section><section id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br>
-</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno">B. </span>Changes from Last Call Working Draft to Candidate Recommendation</a></li><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno">C. </span>Changes from Candidate Recommendation to this version</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">D. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">E. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">E.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">E.2 </span>Informative references</a></li></ul></li></ul></section>
+</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#change-log" class="tocxref"><span class="secno">B. </span>Change Log</a><ul class="toc"><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno">B.1 </span>Changes from Candidate Recommendation to this version</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno">B.2 </span>Changes from Last Call Working Draft to Candidate Recommendation</a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">C. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">D. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">D.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">D.2 </span>Informative references</a></li></ul></li></ul></section>
@@ -906,8 +906,8 @@
<p>The PROV Data Model, PROV-DM, is a conceptual data model for provenance, which is
realizable using different representations such as PROV-N and PROV-O.
A <dfn id="dfn-prov-instance">PROV instance</dfn> is a set of PROV statements.
-A <dfn id="dfn-prov-document">PROV document</dfn> is an instance
-together with zero or more <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a>, or named instances. For
+A <dfn id="dfn-prov-document">PROV document</dfn> consists of an anonymous instance, called the <dfn id="dfn-toplevel-instance">toplevel instance</dfn>,
+together with zero or more named instances, called <dfn title="bundle" id="dfn-bundle">bundles</dfn>. For
example, a PROV document could be a .provn document, the result
of a query, a triple store containing PROV statements in RDF, etc.
The
@@ -4978,11 +4978,11 @@
the resulting notions of normalization, validity and equivalence,
work on a single PROV instance. In this
section, we describe how to deal with general PROV
-documents, possibly including multiple named <dfn title="bundle" id="dfn-bundle">bundles as well as a
-<dfn id="dfn-toplevel-instance">toplevel instance</dfn>. Briefly, each bundle is
+documents, possibly including multiple named <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a> as well as a
+<a href="#dfn-toplevel-instance" class="internalDFN">toplevel instance</a>. Briefly, each bundle is
handled independently; there is no interaction between bundles from
the perspective of applying definitions, inferences, or constraints,
-computing normal forms, or checking validity or equivalence.</dfn></p>
+computing normal forms, or checking validity or equivalence.</p>
<p> We model a general PROV document, containing <span class="name">n</span> named bundles
<span class="name">b<sub>1</sub>...b<sub>n</sub></span>, as a tuple
@@ -5212,8 +5212,38 @@
</p>
</section>
-<section class="appendix" id="changes-from-last-call-working-draft-to-candidate-recommendation">
- <!--OddPage--><h2><span class="secno">B. </span>Changes from Last Call Working Draft to Candidate Recommendation</h2>
+<section class="appendix" id="change-log">
+ <!--OddPage--><h2><span class="secno">B. </span>Change Log</h2>
+
+<section class="appendix" id="changes-from-candidate-recommendation-to-this-version">
+ <h3><span class="secno">B.1 </span>Changes from Candidate Recommendation to this version</h3>
+ <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
+ Responses to Public Comments on the Candidate Recommendation</a>
+ for more details about the justification of these changes.</p>
+<ul>
+ <li> Reworded description of toplevel instance and
+ bundles to provide a clearer restatement in one place (<a href="#purpose">Sec. 1.2</a>)</li>
+ <li>Fixed a number of broken links from definition references to definitions</li>
+ <li>Updated the <a href="#sotd">Status of This Document</a> to describe proposed recommendation
+ status and updated references to other PR-stage PROV documents</li>
+ <li>Added clarification concerning constraint
+ <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a> (issue-615).</li>
+ <li>Added underscores to some variables in inferences <a href="#wasStartedBy-inference">9</a>, <a href="#wasEndedBy-inference">10</a>,
+ <a href="#influence-inference">15</a> (issue-611).</li>
+ <li>Corrected a typo in the name <span class="name">hadMember</span> in <a href="">constraint 56</a>
+ (issue-611).
+ </li>
+ <li>Clarified that existential variables are scoped at the
+ instance level, not statement level, thus it is correct to apply
+ uniqueness constraints by substituting variables through an
+ instance (issue-611). (Remark at the end of <a href="#concepts">section
+ 4. Basic concepts</a>, and clarified discussion in <a href="#overview">Validation Process Overview</a>)</li>
+ <li>Gave equivalent form of <a href="#optional-attributes">Definition 2</a> (issue-611).</li>
+</ul>
+</section>
+
+ <section id="changes-from-last-call-working-draft-to-candidate-recommendation">
+ <h3><span class="secno">B.2 </span>Changes from Last Call Working Draft to Candidate Recommendation</h3>
<p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
Responses to Public Comments on the Last Call Working Draft</a>
for more details about the justification of these changes.</p>
@@ -5271,32 +5301,11 @@
</section>
-<section class="appendix" id="changes-from-candidate-recommendation-to-this-version">
- <!--OddPage--><h2><span class="secno">C. </span>Changes from Candidate Recommendation to this version</h2>
- <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
- Responses to Public Comments on the Candidate Recommendation</a>
- for more details about the justification of these changes.</p>
-<ul>
- <li>Added clarification concerning constraint
- <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a> (issue-615).</li>
- <li>Added underscores to some variables in inferences <a href="#wasStartedBy-inference">9</a>, <a href="#wasEndedBy-inference">10</a>,
- <a href="#influence-inference">15</a> (issue-611).</li>
- <li>Corrected a typo in the name <span class="name">hadMember</span> in <a href="">constraint 56</a>
- (issue-611).
- </li>
- <li>Clarified that existential variables are scoped at the
- instance level, not statement level, thus it is correct to apply
- uniqueness constraints by substituting variables through an
- instance (issue-611). (Remark at the end of <a href="#concepts">section
- 4. Basic concepts</a>, and clarified discussion in <a href="#overview">Validation Process Overview</a>)</li>
- <li>Gave equivalent form of <a href="#optional-attributes">Definition 2</a> (issue-611).</li>
-</ul>
-
</section>
<section class="appendix" id="acknowledgements">
- <!--OddPage--><h2><span class="secno">D. </span>Acknowledgements</h2>
+ <!--OddPage--><h2><span class="secno">C. </span>Acknowledgements</h2>
<p>
This document has been produced by the Provenance Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr>), Paul Groth, Tim Lebo, Simon Miles, Stian Soiland-Reyes, for their thorough reviews.
@@ -5455,12 +5464,12 @@
-->
<!-- LocalWords: Iannella Kopecky Jacco Ossenbruggen Ruttenberg Samavi
-->
-<section id="references" class="appendix"><!--OddPage--><h2><span class="secno">E. </span>References</h2><section id="normative-references"><h3><span class="secno">E.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. 12 March 2013, W3C Proposed Recommendation. URL: <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</a>
+<section id="references" class="appendix"><!--OddPage--><h2><span class="secno">D. </span>References</h2><section id="normative-references"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. 12 March 2013, W3C Proposed Recommendation. URL: <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</a>
</dd><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/"><cite>PROV-N: The Provenance Notation</cite></a>. 12 March 2013, W3C Proposed Recommendation. URL: <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/">http://www.w3.org/TR/2013/PR-prov-n-20130312/</a>
</dd><dt id="bib-PROV-O">[PROV-O]</dt><dd>Timothy Lebo; Satya Sahoo; Deborah McGuinness; eds. <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/"><cite>PROV-O: The PROV Ontology</cite></a>. 12 March 2013, W3C Proposed Recommendation. URL: <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/">http://www.w3.org/TR/2013/PR-prov-o-20130312/</a>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>
</dd><dt id="bib-RFC3987">[RFC3987]</dt><dd>M. Dürst; M. Suignard. <a href="http://www.ietf.org/rfc/rfc3987.txt"><cite>Internationalized Resource Identifiers (IRIs)</cite></a>. January 2005. RFC 3987. URL: <a href="http://www.ietf.org/rfc/rfc3987.txt">http://www.ietf.org/rfc/rfc3987.txt</a>
-</dd></dl></section><section id="informative-references"><h3><span class="secno">E.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
+</dd></dl></section><section id="informative-references"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
</dd><dt id="bib-CLOCK">[CLOCK]</dt><dd>L. Lamport. <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>. Communications of the ACM 21 (7): 558–565. 1978. URL: <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> DOI: doi:10.1145/359545.359563.
</dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald Fagin; Phokion G. Kolaitis; Renée J. Miller; Lucian Popa. <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data exchange: Semantics and query answering</cite></a>. Theoretical computer science 336(1):89-124 Elsevier URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
</dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson. <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
--- a/model/releases/PR-prov-constraints-20130312/diff-c.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/releases/PR-prov-constraints-20130312/diff-c.html Wed Feb 20 21:54:18 2013 +0000
@@ -914,7 +914,7 @@
</section><section id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br>
-</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno">B. </span>Changes <span class="delete">since last</span><span class="insert">from Last Call Working Draft to Candidate Recommendation</span></a></li><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno"><span class="insert">C. </span></span><span class="insert">Changes from Candidate Recommendation to this</span> version</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">D.</span><span class="insert">E.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">D.1</span><span class="insert">E.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">D.2</span><span class="insert">E.2</span> </span>Informative references</a></li></ul></li></ul></section>
+</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#rationale" class="tocxref"><span class="secno">2. </span>Rationale (Informative)</a><ul class="toc"><li class="tocline"><a href="#entities-activities-and-agents" class="tocxref"><span class="secno">2.1 </span>Entities, Activities and Agents</a></li><li class="tocline"><a href="#events" class="tocxref"><span class="secno">2.2 </span>Events</a></li><li class="tocline"><a href="#typing-section" class="tocxref"><span class="secno">2.3 </span>Types</a></li><li class="tocline"><a href="#overview" class="tocxref"><span class="secno">2.4 </span>Validation Process Overview</a></li><li class="tocline"><a href="#summary-of-inferences-and-constraints" class="tocxref"><span class="secno">2.5 </span>Summary of inferences and constraints</a></li></ul></li><li class="tocline"><a href="#compliance" class="tocxref"><span class="secno">3. </span>Compliance with this document</a></li><li class="tocline"><a href="#concepts" class="tocxref"><span class="secno">4. </span>Basic concepts</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">5. </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno">5.1 </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno">5.2 </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno">5.3 </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno">5.4 </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno">5.5 </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno">6. </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno">6.1 </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno">6.2 </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno">6.2.1 </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno">6.2.2 </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno">6.2.3 </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno">6.3 </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno">6.4 </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno">7. </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno">7.1 </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno">7.2 </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno">8. </span>Glossary</a></li><li class="tocline"><a href="#termination" class="tocxref"><span class="secno">A. </span>Termination of normalization</a></li><li class="tocline"><a href="#change-log" class="tocxref"><span class="secno">B. </span><span class="insert">Change Log</span></a><ul class="toc"><li class="tocline"><a href="#changes-from-candidate-recommendation-to-this-version" class="tocxref"><span class="secno"><span class="insert">B.1 </span></span>Changes <span class="delete">since last</span><span class="insert">from Candidate Recommendation to this</span> version</a></li><li class="tocline"><a href="#changes-from-last-call-working-draft-to-candidate-recommendation" class="tocxref"><span class="secno"><span class="insert">B.2 </span></span><span class="insert">Changes from Last Call Working Draft to Candidate Recommendation</span></a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">C. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">D. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">D.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">D.2 </span>Informative references</a></li></ul></li></ul></section>
@@ -966,8 +966,8 @@
<p>The PROV Data Model, PROV-DM, is a conceptual data model for provenance, which is
realizable using different representations such as PROV-N and PROV-O.
A <dfn id="dfn-prov-instance">PROV instance</dfn> is a set of PROV statements.
-A <dfn id="dfn-prov-document">PROV document</dfn> is an instance
-together with zero or more <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a>, or named instances. For
+A <dfn id="dfn-prov-document">PROV document<span class="delete"> is</span></dfn><span class="insert"> consists of</span> an <span class="insert">anonymous instance, called the </span><dfn id="dfn-toplevel-instance"><span class="insert">toplevel </span>instance</dfn><span class="insert">,</span>
+together with zero or more <span class="insert">named instances, called </span><dfn title="bundle" id="dfn-bundle">bundles<span class="delete">, or named instances.</span></dfn><span class="insert">.</span> For
example, a PROV document could be a .provn document, the result
of a query, a triple store containing PROV statements in RDF, etc.
The
@@ -4710,11 +4710,11 @@
the resulting notions of normalization, validity and equivalence,
work on a single PROV instance. In this
section, we describe how to deal with general PROV
-documents, possibly including multiple named <dfn title="bundle" id="dfn-bundle">bundles as well as a
-<dfn id="dfn-toplevel-instance">toplevel <span class="delete">instance.</span><span class="insert">instance</span></dfn><span class="insert">.</span> Briefly, each bundle is
+documents, possibly including multiple named <a title="bundle" href="#dfn-bundle" class="internalDFN">bundles</a> as well as a
+<a href="#dfn-toplevel-instance" class="internalDFN">toplevel <span class="delete">instance.</span><span class="insert">instance</span></a><span class="insert">.</span> Briefly, each bundle is
handled independently; there is no interaction between bundles from
the perspective of applying definitions, inferences, or constraints,
-computing normal forms, or checking validity or equivalence.</dfn></p>
+computing normal forms, or checking validity or equivalence.</p>
<p> We model a general PROV document, containing <span class="name">n</span> named bundles
<span class="name">b<sub>1</sub>...b<sub>n</sub></span>, as a tuple
@@ -4944,144 +4944,103 @@
</p>
</section>
-<section class="appendix" id="changes-from-last-call-working-draft-to-candidate-recommendation">
- <h2><span class="secno">B. </span>Changes <span class="delete">since last</span><span class="insert">from Last Call Working Draft to Candidate Recommendation</span></h2>
- <p><span class="insert"> Please see the </span><a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments"><span class="insert">
- Responses to Public Comments on the Last Call Working Draft</span></a><span class="insert">
- for more details about the justification of these changes.</span></p>
-
-<ul>
- <li><span class="insert">Abstract: clarified that term "validity" is analogous to other
- notions of validity in Web standards. </span></li>
- <li><span class="insert">Added bullet point linking to PROV-SEM under "How to read the
- PROV family of specifications"</span></li>
- <li><span class="insert">Revised sec. 1.2 to clarify terminology (validity), emphasize
- that any implementation equivalent to the procedural specification
- is compliant, and clarify that treating "equivalent instances in the
- same way" is a guideline.</span></li>
- <li><span class="insert">Added paragraph to sec 2.4 to clarify the purpose of the section.</span></li>
- <li><span class="insert">Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</span></li>
- <li><span class="insert">Sec. 2.4 "Applying definitions, inferences and constraints":
- Updated merging to unification and added paragraph reinforcing that
- compliance is algorithm independent</span></li>
- <li><span class="insert">Sec. 2.4 "Checking ordering, typing and impossibility
- constraints": Avoided use of the term "satisfies".</span></li>
- <li><span class="insert">Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
- be defined on all instances, valid or not. Removed analogy to RDF.</span></li>
- <li><span class="insert">Sec. 2.4 "From Instances to Bundles and Documents": Revised to
- avoid giving the impression that toplevel instances must be disjoint
- from bundles; removed reference to RDF.</span></li>
- <li><span class="insert">Sec. 3. Clarified and reinforced algorithm independence.</span></li>
- <li><span class="insert">Sec. 4. Added clarifying remark about role of definitions.</span></li>
- <li><span class="insert">Sec. 4. Avoided reference to RDF, minor clarifications to
- discussion of existential variables. </span></li>
- <li><span class="insert">Sec. 4.1. Spelling correction.</span></li>
- <li><span class="insert">Sec. 4.4. Merging -> unification</span></li>
- <li><span class="insert">Sec. 5. Merging -> unification terminology change. Added
- declarative definition of unification. Clarified
- procedural definition. Removed definition of merging of attribute
- lists. Updated descriptions of uniqueness and key constraint application.</span></li>
- <li><span class="insert">Constraint 23. Renamed e, a, ag to id.</span></li>
- <li><span class="insert">Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</span></li>
- <li><span class="insert">Sec. 5.2. Spelling</span></li>
- <li><span class="insert">Sec. 5.2, just before constraint 51: updated text to accurately
- describe constraint.</span></li>
- <li><span class="insert">Sec. 6. Merging -> unification. Updated definition of validity
- to avoid referring to "satisfies". Explicitly defined isomorphism
- of instances. Broadened the definition of equivalence so that it is
- allowed to test arbitrary instances for equivalence. Reinforce the
- intention of the guideline that applications treat equivalent
- instances "in the same way".</span></li>
- <li><span class="insert">Dropped RDF as a normative reference.</span></li>
- <li><span class="insert">Made PROV-DM and PROV-N into normative references.</span></li>
- <li><span class="insert">Added "document" and "endDocument" to sec. 6.2.</span></li>
- <li><span class="insert">Added sentence of explanation of purpose to beginning.</span></li>
- <li><span class="insert">Moved "mention" to a separate note. </span></li>
- <li><span class="insert">Added </span><a href="#concepts"><span class="insert">Section 4: Basic Concepts</span></a><span class="insert">.</span></li>
- <li><span class="insert">Miscellaneous final cleanup prior to CR staging.</span></li>
-</ul>
-
-</section>
+
+ <section class="appendix" id="change-log">
+ <h2><span class="secno">B. </span><span class="insert">Change Log</span></h2>
<section class="appendix" id="changes-from-candidate-recommendation-to-this-version">
- <h2><span class="secno"><span class="insert">C. </span></span><span class="insert">Changes from Candidate Recommendation to this</span> version</h2>
- <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
- Responses to Public Comments on the <span class="delete">Last Call Working Draft</span><span class="insert">Candidate Recommendation</span></a>
- for more details about the justification of these changes.</p>
-
-
+ <h3><span class="secno"><span class="insert">B.1 </span></span>Changes <span class="delete">since last</span><span class="insert">from Candidate Recommendation to this</span> version</h3>
+ <p> Please see the <a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR"><span class="insert">
+ Responses to Public Comments on the Candidate Recommendation</span></a><span class="insert">
+ for more details about the justification of these changes.</span></p>
<ul>
- <span class="delete">Abstract: clarified that term "validity" is analogous to other
- notions of validity in Web standards. </span>
- <li>Added <span class="delete">bullet point linking to PROV-SEM under "How to read the
- PROV family of specifications"</span><span class="insert">clarification concerning constraint
+ <li><span class="insert"> Reworded description of toplevel instance and
+ bundles to provide a clearer restatement in one place (</span><a href="#purpose"><span class="insert">Sec. 1.2</span></a><span class="insert">)</span></li>
+ <li><span class="insert">Fixed a number of broken links from definition references to definitions</span></li>
+ <li><span class="insert">Updated the </span><a href="#sotd"><span class="insert">Status of This Document</span></a><span class="insert"> to describe proposed recommendation
+ status and updated references to other PR-stage PROV documents</span></li>
+ <li><span class="insert">Added clarification concerning constraint
</span><a href="#wasAssociatedWith-ordering"><span class="insert">wasAssociatedWith-ordering</span></a><span class="insert"> (issue-615).</span></li>
- <span class="delete">Revised sec. 1.2 to clarify terminology (validity), emphasize
- that any implementation equivalent to the procedural specification
- is compliant, and clarify that treating "equivalent instances in the
- same way" is a guideline.</span>
-
- <li>Added <span class="delete">paragraph</span><span class="insert">underscores</span> to <span class="delete">sec 2.4</span><span class="insert">some variables in inferences </span><a href="#wasStartedBy-inference"><span class="insert">9</span></a><span class="insert">, </span><a href="#wasEndedBy-inference"><span class="insert">10</span></a><span class="insert">,
+ <li><span class="insert">Added underscores to some variables in inferences </span><a href="#wasStartedBy-inference"><span class="insert">9</span></a><span class="insert">, </span><a href="#wasEndedBy-inference"><span class="insert">10</span></a><span class="insert">,
</span><a href="#influence-inference"><span class="insert">15</span></a><span class="insert"> (issue-611).</span></li>
<li><span class="insert">Corrected a typo in the name </span><span class="name"><span class="insert">hadMember</span></span><span class="insert"> in </span><a href=""><span class="insert">constraint 56</span></a><span class="insert">
(issue-611).
</span></li>
<li><span class="insert">Clarified that existential variables are scoped at the
- instance level, not statement level, thus it is correct</span> to <span class="delete">clarify the purpose of the section.</span><span class="insert">apply
+ instance level, not statement level, thus it is correct to apply
uniqueness constraints by substituting variables through an
instance (issue-611). (Remark at the end of </span><a href="#concepts"><span class="insert">section
4. Basic concepts</span></a><span class="insert">, and clarified discussion in </span><a href="#overview"><span class="insert">Validation Process Overview</span></a><span class="insert">)</span></li>
-
- <li><span class="delete">Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</span><span class="insert">Gave equivalent form of </span><a href="#optional-attributes"><span class="insert">Definition 2</span></a><span class="insert"> (issue-611).</span></li>
- <span class="delete">Sec. 2.4 "Applying definitions, inferences and constraints":
+ <li><span class="insert">Gave equivalent form of </span><a href="#optional-attributes"><span class="insert">Definition 2</span></a><span class="insert"> (issue-611).</span></li>
+</ul>
+</section>
+
+ <section id="changes-from-last-call-working-draft-to-candidate-recommendation">
+ <h3><span class="secno"><span class="insert">B.2 </span></span><span class="insert">Changes from Last Call Working Draft to Candidate Recommendation</span></h3>
+ <p><span class="insert"> Please see the </span><a href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
+ Responses to Public Comments on the Last Call Working Draft</a>
+ for more details about the justification of these changes.</p>
+
+<ul>
+ <li>Abstract: clarified that term "validity" is analogous to other
+ notions of validity in Web standards. </li>
+ <li>Added bullet point linking to PROV-SEM under "How to read the
+ PROV family of specifications"</li>
+ <li>Revised sec. 1.2 to clarify terminology (validity), emphasize
+ that any implementation equivalent to the procedural specification
+ is compliant, and clarify that treating "equivalent instances in the
+ same way" is a guideline.</li>
+ <li>Added paragraph to sec 2.4 to clarify the purpose of the section.</li>
+ <li>Sec 2.4 Unification and Merging: changed "merging" to "unification" for terms</li>
+ <li>Sec. 2.4 "Applying definitions, inferences and constraints":
Updated merging to unification and added paragraph reinforcing that
- compliance is algorithm independent</span>
- <span class="delete">Sec. 2.4 "Checking ordering, typing and impossibility
- constraints": Avoided use of the term "satisfies".</span>
- <span class="delete">Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
- be defined on all instances, valid or not. Removed analogy to RDF.</span>
- <span class="delete">Sec. 2.4 "From Instances to Bundles and Documents": Revised to
+ compliance is algorithm independent</li>
+ <li>Sec. 2.4 "Checking ordering, typing and impossibility
+ constraints": Avoided use of the term "satisfies".</li>
+ <li>Sec. 2.4 "Equivalence and Isomorphism": Extended equivalence to
+ be defined on all instances, valid or not. Removed analogy to RDF.</li>
+ <li>Sec. 2.4 "From Instances to Bundles and Documents": Revised to
avoid giving the impression that toplevel instances must be disjoint
- from bundles; removed reference to RDF.</span>
- <span class="delete">Sec. 3. Clarified and reinforced algorithm independence.</span>
- <span class="delete">Sec. 4. Added clarifying remark about role of definitions.</span>
- <span class="delete">Sec. 4. Avoided reference to RDF, minor clarifications to
- discussion of existential variables. </span>
- <span class="delete">Sec. 4.1. Spelling correction.</span>
- <span class="delete">Sec. 4.4. Merging -> unification</span>
- <span class="delete">Sec. 5. Merging -> unification terminology change. Added
+ from bundles; removed reference to RDF.</li>
+ <li>Sec. 3. Clarified and reinforced algorithm independence.</li>
+ <li>Sec. 4. Added clarifying remark about role of definitions.</li>
+ <li>Sec. 4. Avoided reference to RDF, minor clarifications to
+ discussion of existential variables. </li>
+ <li>Sec. 4.1. Spelling correction.</li>
+ <li>Sec. 4.4. Merging -> unification</li>
+ <li>Sec. 5. Merging -> unification terminology change. Added
declarative definition of unification. Clarified
procedural definition. Removed definition of merging of attribute
- lists. Updated descriptions of uniqueness and key constraint application.</span>
- <span class="delete">Constraint 23. Renamed e, a, ag to id.</span>
- <span class="delete">Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</span>
- <span class="delete">Sec. 5.2. Spelling</span>
- <span class="delete">Sec. 5.2, just before constraint 51: updated text to accurately
- describe constraint.</span>
- <span class="delete">Sec. 6. Merging -> unification. Updated definition of validity
+ lists. Updated descriptions of uniqueness and key constraint application.</li>
+ <li>Constraint 23. Renamed e, a, ag to id.</li>
+ <li>Sec. 5.2. Explicitly stated that strictly-precedes is irreflexive.</li>
+ <li>Sec. 5.2. Spelling</li>
+ <li>Sec. 5.2, just before constraint 51: updated text to accurately
+ describe constraint.</li>
+ <li>Sec. 6. Merging -> unification. Updated definition of validity
to avoid referring to "satisfies". Explicitly defined isomorphism
of instances. Broadened the definition of equivalence so that it is
allowed to test arbitrary instances for equivalence. Reinforce the
intention of the guideline that applications treat equivalent
- instances "in the same way".</span>
- <span class="delete">Dropped RDF as a normative reference.</span>
- <span class="delete">Made PROV-DM and PROV-N into normative references.</span>
- <span class="delete">Added "document" and "endDocument" to sec. 6.2.</span>
- <span class="delete">Added sentence of explanation of purpose to beginning.</span>
- <span class="delete">Moved "mention" to a separate note. </span>
- <span class="delete">Added </span><span class="delete">Section 4: Basic Concepts</span><span class="delete">.</span>
- <span class="delete">Miscellaneous final cleanup prior to CR staging.</span>
+ instances "in the same way".</li>
+ <li>Dropped RDF as a normative reference.</li>
+ <li>Made PROV-DM and PROV-N into normative references.</li>
+ <li>Added "document" and "endDocument" to sec. 6.2.</li>
+ <li>Added sentence of explanation of purpose to beginning.</li>
+ <li>Moved "mention" to a separate note. </li>
+ <li>Added <a href="#concepts">Section 4: Basic Concepts</a>.</li>
+ <li>Miscellaneous final cleanup prior to CR staging.</li>
</ul>
-
-
</section>
+</section>
+
<section class="appendix" id="acknowledgements">
- <h2><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>Acknowledgements</h2>
+ <h2><span class="secno">C. </span>Acknowledgements</h2>
<p>
This document has been produced by the Provenance Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman (<abbr title="World Wide Web Consortium">W3C</abbr>/<abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr>), Paul Groth, Tim Lebo, Simon Miles, Stian Soiland-Reyes, for their thorough reviews.
@@ -5242,13 +5201,13 @@
-<section id="references" class="appendix"><h2><span class="secno"><span class="delete">D.</span><span class="insert">E.</span> </span>References</h2><section id="normative-references"><h3><span class="secno"><span class="delete">D.1</span><span class="insert">E.1</span> </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</span></a>
+<section id="references" class="appendix"><h2><span class="secno">D. </span>References</h2><section id="normative-references"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><cite>PROV-DM: The PROV Data Model</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-dm-20130312/</span></a>
</dd><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/"><cite>PROV-N: The Provenance Notation</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-n-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-n-20130312/</span></a>
</dd><dt id="bib-PROV-O">[PROV-O]</dt><dd>Timothy Lebo; Satya Sahoo; Deborah McGuinness; eds. <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/"><cite>PROV-O: The PROV Ontology</cite></a>. <span class="delete">11 December 2012,</span><span class="insert">12 March 2013,</span> W3C <span class="delete">Candidate</span><span class="insert">Proposed</span> Recommendation. URL: <span class="delete">http://www.w3.org/TR/2012/CR-prov-o-20121211/</span><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/"><span class="insert">http://www.w3.org/TR/2013/PR-prov-o-20130312/</span></a>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>
</dd><dt id="bib-RFC3987">[RFC3987]</dt><dd>M. Dürst; M. Suignard. <a href="http://www.ietf.org/rfc/rfc3987.txt"><cite>Internationalized Resource Identifiers <span class="delete">(IRIs).</span><span class="insert">(IRIs)</span></cite></a><span class="insert">.</span> January 2005.<span class="delete"> Internet</span> RFC 3987. URL: <a href="http://www.ietf.org/rfc/rfc3987.txt">http://www.ietf.org/rfc/rfc3987.txt</a>
-</dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">D.2</span><span class="insert">E.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
+</dd></dl></section><section id="informative-references"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth. <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
</dd><dt id="bib-CLOCK">[CLOCK]</dt><dd>L. Lamport. <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>. Communications of the ACM 21 (7): 558–565. 1978. URL: <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> DOI: doi:10.1145/359545.359563.
</dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald Fagin; Phokion G. Kolaitis; Renée J. Miller; Lucian Popa. <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data exchange: Semantics and query answering</cite></a>. Theoretical computer science 336(1):89-124 Elsevier URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
</dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson. <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
--- a/model/releases/PR-prov-n-20130312/Overview.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/releases/PR-prov-n-20130312/Overview.html Wed Feb 20 21:54:18 2013 +0000
@@ -1031,16 +1031,6 @@
<section id="notational-conventions">
<h3><span class="secno">1.4 </span>Notational Conventions</h3>
-<!--
-<p>The PROV namespace is <span class="name">http://www.w3.org/ns/prov#</span> with prefix <span class="name">prov:</span>.</p>
-
-<p> All the elements, predicates, reserved names and attributes introduced in this specification belong to the PROV namespace.</p>
-</section>
-
-<section id="conventions">
-<h3>Conventions</h3>
-
--->
<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
not">shall
@@ -2117,7 +2107,7 @@
<tbody class="prod"> <tr style="vertical-align: baseline; "> <td><a id="prod-bundle" data-name="prod-bundle"></a>[<span class="prodNo">23</span>] </td> <td><code class="production prod">bundle</code></td> <td> ::= </td> <td><code class="content">"bundle" <span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> (<span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></span>)? (<span class="prod"><a class="grammarRef" href="#prod-expression">expression</a></span>)* "endBundle"</code></td> </tr> </tbody>
</table>
-<p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
+<p>Bundles cannot be nested. It is for this reason that a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not defined as an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, to prevent the occurrence of a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
@@ -3032,9 +3022,10 @@
<h3><span class="secno">A.1 </span>Changes since last version</h3><p><em>This section is non-normative.</em></p>
<ul>
-<li>Checked that all fragments resolved.
+<li> Checked that all fragments resolved.
</li><li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</li><li> Changed all URLs to PROV documents.
+</li><li> Clarified a sentence about the (non) nesting of bundles.
</li></ul>
</section>
--- a/model/releases/PR-prov-n-20130312/diff-n.html Wed Feb 20 19:18:21 2013 +0100
+++ b/model/releases/PR-prov-n-20130312/diff-n.html Wed Feb 20 21:54:18 2013 +0000
@@ -1102,6 +1102,9 @@
+
+
+
<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
not">shall
not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
@@ -2168,7 +2171,7 @@
<tbody class="prod"> <tr style="vertical-align: baseline; "> <td><a id="prod-bundle" data-name="prod-bundle"></a>[<span class="prodNo">23</span>] </td> <td><code class="production prod">bundle</code></td> <td> ::= </td> <td><code class="content">"bundle" <span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> (<span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></span>)? (<span class="prod"><a class="grammarRef" href="#prod-expression">expression</a></span>)* "endBundle"</code></td> </tr> </tbody>
</table>
-<p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
+<p>Bundles cannot be <span class="delete">nested because </span><span class="insert">nested. It is for this reason that </span>a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not <span class="insert">defined as </span>an <code><a class="grammarRef" href="#prod-expression">expression</a></code>,<span class="delete"> and therefore cannot occur</span><span class="insert"> to prevent the occurrence of a </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
@@ -3039,9 +3042,10 @@
<h3><span class="secno"><span class="insert">A.1 </span></span>Changes since last version</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<ul>
-<li><span class="insert">Checked that all fragments resolved.
+<li><span class="insert"> Checked that all fragments resolved.
</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
+</span></li><li><span class="insert"> Clarified a sentence about the (non) nesting of bundles.
</span></li></ul>
</section>