--- a/model/diff-c.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/diff-c.html Thu Nov 22 09:14:45 2012 +0000
@@ -14,7 +14,529 @@
<style type="text/css">
.note { font-size:small; margin-left:50px }
- </style>
+ <span class="insert">
+
+
+/* --- EDITORIAL NOTES --- */
+.pending {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #BFEFFF;
+}
+
+.pending::before {
+ content: "Pending Review";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+
+.resolved {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #9BCD9B;
+}
+
+.resolved::before {
+ content: "Resolved";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+.inference {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+
+.inference-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+/* .inference[id]::before { */
+/* content: "Inference: " attr(id); */
+/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
+/* } */
+
+
+/* .inference::before { */
+/* content: "Inference"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #f00; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+.syntax {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.syntax[id]::before {
+ content: "Syntax: " attr(id);
+ width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.syntax::before {
+ content: "Syntax";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.unamedconstraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+
+.unamedconstraint::before {
+ content: "Constraint";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+.constraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.constraint-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+/* .constraint[id]::before { */
+/* content: "Constraint: " attr(id); */
+/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
+/* } */
+
+
+/* .constraint::before { */
+/* content: "Constraint"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #00f; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+
+
+.interpretation {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.interpretation[id]::before {
+ content: "Interpretation: " attr(id);
+ width: 380px; /* How can we compute the length of "Interpretation: " attr(id) */
+}
+
+
+.interpretation::before {
+ content: "Interpretation";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.definition {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+}
+
+.definition-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+}
+
+/* .definition[id]::before { */
+/* content: "Definition: " attr(id); */
+/* width: 380px; */
+/* } */
+
+
+/* .definition::before { */
+/* content: "Definition"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #000; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+
+.deprecatedconstraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.deprecatedconstraint[id]::before {
+ content: "Deprecated: " attr(id);
+ width: 380px; /* How can we compute the length of "Deprecatedconstraint: " attr(id) */
+}
+
+
+.deprecatedconstraint::before {
+ content: "Deprecated";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.glossary-ref {
+ font-style: italic;
+}
+
+.dfn {
+ font-weight: bold;
+}
+
+
+.attribute {
+ font-style: italic;
+}
+
+
+.conditional {
+ color: blue;
+}
+
+.grammar {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ font-size: 95%;
+}
+.nonterminal {
+ font-weight: bold;
+ font-family: sans-serif;
+ font-size: 95%;
+}
+
+.name {
+ font-family: monospace;
+}
+
+.math {
+ font-family: roman;
+ font-style:italic;
+}
+
+
+.xmpl {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.xmpl::before {
+ content: "Example";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+/*
+.anexample[count]::before {
+ content: "Example " attr(count) ;
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+.anexample:before {
+ content: "Example:";
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+*/
+
+.anexample {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ background-color: #f9f9f9;
+}
+.anexample table {
+ background-color: #f9f9f9;
+}
+
+.conceptexample:before {
+ content: "Example:";
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+.conceptexample {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ background-color: #f9f9f9;
+}
+
+.pnExpression {
+ font-weight: normal;
+ font-size:120%;
+ font-family: monospace;
+}
+
+
+div[class="grammar"] span[class="name"]:before {
+ content: "'";
+}
+
+div[class="grammar"] span[class="name"]:after {
+ content: "'";
+}
+
+
+div[class="grammar"] span[class="optional"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="optional"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")?";
+}
+
+
+div[class="grammar"] span[class="plus"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="plus"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")+";
+}
+
+
+div[class="grammar"] span[class="star"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="star"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")*";
+}
+
+div[class="grammar"] span[class="choice"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="choice"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")";
+}
+
+div[class="grammar"] span[class="group"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="group"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")";
+}
+
+table {
+ background-color: #f9f9f9;
+}
+
+.component1-color {
+ background-color: rgba(255,42,42,0.2);
+}
+
+.component2-color {
+ background-color: rgba(0,68,170,0.2);
+}
+
+.component3-color {
+ background-color: rgba(0,170,0,0.2);
+}
+.component4-color {
+ background-color: rgba(204,255,0,0.2);
+}
+
+.component5-color {
+ background-color: rgba(11,40,40,0.2);
+}
+
+.component6-color {
+ background-color: rgba(244,105,14,0.2);
+}
+
+.interpretation-forward::before {
+ content: "Interpretation: ";
+ font-weight: bold;
+}
+
+.structural-forward::before {
+ content: "Structural constraint: ";
+ font-weight: bold;
+}
+
+
+code {
+ color: black;
+}
+
+.ruleTitle {
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+
+
+
+.remark {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px dashed #000;
+ background: #F0F0F0;
+}
+
+.remark::before {
+ content: "Remark";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #000;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+table.thinborder {
+ border-width: 1px;
+ border-spacing: 0px;
+ border-style: none;
+ border-color: gray;
+ border-collapse: collapse;
+}
+table.thinborder th {
+ border-width: 1px;
+ padding: 0px;
+ border-style: solid;
+ border-color: gray;
+}
+table.thinborder td {
+ border-width: 1px;
+ padding: 2px;
+ border-style: solid;
+ border-color: gray;
+}
+
+
+ </span></style>
@@ -1136,6 +1658,8 @@
bundles (that is, named instances) and documents (that is, a toplevel
instance together with zero or more bundles).</p>
+
+<p><span class="insert">The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</span></p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -1209,15 +1733,15 @@
If you wish to make comments regarding this document, please send them to
<a href="mailto:public-prov-comments@w3.org">public-prov-comments@w3.org</a>
(<a href="mailto:public-prov-comments-request@w3.org?subject=subscribe">subscribe</a>,
- <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).<span class="delete"> The Last Call period ends 10 October</span>
+ <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).<span class="delete"> The Last Call period ends 10 October 2012. </span>
<abbr title="World Wide Web Consortium"><span class="insert">W3C</span></abbr><span class="insert"> publishes a Candidate Recommendation to indicate that the document is believed
to be stable and to encourage implementation by the developer community. This
Candidate Recommendation is expected to advance to Proposed Recommendation no earlier than
- 31 January</span> 2012.
+ 31 January 2013.
- All feedback is welcome.
+ </span>All feedback is welcome.
</p>
<p>
@@ -1250,7 +1774,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</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="#validation-process-overview-1" 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"><span class="insert">4. </span></span><span class="insert">Basic concepts</span></a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno"><span class="delete">5.1</span><span class="insert">6.1</span> </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno"><span class="delete">5.2</span><span class="insert">6.2</span> </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.1</span><span class="insert">6.2.1</span> </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.2</span><span class="insert">6.2.2</span> </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.3</span><span class="insert">6.2.3</span> </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno"><span class="delete">5.3</span><span class="insert">6.3</span> </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno"><span class="delete">5.4</span><span class="insert">6.4</span> </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno"><span class="delete">6.1</span><span class="insert">7.1</span> </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno"><span class="delete">6.2</span><span class="insert">7.2</span> </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno"><span class="delete">7.</span><span class="insert">8.</span> </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-since-last-version" class="tocxref"><span class="secno"><span class="insert">B. </span></span><span class="insert">Changes since last version</span></a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">B.</span><span class="insert">C.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">C.1</span><span class="insert">D.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">C.2</span><span class="insert">D.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<span class="insert"> (Informative)</span></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="#validation-process-overview-1" 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"><span class="insert">4. </span></span><span class="insert">Basic concepts</span></a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno"><span class="delete">5.1</span><span class="insert">6.1</span> </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno"><span class="delete">5.2</span><span class="insert">6.2</span> </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.1</span><span class="insert">6.2.1</span> </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.2</span><span class="insert">6.2.2</span> </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.3</span><span class="insert">6.2.3</span> </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno"><span class="delete">5.3</span><span class="insert">6.3</span> </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno"><span class="delete">5.4</span><span class="insert">6.4</span> </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno"><span class="delete">6.1</span><span class="insert">7.1</span> </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno"><span class="delete">6.2</span><span class="insert">7.2</span> </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno"><span class="delete">7.</span><span class="insert">8.</span> </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-since-last-version" class="tocxref"><span class="secno"><span class="insert">B. </span></span><span class="insert">Changes since last version</span></a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">B.</span><span class="insert">C.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">C.1</span><span class="insert">D.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">C.2</span><span class="insert">D.2</span> </span>Informative references</a></li></ul></li></ul></section>
@@ -1430,12 +1954,12 @@
</section>
<section id="rationale" class="informative">
-<h2><span class="secno">2. </span>Rationale</h2><p><em>This section is non-normative.</em></p>
+<h2><span class="secno">2. </span>Rationale<span class="insert"> (Informative)</span></h2><p><em>This section is non-normative.</em></p>
<p> This section gives a high-level rationale that provides some
further background for the constraints, but does not affect the
technical content of the rest of the specification.</p>
-<section id="entities-activities-and-agents">
+<section class="informative" id="entities-activities-and-agents">
<h3><span class="secno">2.1 </span>Entities, Activities and Agents</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p>
One of the central challenges in representing provenance information
@@ -1522,8 +2046,8 @@
</section>
-<section id="events">
-<h3><span class="secno">2.2 </span>Events</h3>
+<section class="informative" id="events">
+<h3><span class="secno">2.2 </span>Events</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p> Although time is important for provenance, provenance can be used
in many different contexts within individual systems and across the
@@ -1577,8 +2101,8 @@
</section>
-<section id="typing-section">
-<h3><span class="secno">2.3 </span>Types</h3>
+<section id="typing-section" class="informative">
+<h3><span class="secno">2.3 </span>Types</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p> As set out in other specifications, the identifiers used in PROV
documents have associated type information. An identifier can have
@@ -1783,8 +2307,8 @@
</section>
-<section id="validation-process-overview-1">
-<h3><span class="secno">2.4 </span>Validation Process Overview</h3>
+<section class="informative" id="validation-process-overview-1">
+<h3><span class="secno">2.4 </span>Validation Process Overview</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p>
@@ -1821,8 +2345,10 @@
<h3 id="constants-variables-and-placeholders">Constants, Variables and Placeholders</h3>
<p>
PROV statements involve identifiers, literals,
- placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [<cite><span class="delete">IRI</span><a class="bibref" href="#bib-RFC3987"><span class="insert">RFC3987</span></a></cite>].
- However, in order to specify
+
+ placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [<cite><span class="delete">IRI</span><a class="bibref" href="#bib-RFC3987"><span class="insert">RFC3987</span></a></cite>].
+
+ However, in order to specify
constraints over PROV instances, we also need <em>variables</em>
that represent unknown identifiers, literals, or placeholders.
These variables are similar to those in first-order
@@ -2285,8 +2811,8 @@
</p>
</section>
-<section id="summary-of-inferences-and-constraints">
-<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3>
+<section class="informative" id="summary-of-inferences-and-constraints">
+<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p><a href="">Table 2</a> summarizes the inferences, and
constraints specified in this document, broken down by component and
@@ -2315,7 +2841,7 @@
<a class="rule-text" href="#impossible-object-property-overlap_text"><span>Constraint <span class="delete">56</span><span class="insert">54</span> (impossible-object-property-overlap)</span></a><br>
<a class="rule-text" href="#entity-activity-disjoint_text"><span>Constraint <span class="delete">57</span><span class="insert">55</span> (entity-activity-disjoint)</span></a><br>
</td>
- <td rowspan="8" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component1" title="Component 1: Entities/Activities">1</a></td>
+ <td rowspan="8" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component1" title="Component 1: Entities/Activities">1</a></td>
</tr>
<tr class="component1-color">
<td class="essential"><a>Activity</a></td>
@@ -2441,7 +2967,7 @@
<a class="rule-text" href="#derivation-generation-generation-ordering_text"><span>Constraint <span class="delete">44</span><span class="insert">42</span> (derivation-generation-generation-ordering)</span></a><br>
<a class="rule-text" href="#typing_text"><span>Constraint <span class="delete">52</span><span class="insert">50</span> (typing)</span></a><br>
</td>
- <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component2" title="Component 2: Derivations">2</a></td>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component2" title="Component 2: Derivations">2</a></td>
</tr>
<tr class="component2-color">
<td class="provType"><a>Revision</a></td>
@@ -2466,7 +2992,7 @@
<td><a class="rule-text" href="#key-object_text"><span>Constraint <span class="delete">23</span><span class="insert">22</span> (key-object)</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap_text"><span>Constraint <span class="delete">56</span><span class="insert">54</span> (impossible-object-property-overlap)</span></a><br>
</td>
- <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component3" title="Component 3: Agents/Responsibility">3</a></td>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component3" title="Component 3: Agents/Responsibility">3</a></td>
</tr>
<tr class="component3-color">
<td class="essential"><a>Attribution</a></td>
@@ -2508,7 +3034,7 @@
<tr class="component4-color">
<td><a title="bundle">Bundle constructor</a></td>
<td>No specific constraints; see <a href="#bundle-constraints" class="sectionRef sec-ref">section <span class="delete">6.2</span><span class="insert">7.2</span> Bundles and Documents</a></td>
- <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component4" title="Component 4: Bundles">4</a></td>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component4" title="Component 4: Bundles">4</a></td>
</tr>
<tr class="component4-color">
<td class="provType"><a title="bundle">Bundle type</a></td>
@@ -2524,7 +3050,7 @@
<a class="rule-text" href="#alternate-symmetric_text"><span>Inference 18 (alternate-symmetric)</span></a><br>
<a class="rule-text" href="#typing_text"><span>Constraint <span class="delete">52</span><span class="insert">50</span> (typing)</span></a><br>
</td>
- <td rowspan="3" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component5" title="Component 5: Alternate Entities">5</a></td>
+ <td rowspan="3" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component5" title="Component 5: Alternate Entities">5</a></td>
</tr>
<tr class="component5-color">
<td><a>Specialization</a></td>
@@ -2551,7 +3077,7 @@
<tr class="component6-color">
<td><a>Collection</a></td>
<td> No specific constraints </td>
- <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component6" title="Component 6: Collections">6</a></td>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component6" title="Component 6: Collections">6</a></td>
</tr>
<tr class="component6-color">
<td><a>Membership</a></td>
@@ -2983,8 +3509,8 @@
by fresh existential variables, distinct from any others occurring in
the instance.
The only exceptions to this general rule, where <span class="name">-</span> are to be left
- in place, are the <a href="http://www.w3.org/TR/prov-dm/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/prov-dm/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/prov-dm/#derivation.usage">usage</a> parameters in <span class="name">wasDerivedFrom</span> and
- the <a href="http://www.w3.org/TR/prov-dm/#association.plan">plan</a>
+ in place, are the <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.usage">usage</a> parameters in <span class="name">wasDerivedFrom</span> and
+ the <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.plan">plan</a>
parameter in <span class="name">wasAssociatedWith</span>. This is
further explained in remarks below.
</p>
@@ -3708,13 +4234,13 @@
</p>
<div class="constraint" id="key-object"><div class="ruleTitle"><a class="internalDFN" href="#key-object">Constraint <span class="delete">23</span><span class="insert">22</span> (key-object)</a></div>
<p></p><ol>
- <li>The identifier field <span class="delete">e</span><a href="http://www.w3.org/TR/prov-dm/#entity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <span class="delete">e</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#entity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">entity(e,attrs)</span><span class="insert">entity(id,attrs)</span></span> statement.
</li>
- <li>The identifier field <span class="delete">a</span><a href="http://www.w3.org/TR/prov-dm/#activity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <span class="delete">a</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#activity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">activity(a,t1,t2,attrs)</span><span class="insert">activity(id,t1,t2,attrs)</span></span> statement.
</li>
-<li>The identifier field <span class="delete">ag</span><a href="http://www.w3.org/TR/prov-dm/#agent.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+<li>The identifier field <span class="delete">ag</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#agent.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">agent(ag,attrs)</span><span class="insert">agent(id,attrs)</span></span> statement.
</li>
</ol>
@@ -3729,39 +4255,39 @@
</p>
<div class="constraint" id="key-properties"><div class="ruleTitle"><a class="internalDFN" href="#key-properties">Constraint <span class="delete">24</span><span class="insert">23</span> (key-properties)</a></div>
<p></p><ol>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#generation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#generation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasGeneratedBy(id; e,a,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#usage.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">used(id; a,e,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#communication.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#communication.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasInformedBy(id; a2,a1,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#start.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#start.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasStartedBy(id; a2,e,a1,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#end.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#end.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasEndedBy(id; a2,e,a1,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#invalidation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#invalidation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasInvalidatedBy(id; e,a,t,attrs)</span> statement.
</li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#derivation.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasDerivedFrom(id; e2, e1, a, g2, u1, attrs)</span></span><span class="insert"> statement.
</span></li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#attribution.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#attribution.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasAttributedTo(id; e,ag,attr)</span></span><span class="insert"> statement.
</span></li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#association.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasAssociatedWith(id; a,ag,pl,attrs)</span></span><span class="insert"> statement.
</span></li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#delegation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#delegation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">wasDerivedFrom(id; e2, e1, a, g2, u1, attrs)</span><span class="insert">actedOnBehalfOf(id; ag2,ag1,a,attrs)</span></span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#influence.id"><span class="name">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#influence.id"><span class="name">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
the </span><span class="delete">wasAttributedTo(id; e,ag,attr)</span><span class="delete"> statement.
</span>
<span class="delete">The identifier field </span><span class="delete">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
@@ -5685,9 +6211,9 @@
</dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald <span class="delete">Fagin,</span><span class="insert">Fagin;</span> Phokion G. <span class="delete">Kolaitis,</span><span class="insert">Kolaitis;</span> Renée J. <span class="delete">Miller, and</span><span class="insert">Miller;</span> Lucian <span class="delete">Popa</span><span class="insert">Popa.</span> <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. <span class="delete">Johnson</span><span class="insert">Johnson. </span><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>
</dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-AQ"><span class="insert">[PROV-AQ]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, James Cheney, Stephen Cresswell, Yolanda Gil,</span><span class="insert">Graham Klyne;</span> Paul <span class="delete">Groth, Graham Klyne, Jim McCusker, Simon Miles, James Myers, Satya Sahoo, and Curt Tilmes </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite><span class="delete">PROV-DM: The PROV Data Model</span><span class="insert">Provenance Access and Query</span></cite></a>. <span class="insert">19 June </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N:</span><span class="insert">PROV-OVERVIEW:</span> The <span class="delete">Provenance Notation</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><span class="delete">[PROV-O]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Yolanda Gil; Simon Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Provenance Formal</span><span class="insert">Prov</span> Model<span class="insert"> Primer</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney</span><span class="insert">Cheney; ed.</span> <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
-</dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.
+</span></dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
</dd></dl></section></section></body></html>
--- a/model/diff-n.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/diff-n.html Thu Nov 22 09:14:45 2012 +0000
@@ -1669,6 +1669,9 @@
mapping of the PROV data model to concrete syntax, and is used as the basis for a
formal semantics of PROV. The purpose of this document is to define the PROV-N notation.
</p>
+
+
+<p><span class="insert">The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</span></p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -4162,11 +4165,10 @@
</dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a>
</dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a>
</dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">B.2</span><span class="insert">C.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.)</span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: The PROV Family</span> of <span class="delete">the Prov Data Model</span><span class="insert">Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier,</span><span class="insert">Paul Groth</span> and Luc Moreau <span class="delete">(eds.)</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, Stephen Cresswell, </span>Yolanda <span class="delete">Gil, Paul Groth, Graham Klyne, Jim McCusker,</span><span class="insert">Gil;</span> Simon <span class="delete">Miles, James Myers, Satya Sahoo, and Curt Tilmes</span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">PROV-DM: The PROV Data</span><span class="insert">Prov</span> Model<span class="insert"> Primer</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
</dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney</span><span class="insert">Cheney; ed.</span> <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
-
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.</span>
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd><span class="delete">James Cheney </span><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="delete">PROV-XML Mapping </span><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December </span>2012, Working <span class="delete">in Progress.</span><span class="insert">Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/ProvXML</span>
<span class="delete">[UNICODE5]</span><span class="delete">The Unicode Consortium. </span><span class="delete">The Unicode Standard, Version 5.1.0.</span><span class="delete"> Addison-Wesley. 2007. ISBN 0-321-48091-0. URL: </span><span class="delete">http://www.unicode.org/versions/Unicode5.1.0/</span>
<a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/diff.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/diff.html Thu Nov 22 09:14:45 2012 +0000
@@ -1661,7 +1661,7 @@
<dt><span class="insert">Test suite:</span></dt>
- <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/process.html</span></a></dd>
+ <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html</span></a></dd>
<dt><span class="insert">Implementation report:</span></dt>
@@ -5271,7 +5271,7 @@
</dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya <span class="delete">Sahoo and</span><span class="insert">Sahoo;</span> Paul <span class="delete">Groth and</span><span class="insert">Groth;</span> Olaf <span class="delete">Hartig and</span><span class="insert">Hartig;</span> Simon <span class="delete">Miles and</span><span class="insert">Miles;</span> Sam <span class="delete">Coppens and</span><span class="insert">Coppens;</span> James <span class="delete">Myers and</span><span class="insert">Myers;</span> Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Luc <span class="delete">Moreau and</span><span class="insert">Moreau;</span> Jun <span class="delete">Zhao and</span><span class="insert">Zhao;</span> Michael <span class="delete">Panzer and</span><span class="insert">Panzer;</span> Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-LAYOUT"><span class="insert">[PROV-LAYOUT]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.) </span><span class="insert">W3C PROV Working Group. </span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite><span class="delete">Constraints of the </span>PROV <span class="delete">Data Model</span><span class="insert">Graph Layout Conventions</span></cite></a>. <span class="delete">2011, Working Draft.</span><span class="insert">2012.</span> URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><span class="insert">http://www.w3.org/2011/prov/wiki/Diagrams</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N:</span><span class="insert">PROV-OVERVIEW:</span> The <span class="delete">Provenance Notation</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
<span class="delete">[PROV-O]</span><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="delete">Provenance Formal Model</span><span class="delete">. 2011, Working Draft. URL: </span><span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Simon <span class="delete">Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-primer/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
</dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/releases/CR-prov-constraints-20121211/Overview.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-constraints-20121211/Overview.html Thu Nov 22 09:14:45 2012 +0000
@@ -766,7 +766,7 @@
<a href="#dfn-equivalent" class="internalDFN">equivalent</a>. Validity and equivalence are also defined for PROV
bundles (that is, named instances) and documents (that is, a toplevel
instance together with zero or more bundles).</p>
-
+<p>The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -853,7 +853,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</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="#validation-process-overview-1" 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-since-last-version" class="tocxref"><span class="secno">B. </span>Changes since last version</a></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>
+</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="#validation-process-overview-1" 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-since-last-version" class="tocxref"><span class="secno">B. </span>Changes since last version</a></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>
@@ -1023,12 +1023,12 @@
</section>
<section id="rationale" class="informative">
-<!--OddPage--><h2><span class="secno">2. </span>Rationale</h2><p><em>This section is non-normative.</em></p>
+<!--OddPage--><h2><span class="secno">2. </span>Rationale (Informative)</h2><p><em>This section is non-normative.</em></p>
<p> This section gives a high-level rationale that provides some
further background for the constraints, but does not affect the
technical content of the rest of the specification.</p>
-<section id="entities-activities-and-agents">
+<section class="informative" id="entities-activities-and-agents">
<h3><span class="secno">2.1 </span>Entities, Activities and Agents</h3><p><em>This section is non-normative.</em></p>
<p>
One of the central challenges in representing provenance information
@@ -1114,8 +1114,8 @@
</section>
-<section id="events">
-<h3><span class="secno">2.2 </span>Events</h3>
+<section class="informative" id="events">
+<h3><span class="secno">2.2 </span>Events</h3><p><em>This section is non-normative.</em></p>
<p> Although time is important for provenance, provenance can be used
in many different contexts within individual systems and across the
@@ -1169,8 +1169,8 @@
</section>
-<section id="typing-section">
-<h3><span class="secno">2.3 </span>Types</h3>
+<section id="typing-section" class="informative">
+<h3><span class="secno">2.3 </span>Types</h3><p><em>This section is non-normative.</em></p>
<p> As set out in other specifications, the identifiers used in PROV
documents have associated type information. An identifier can have
@@ -1374,8 +1374,8 @@
</div>
</section>
-<section id="validation-process-overview-1">
-<h3><span class="secno">2.4 </span>Validation Process Overview</h3>
+<section class="informative" id="validation-process-overview-1">
+<h3><span class="secno">2.4 </span>Validation Process Overview</h3><p><em>This section is non-normative.</em></p>
<p>
@@ -1871,8 +1871,8 @@
</p>
</section>
-<section id="summary-of-inferences-and-constraints">
-<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3>
+<section class="informative" id="summary-of-inferences-and-constraints">
+<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3><p><em>This section is non-normative.</em></p>
<p><a href="">Table 2</a> summarizes the inferences, and
constraints specified in this document, broken down by component and
@@ -5374,7 +5374,7 @@
</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>
</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Editors TBD. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: The PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>
--- a/model/releases/CR-prov-constraints-20121211/diff-c.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-constraints-20121211/diff-c.html Thu Nov 22 09:14:45 2012 +0000
@@ -14,7 +14,529 @@
<style type="text/css">
.note { font-size:small; margin-left:50px }
- </style>
+ <span class="insert">
+
+
+/* --- EDITORIAL NOTES --- */
+.pending {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #BFEFFF;
+}
+
+.pending::before {
+ content: "Pending Review";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+
+.resolved {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #9BCD9B;
+}
+
+.resolved::before {
+ content: "Resolved";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+.inference {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+
+.inference-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+/* .inference[id]::before { */
+/* content: "Inference: " attr(id); */
+/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
+/* } */
+
+
+/* .inference::before { */
+/* content: "Inference"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #f00; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+.syntax {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.syntax[id]::before {
+ content: "Syntax: " attr(id);
+ width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.syntax::before {
+ content: "Syntax";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.unamedconstraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+
+.unamedconstraint::before {
+ content: "Constraint";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+
+
+.constraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.constraint-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+/* .constraint[id]::before { */
+/* content: "Constraint: " attr(id); */
+/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
+/* } */
+
+
+/* .constraint::before { */
+/* content: "Constraint"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #00f; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+
+
+.interpretation {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.interpretation[id]::before {
+ content: "Interpretation: " attr(id);
+ width: 380px; /* How can we compute the length of "Interpretation: " attr(id) */
+}
+
+
+.interpretation::before {
+ content: "Interpretation";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.definition {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+}
+
+.definition-example {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+}
+
+/* .definition[id]::before { */
+/* content: "Definition: " attr(id); */
+/* width: 380px; */
+/* } */
+
+
+/* .definition::before { */
+/* content: "Definition"; */
+/* display: block; */
+/* width: 150px; */
+/* margin: -1.5em 0 0.5em 0; */
+/* font-weight: bold; */
+/* border: 1px solid #000; */
+/* background: #fff; */
+/* padding: 3px 1em; */
+/* } */
+
+
+.deprecatedconstraint {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+}
+
+.deprecatedconstraint[id]::before {
+ content: "Deprecated: " attr(id);
+ width: 380px; /* How can we compute the length of "Deprecatedconstraint: " attr(id) */
+}
+
+
+.deprecatedconstraint::before {
+ content: "Deprecated";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #00f;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+.glossary-ref {
+ font-style: italic;
+}
+
+.dfn {
+ font-weight: bold;
+}
+
+
+.attribute {
+ font-style: italic;
+}
+
+
+.conditional {
+ color: blue;
+}
+
+.grammar {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ font-size: 95%;
+}
+.nonterminal {
+ font-weight: bold;
+ font-family: sans-serif;
+ font-size: 95%;
+}
+
+.name {
+ font-family: monospace;
+}
+
+.math {
+ font-family: roman;
+ font-style:italic;
+}
+
+
+.xmpl {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+}
+
+.xmpl::before {
+ content: "Example";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #f00;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+/*
+.anexample[count]::before {
+ content: "Example " attr(count) ;
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+.anexample:before {
+ content: "Example:";
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+*/
+
+.anexample {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ background-color: #f9f9f9;
+}
+.anexample table {
+ background-color: #f9f9f9;
+}
+
+.conceptexample:before {
+ content: "Example:";
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+.conceptexample {
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding-left: 1ex;
+ padding-right: 1ex;
+ padding-top: 1ex;
+ padding-bottom: 0.6ex;
+ border: 1px dashed #2f6fab;
+ background-color: #f9f9f9;
+}
+
+.pnExpression {
+ font-weight: normal;
+ font-size:120%;
+ font-family: monospace;
+}
+
+
+div[class="grammar"] span[class="name"]:before {
+ content: "'";
+}
+
+div[class="grammar"] span[class="name"]:after {
+ content: "'";
+}
+
+
+div[class="grammar"] span[class="optional"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="optional"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")?";
+}
+
+
+div[class="grammar"] span[class="plus"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="plus"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")+";
+}
+
+
+div[class="grammar"] span[class="star"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="star"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")*";
+}
+
+div[class="grammar"] span[class="choice"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="choice"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")";
+}
+
+div[class="grammar"] span[class="group"]:before {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: "(";
+}
+
+div[class="grammar"] span[class="group"]:after {
+ font-weight: normal;
+ font-size:130%;
+ font-family: monospace;
+ content: ")";
+}
+
+table {
+ background-color: #f9f9f9;
+}
+
+.component1-color {
+ background-color: rgba(255,42,42,0.2);
+}
+
+.component2-color {
+ background-color: rgba(0,68,170,0.2);
+}
+
+.component3-color {
+ background-color: rgba(0,170,0,0.2);
+}
+.component4-color {
+ background-color: rgba(204,255,0,0.2);
+}
+
+.component5-color {
+ background-color: rgba(11,40,40,0.2);
+}
+
+.component6-color {
+ background-color: rgba(244,105,14,0.2);
+}
+
+.interpretation-forward::before {
+ content: "Interpretation: ";
+ font-weight: bold;
+}
+
+.structural-forward::before {
+ content: "Structural constraint: ";
+ font-weight: bold;
+}
+
+
+code {
+ color: black;
+}
+
+.ruleTitle {
+ font-family: sans-serif;
+ font-size: 1.6ex;
+ font-weight: bold;
+}
+
+
+
+
+.remark {
+ padding: 1em;
+ margin: 1em 0em 0em;
+ border: 1px dashed #000;
+ background: #F0F0F0;
+}
+
+.remark::before {
+ content: "Remark";
+ display: block;
+ width: 150px;
+ margin: -1.5em 0 0.5em 0;
+ font-weight: bold;
+ border: 1px solid #000;
+ background: #fff;
+ padding: 3px 1em;
+}
+
+table.thinborder {
+ border-width: 1px;
+ border-spacing: 0px;
+ border-style: none;
+ border-color: gray;
+ border-collapse: collapse;
+}
+table.thinborder th {
+ border-width: 1px;
+ padding: 0px;
+ border-style: solid;
+ border-color: gray;
+}
+table.thinborder td {
+ border-width: 1px;
+ padding: 2px;
+ border-style: solid;
+ border-color: gray;
+}
+
+
+ </span></style>
@@ -1136,6 +1658,8 @@
bundles (that is, named instances) and documents (that is, a toplevel
instance together with zero or more bundles).</p>
+
+<p><span class="insert">The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</span></p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -1209,15 +1733,15 @@
If you wish to make comments regarding this document, please send them to
<a href="mailto:public-prov-comments@w3.org">public-prov-comments@w3.org</a>
(<a href="mailto:public-prov-comments-request@w3.org?subject=subscribe">subscribe</a>,
- <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).<span class="delete"> The Last Call period ends 10 October</span>
+ <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).<span class="delete"> The Last Call period ends 10 October 2012. </span>
<abbr title="World Wide Web Consortium"><span class="insert">W3C</span></abbr><span class="insert"> publishes a Candidate Recommendation to indicate that the document is believed
to be stable and to encourage implementation by the developer community. This
Candidate Recommendation is expected to advance to Proposed Recommendation no earlier than
- 31 January</span> 2012.
+ 31 January 2013.
- All feedback is welcome.
+ </span>All feedback is welcome.
</p>
<p>
@@ -1250,7 +1774,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</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="#validation-process-overview-1" 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"><span class="insert">4. </span></span><span class="insert">Basic concepts</span></a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno"><span class="delete">5.1</span><span class="insert">6.1</span> </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno"><span class="delete">5.2</span><span class="insert">6.2</span> </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.1</span><span class="insert">6.2.1</span> </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.2</span><span class="insert">6.2.2</span> </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.3</span><span class="insert">6.2.3</span> </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno"><span class="delete">5.3</span><span class="insert">6.3</span> </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno"><span class="delete">5.4</span><span class="insert">6.4</span> </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno"><span class="delete">6.1</span><span class="insert">7.1</span> </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno"><span class="delete">6.2</span><span class="insert">7.2</span> </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno"><span class="delete">7.</span><span class="insert">8.</span> </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-since-last-version" class="tocxref"><span class="secno"><span class="insert">B. </span></span><span class="insert">Changes since last version</span></a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">B.</span><span class="insert">C.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">C.1</span><span class="insert">D.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">C.2</span><span class="insert">D.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<span class="insert"> (Informative)</span></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="#validation-process-overview-1" 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"><span class="insert">4. </span></span><span class="insert">Basic concepts</span></a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno"><span class="delete">4.</span><span class="insert">5.</span> </span>Definitions and Inferences</a><ul class="toc"><li class="tocline"><a href="#optional-identifiers-and-attributes" class="tocxref"><span class="secno"><span class="delete">4.1</span><span class="insert">5.1</span> </span>Optional Identifiers and Attributes</a></li><li class="tocline"><a href="#entities-and-activities" class="tocxref"><span class="secno"><span class="delete">4.2</span><span class="insert">5.2</span> </span>Entities and Activities</a></li><li class="tocline"><a href="#derivations" class="tocxref"><span class="secno"><span class="delete">4.3</span><span class="insert">5.3</span> </span>Derivations</a></li><li class="tocline"><a href="#agents" class="tocxref"><span class="secno"><span class="delete">4.4</span><span class="insert">5.4</span> </span>Agents</a></li><li class="tocline"><a href="#alternate-and-specialized-entities" class="tocxref"><span class="secno"><span class="delete">4.5</span><span class="insert">5.5</span> </span>Alternate and Specialized Entities</a></li></ul></li><li class="tocline"><a href="#constraints" class="tocxref"><span class="secno"><span class="delete">5.</span><span class="insert">6.</span> </span>Constraints</a><ul class="toc"><li class="tocline"><a href="#uniqueness-constraints" class="tocxref"><span class="secno"><span class="delete">5.1</span><span class="insert">6.1</span> </span>Uniqueness Constraints</a></li><li class="tocline"><a href="#event-ordering-constraints" class="tocxref"><span class="secno"><span class="delete">5.2</span><span class="insert">6.2</span> </span>Event Ordering Constraints</a><ul class="toc"><li class="tocline"><a href="#activity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.1</span><span class="insert">6.2.1</span> </span>Activity constraints</a></li><li class="tocline"><a href="#entity-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.2</span><span class="insert">6.2.2</span> </span> Entity constraints</a></li><li class="tocline"><a href="#agent-constraints" class="tocxref"><span class="secno"><span class="delete">5.2.3</span><span class="insert">6.2.3</span> </span> Agent constraints</a></li></ul></li><li class="tocline"><a href="#type-constraints" class="tocxref"><span class="secno"><span class="delete">5.3</span><span class="insert">6.3</span> </span>Type Constraints</a></li><li class="tocline"><a href="#impossibility-constraints" class="tocxref"><span class="secno"><span class="delete">5.4</span><span class="insert">6.4</span> </span>Impossibility constraints</a></li></ul></li><li class="tocline"><a href="#normalization-validity-equivalence" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">7.</span> </span>Normalization, Validity, and Equivalence</a><ul class="toc"><li class="tocline"><a href="#instances" class="tocxref"><span class="secno"><span class="delete">6.1</span><span class="insert">7.1</span> </span>Instances</a></li><li class="tocline"><a href="#bundle-constraints" class="tocxref"><span class="secno"><span class="delete">6.2</span><span class="insert">7.2</span> </span>Bundles and Documents</a></li></ul></li><li class="tocline"><a href="#glossary" class="tocxref"><span class="secno"><span class="delete">7.</span><span class="insert">8.</span> </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-since-last-version" class="tocxref"><span class="secno"><span class="insert">B. </span></span><span class="insert">Changes since last version</span></a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno"><span class="delete">B.</span><span class="insert">C.</span> </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno"><span class="delete">C.</span><span class="insert">D.</span> </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno"><span class="delete">C.1</span><span class="insert">D.1</span> </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno"><span class="delete">C.2</span><span class="insert">D.2</span> </span>Informative references</a></li></ul></li></ul></section>
@@ -1430,12 +1954,12 @@
</section>
<section id="rationale" class="informative">
-<h2><span class="secno">2. </span>Rationale</h2><p><em>This section is non-normative.</em></p>
+<h2><span class="secno">2. </span>Rationale<span class="insert"> (Informative)</span></h2><p><em>This section is non-normative.</em></p>
<p> This section gives a high-level rationale that provides some
further background for the constraints, but does not affect the
technical content of the rest of the specification.</p>
-<section id="entities-activities-and-agents">
+<section class="informative" id="entities-activities-and-agents">
<h3><span class="secno">2.1 </span>Entities, Activities and Agents</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p>
One of the central challenges in representing provenance information
@@ -1522,8 +2046,8 @@
</section>
-<section id="events">
-<h3><span class="secno">2.2 </span>Events</h3>
+<section class="informative" id="events">
+<h3><span class="secno">2.2 </span>Events</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p> Although time is important for provenance, provenance can be used
in many different contexts within individual systems and across the
@@ -1577,8 +2101,8 @@
</section>
-<section id="typing-section">
-<h3><span class="secno">2.3 </span>Types</h3>
+<section id="typing-section" class="informative">
+<h3><span class="secno">2.3 </span>Types</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p> As set out in other specifications, the identifiers used in PROV
documents have associated type information. An identifier can have
@@ -1783,8 +2307,8 @@
</section>
-<section id="validation-process-overview-1">
-<h3><span class="secno">2.4 </span>Validation Process Overview</h3>
+<section class="informative" id="validation-process-overview-1">
+<h3><span class="secno">2.4 </span>Validation Process Overview</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p>
@@ -1821,8 +2345,10 @@
<h3 id="constants-variables-and-placeholders">Constants, Variables and Placeholders</h3>
<p>
PROV statements involve identifiers, literals,
- placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [<cite><span class="delete">IRI</span><a class="bibref" href="#bib-RFC3987"><span class="insert">RFC3987</span></a></cite>].
- However, in order to specify
+
+ placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [<cite><span class="delete">IRI</span><a class="bibref" href="#bib-RFC3987"><span class="insert">RFC3987</span></a></cite>].
+
+ However, in order to specify
constraints over PROV instances, we also need <em>variables</em>
that represent unknown identifiers, literals, or placeholders.
These variables are similar to those in first-order
@@ -2285,8 +2811,8 @@
</p>
</section>
-<section id="summary-of-inferences-and-constraints">
-<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3>
+<section class="informative" id="summary-of-inferences-and-constraints">
+<h3><span class="secno">2.5 </span>Summary of inferences and constraints</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<p><a href="">Table 2</a> summarizes the inferences, and
constraints specified in this document, broken down by component and
@@ -2315,7 +2841,7 @@
<a class="rule-text" href="#impossible-object-property-overlap_text"><span>Constraint <span class="delete">56</span><span class="insert">54</span> (impossible-object-property-overlap)</span></a><br>
<a class="rule-text" href="#entity-activity-disjoint_text"><span>Constraint <span class="delete">57</span><span class="insert">55</span> (entity-activity-disjoint)</span></a><br>
</td>
- <td rowspan="8" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component1" title="Component 1: Entities/Activities">1</a></td>
+ <td rowspan="8" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component1" title="Component 1: Entities/Activities">1</a></td>
</tr>
<tr class="component1-color">
<td class="essential"><a>Activity</a></td>
@@ -2441,7 +2967,7 @@
<a class="rule-text" href="#derivation-generation-generation-ordering_text"><span>Constraint <span class="delete">44</span><span class="insert">42</span> (derivation-generation-generation-ordering)</span></a><br>
<a class="rule-text" href="#typing_text"><span>Constraint <span class="delete">52</span><span class="insert">50</span> (typing)</span></a><br>
</td>
- <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component2" title="Component 2: Derivations">2</a></td>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component2" title="Component 2: Derivations">2</a></td>
</tr>
<tr class="component2-color">
<td class="provType"><a>Revision</a></td>
@@ -2466,7 +2992,7 @@
<td><a class="rule-text" href="#key-object_text"><span>Constraint <span class="delete">23</span><span class="insert">22</span> (key-object)</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap_text"><span>Constraint <span class="delete">56</span><span class="insert">54</span> (impossible-object-property-overlap)</span></a><br>
</td>
- <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component3" title="Component 3: Agents/Responsibility">3</a></td>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component3" title="Component 3: Agents/Responsibility">3</a></td>
</tr>
<tr class="component3-color">
<td class="essential"><a>Attribution</a></td>
@@ -2508,7 +3034,7 @@
<tr class="component4-color">
<td><a title="bundle">Bundle constructor</a></td>
<td>No specific constraints; see <a href="#bundle-constraints" class="sectionRef sec-ref">section <span class="delete">6.2</span><span class="insert">7.2</span> Bundles and Documents</a></td>
- <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component4" title="Component 4: Bundles">4</a></td>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component4" title="Component 4: Bundles">4</a></td>
</tr>
<tr class="component4-color">
<td class="provType"><a title="bundle">Bundle type</a></td>
@@ -2524,7 +3050,7 @@
<a class="rule-text" href="#alternate-symmetric_text"><span>Inference 18 (alternate-symmetric)</span></a><br>
<a class="rule-text" href="#typing_text"><span>Constraint <span class="delete">52</span><span class="insert">50</span> (typing)</span></a><br>
</td>
- <td rowspan="3" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component5" title="Component 5: Alternate Entities">5</a></td>
+ <td rowspan="3" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component5" title="Component 5: Alternate Entities">5</a></td>
</tr>
<tr class="component5-color">
<td><a>Specialization</a></td>
@@ -2551,7 +3077,7 @@
<tr class="component6-color">
<td><a>Collection</a></td>
<td> No specific constraints </td>
- <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component6" title="Component 6: Collections">6</a></td>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#component6" title="Component 6: Collections">6</a></td>
</tr>
<tr class="component6-color">
<td><a>Membership</a></td>
@@ -2983,8 +3509,8 @@
by fresh existential variables, distinct from any others occurring in
the instance.
The only exceptions to this general rule, where <span class="name">-</span> are to be left
- in place, are the <a href="http://www.w3.org/TR/prov-dm/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/prov-dm/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/prov-dm/#derivation.usage">usage</a> parameters in <span class="name">wasDerivedFrom</span> and
- the <a href="http://www.w3.org/TR/prov-dm/#association.plan">plan</a>
+ in place, are the <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.usage">usage</a> parameters in <span class="name">wasDerivedFrom</span> and
+ the <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.plan">plan</a>
parameter in <span class="name">wasAssociatedWith</span>. This is
further explained in remarks below.
</p>
@@ -3708,13 +4234,13 @@
</p>
<div class="constraint" id="key-object"><div class="ruleTitle"><a class="internalDFN" href="#key-object">Constraint <span class="delete">23</span><span class="insert">22</span> (key-object)</a></div>
<p></p><ol>
- <li>The identifier field <span class="delete">e</span><a href="http://www.w3.org/TR/prov-dm/#entity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <span class="delete">e</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#entity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">entity(e,attrs)</span><span class="insert">entity(id,attrs)</span></span> statement.
</li>
- <li>The identifier field <span class="delete">a</span><a href="http://www.w3.org/TR/prov-dm/#activity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <span class="delete">a</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#activity.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">activity(a,t1,t2,attrs)</span><span class="insert">activity(id,t1,t2,attrs)</span></span> statement.
</li>
-<li>The identifier field <span class="delete">ag</span><a href="http://www.w3.org/TR/prov-dm/#agent.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
+<li>The identifier field <span class="delete">ag</span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#agent.id"><span class="name"><span class="insert">id</span></span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">agent(ag,attrs)</span><span class="insert">agent(id,attrs)</span></span> statement.
</li>
</ol>
@@ -3729,39 +4255,39 @@
</p>
<div class="constraint" id="key-properties"><div class="ruleTitle"><a class="internalDFN" href="#key-properties">Constraint <span class="delete">24</span><span class="insert">23</span> (key-properties)</a></div>
<p></p><ol>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#generation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#generation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasGeneratedBy(id; e,a,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#usage.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">used(id; a,e,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#communication.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#communication.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasInformedBy(id; a2,a1,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#start.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#start.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasStartedBy(id; a2,e,a1,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#end.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#end.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasEndedBy(id; a2,e,a1,t,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#invalidation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#invalidation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasInvalidatedBy(id; e,a,t,attrs)</span> statement.
</li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#derivation.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasDerivedFrom(id; e2, e1, a, g2, u1, attrs)</span></span><span class="insert"> statement.
</span></li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#attribution.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#attribution.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasAttributedTo(id; e,ag,attr)</span></span><span class="insert"> statement.
</span></li>
- <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/prov-dm/#association.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
+ <li><span class="insert">The identifier field </span><a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.id"><span class="name"><span class="insert">id</span></span></a><span class="insert"> is a </span><span class="conditional"><span class="insert">KEY</span></span><span class="insert"> for
the </span><span class="name"><span class="insert">wasAssociatedWith(id; a,ag,pl,attrs)</span></span><span class="insert"> statement.
</span></li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#delegation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#delegation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name"><span class="delete">wasDerivedFrom(id; e2, e1, a, g2, u1, attrs)</span><span class="insert">actedOnBehalfOf(id; ag2,ag1,a,attrs)</span></span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/prov-dm/#influence.id"><span class="name">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
+ <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#influence.id"><span class="name">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
the </span><span class="delete">wasAttributedTo(id; e,ag,attr)</span><span class="delete"> statement.
</span>
<span class="delete">The identifier field </span><span class="delete">id</span><span class="delete"> is a </span><span class="delete">KEY</span><span class="delete"> for
@@ -5685,9 +6211,9 @@
</dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald <span class="delete">Fagin,</span><span class="insert">Fagin;</span> Phokion G. <span class="delete">Kolaitis,</span><span class="insert">Kolaitis;</span> Renée J. <span class="delete">Miller, and</span><span class="insert">Miller;</span> Lucian <span class="delete">Popa</span><span class="insert">Popa.</span> <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. <span class="delete">Johnson</span><span class="insert">Johnson. </span><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>
</dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-AQ"><span class="insert">[PROV-AQ]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, James Cheney, Stephen Cresswell, Yolanda Gil,</span><span class="insert">Graham Klyne;</span> Paul <span class="delete">Groth, Graham Klyne, Jim McCusker, Simon Miles, James Myers, Satya Sahoo, and Curt Tilmes </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite><span class="delete">PROV-DM: The PROV Data Model</span><span class="insert">Provenance Access and Query</span></cite></a>. <span class="insert">19 June </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N:</span><span class="insert">PROV-OVERVIEW:</span> The <span class="delete">Provenance Notation</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><span class="delete">[PROV-O]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Yolanda Gil; Simon Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Provenance Formal</span><span class="insert">Prov</span> Model<span class="insert"> Primer</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney</span><span class="insert">Cheney; ed.</span> <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
-</dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.
+</span></dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
</dd></dl></section></section></body></html>
--- a/model/releases/CR-prov-dm-20121211/Overview.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/Overview.html Thu Nov 22 09:14:45 2012 +0000
@@ -1188,7 +1188,7 @@
<dt>Test suite:</dt>
- <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/process.html</a></dd>
+ <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html</a></dd>
<dt>Implementation report:</dt>
@@ -4495,7 +4495,7 @@
</dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya Sahoo; Paul Groth; Olaf Hartig; Simon Miles; Sam Coppens; James Myers; Yolanda Gil; Luc Moreau; Jun Zhao; Michael Panzer; Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
</dd><dt id="bib-PROV-LAYOUT">[PROV-LAYOUT]</dt><dd>W3C PROV Working Group. <a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite>PROV Graph Layout Conventions</cite></a>. 2012. URL: <a href="http://www.w3.org/2011/prov/wiki/Diagrams">http://www.w3.org/2011/prov/wiki/Diagrams</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Editors TBD. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: The PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>
</dd><dt id="bib-RDF-CONCEPTS11">[RDF-CONCEPTS11]</dt><dd>Richard Cyganiak; David Wood; eds. RDF 1.1 Concepts and Abstract Syntax <a href="http://www.w3.org/TR/rdf11-concepts/"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. URL: <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
--- a/model/releases/CR-prov-dm-20121211/diff.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/diff.html Thu Nov 22 09:14:45 2012 +0000
@@ -1661,7 +1661,7 @@
<dt><span class="insert">Test suite:</span></dt>
- <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/process.html</span></a></dd>
+ <dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html</span></a></dd>
<dt><span class="insert">Implementation report:</span></dt>
@@ -5271,7 +5271,7 @@
</dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya <span class="delete">Sahoo and</span><span class="insert">Sahoo;</span> Paul <span class="delete">Groth and</span><span class="insert">Groth;</span> Olaf <span class="delete">Hartig and</span><span class="insert">Hartig;</span> Simon <span class="delete">Miles and</span><span class="insert">Miles;</span> Sam <span class="delete">Coppens and</span><span class="insert">Coppens;</span> James <span class="delete">Myers and</span><span class="insert">Myers;</span> Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Luc <span class="delete">Moreau and</span><span class="insert">Moreau;</span> Jun <span class="delete">Zhao and</span><span class="insert">Zhao;</span> Michael <span class="delete">Panzer and</span><span class="insert">Panzer;</span> Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-LAYOUT"><span class="insert">[PROV-LAYOUT]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.) </span><span class="insert">W3C PROV Working Group. </span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite><span class="delete">Constraints of the </span>PROV <span class="delete">Data Model</span><span class="insert">Graph Layout Conventions</span></cite></a>. <span class="delete">2011, Working Draft.</span><span class="insert">2012.</span> URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><span class="insert">http://www.w3.org/2011/prov/wiki/Diagrams</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N:</span><span class="insert">PROV-OVERVIEW:</span> The <span class="delete">Provenance Notation</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
<span class="delete">[PROV-O]</span><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="delete">Provenance Formal Model</span><span class="delete">. 2011, Working Draft. URL: </span><span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Simon <span class="delete">Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-primer/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
</dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/releases/CR-prov-n-20121211/Overview.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/Overview.html Thu Nov 22 09:14:45 2012 +0000
@@ -1243,6 +1243,8 @@
mapping of the PROV data model to concrete syntax, and is used as the basis for a
formal semantics of PROV. The purpose of this document is to define the PROV-N notation.
</p>
+
+<p>The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -3530,10 +3532,10 @@
</dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a>
</dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a>
</dd></dl></section><section id="informative-references"><h3><span class="secno">C.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Editors TBD. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: The PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
</dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>
</dd><dt id="bib-UNISEC">[UNISEC]</dt><dd> Mark Davis; Michel Suignard. <a href="http://www.unicode.org/reports/tr36/"><cite>Unicode Security Considerations<cite></cite></cite></a>. 4 August 2010. URL: <a href="http://www.unicode.org/reports/tr36/">http://www.unicode.org/reports/tr36/</a>
</dd></dl></section></section></body></html>
--- a/model/releases/CR-prov-n-20121211/diff-n.html Thu Nov 22 09:10:14 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/diff-n.html Thu Nov 22 09:14:45 2012 +0000
@@ -1669,6 +1669,9 @@
mapping of the PROV data model to concrete syntax, and is used as the basis for a
formal semantics of PROV. The purpose of this document is to define the PROV-N notation.
</p>
+
+
+<p><span class="insert">The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</span></p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -4162,11 +4165,10 @@
</dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a>
</dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a>
</dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">B.2</span><span class="insert">C.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.)</span><span class="insert">Editors TBD. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: The PROV Family</span> of <span class="delete">the Prov Data Model</span><span class="insert">Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier,</span><span class="insert">Paul Groth</span> and Luc Moreau <span class="delete">(eds.)</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
</dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, Stephen Cresswell, </span>Yolanda <span class="delete">Gil, Paul Groth, Graham Klyne, Jim McCusker,</span><span class="insert">Gil;</span> Simon <span class="delete">Miles, James Myers, Satya Sahoo, and Curt Tilmes</span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">PROV-DM: The PROV Data</span><span class="insert">Prov</span> Model<span class="insert"> Primer</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
</dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
-</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney</span><span class="insert">Cheney; ed.</span> <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
-
+</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.</span>
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd><span class="delete">James Cheney </span><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="delete">PROV-XML Mapping </span><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December </span>2012, Working <span class="delete">in Progress.</span><span class="insert">Draft.</span> URL: <span class="delete">http://www.w3.org/2011/prov/wiki/ProvXML</span>
<span class="delete">[UNICODE5]</span><span class="delete">The Unicode Consortium. </span><span class="delete">The Unicode Standard, Version 5.1.0.</span><span class="delete"> Addison-Wesley. 2007. ISBN 0-321-48091-0. URL: </span><span class="delete">http://www.unicode.org/versions/Unicode5.1.0/</span>
<a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>