--- a/model/PROV-DM.html Wed Oct 05 22:16:57 2011 +0100
+++ b/model/PROV-DM.html Wed Oct 05 22:22:21 2011 +0100
@@ -481,7 +481,154 @@
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: #006400; }
-</style><link href="./extra.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-WD" rel="stylesheet" type="text/css" charset="utf-8"></head>
+</style><style type="text/css">
+/* --- 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::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;
+}
+
+.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[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;
+}
+
+
+
+.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-family: monospace;
+}
+.nonterminal {
+ font-weight: bold;
+ font-family: sans-serif;
+ font-size: 95%;
+}
+
+.name {
+ font-family: monospace;
+}
+
+
+.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;
+}
+</style><link href="http://www.w3.org/StyleSheets/TR/W3C-WD" rel="stylesheet" type="text/css" charset="utf-8"></head>
<body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">The PROV data model and abstract syntax notation</h1><h2 id="subtitle">Initial draft for internal discussion</h2><h2 id="w3c-working-draft-05-october-2011">W3C Working Draft 05 October 2011</h2><dl><dt>This version:</dt><dd><a href="http://www.w3.org/TR/2011/WD-PROV-DM-20111005/">http://www.w3.org/TR/2011/WD-PROV-DM-20111005/</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/PROV-DM/">http://www.w3.org/TR/PROV-DM/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html</a></dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm">Luc Moreau</a>, University of Southampton, UK</dd>
<dd><a href="http://www.cs.ncl.ac.uk/people/Paolo.Missier">Paolo Missier</a>, Newcastle University, UK</dd>
<dt>Author:</dt><dd><span>TBD</span></dd>
@@ -495,7 +642,7 @@
formal semantics.
</p>
- </div><div id="sotd" class="introductory section"><h2>Status of This Document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at http://www.w3.org/TR/.</em></p><p>This document was published by the <a href="http://www.w3.org/2011/prov/wiki/Main_Page">Provenance Working Group</a> as a First Public Working Draft. This document is intended to become a W3C Recommendation. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">archives</a>). All feedback is welcome.</p><p>Publication as a Working Draft does not imply endorsement by the W3C Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 W3C Patent Policy</a>. W3C maintains a <a href="" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the W3C Patent Policy</a>.</p></div><div id="toc" class="section"><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>
+ </div><div id="sotd" class="introductory section"><h2>Status of This Document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at http://www.w3.org/TR/.</em></p><p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as a First Public Working Draft. This document is intended to become a W3C Recommendation. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3c.org@w3.org">public-prov-wg@w3c.org@w3.org</a> (<a href="mailto:public-prov-wg@w3c.org-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg@w3c.org/">archives</a>). All feedback is welcome.</p><p>Publication as a Working Draft does not imply endorsement by the W3C Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 W3C Patent Policy</a>. W3C maintains a <a href="" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the W3C Patent Policy</a>.</p></div><div id="toc" class="section"><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></li><li class="tocline"><a href="#preliminaries" class="tocxref"><span class="secno">2. </span>Preliminaries</a><ul class="toc"><li class="tocline"><a href="#a-conceptualization-of-the-world" class="tocxref"><span class="secno">2.1 </span>A Conceptualization of the World</a></li><li class="tocline"><a href="#prov-asn--the-provenance-abstract-syntax-notation" class="tocxref"><span class="secno">2.2 </span>PROV-ASN: The Provenance Abstract Syntax Notation</a></li><li class="tocline"><a href="#representation--assertion--and-inference" class="tocxref"><span class="secno">2.3 </span>Representation, Assertion, and Inference</a></li></ul></li><li class="tocline"><a href="#prov-dm-overview" class="tocxref"><span class="secno">3. </span>PROV-DM Overview </a></li><li class="tocline"><a href="#example" class="tocxref"><span class="secno">4. </span>Example</a><ul class="toc"><li class="tocline"><a href="#a-file-scenario" class="tocxref"><span class="secno">4.1 </span>A File Scenario</a></li><li class="tocline"><a href="#example-prov-asn-encoding" class="tocxref"><span class="secno">4.2 </span>Encoding using PROV-ASN</a></li><li class="tocline"><a href="#graphical-illustration" class="tocxref"><span class="secno">4.3 </span>Graphical Illustration</a></li></ul></li><li class="tocline"><a href="#data-model-concepts" class="tocxref"><span class="secno">5. </span>PROV-DM: The Provenance Data Model</a><ul class="toc"><li class="tocline"><a href="#PROV-DM-expression" class="tocxref"><span class="secno">5.1 </span>Expression</a></li><li class="tocline"><a href="#expression-element" class="tocxref"><span class="secno">5.2 </span>Element</a><ul class="toc"><li class="tocline"><a href="#expression-Entity" class="tocxref"><span class="secno">5.2.1 </span>Entity</a></li><li class="tocline"><a href="#expression-ProcessExecution" class="tocxref"><span class="secno">5.2.2 </span>Process Execution</a></li><li class="tocline"><a href="#expression-Agent" class="tocxref"><span class="secno">5.2.3 </span>Agent</a></li><li class="tocline"><a href="#expression-annotation" class="tocxref"><span class="secno">5.2.4 </span>Annotation</a></li></ul></li><li class="tocline"><a href="#expression-relation" class="tocxref"><span class="secno">5.3 </span>Relation</a><ul class="toc"><li class="tocline"><a href="#expression-Generation" class="tocxref"><span class="secno">5.3.1 </span>Generation</a></li><li class="tocline"><a href="#expression-Use" class="tocxref"><span class="secno">5.3.2 </span>Use</a></li><li class="tocline"><a href="#expression-Derivation" class="tocxref"><span class="secno">5.3.3 </span>Derivation</a><ul class="toc"><li class="tocline"><a href="#pe-linked-derivationExpression" class="tocxref"><span class="secno">5.3.3.1 </span>Process Execution Linked Derivation Assertion</a></li><li class="tocline"><a href="#process-execution-independent-derivation-expression" class="tocxref"><span class="secno">5.3.3.2 </span>Process Execution Independent Derivation Expression</a></li><li class="tocline"><a href="#transitive-derivation-expression" class="tocxref"><span class="secno">5.3.3.3 </span>Transitive Derivation Expression</a></li></ul></li><li class="tocline"><a href="#expression-Control" class="tocxref"><span class="secno">5.3.4 </span>Control</a></li><li class="tocline"><a href="#expression-complement-of" class="tocxref"><span class="secno">5.3.5 </span>Complementarity</a></li><li class="tocline"><a href="#expression-OrderingOfProcessExecutions" class="tocxref"><span class="secno">5.3.6 </span>Ordering of Process Executions</a></li><li class="tocline"><a href="#expression-Revision" class="tocxref"><span class="secno">5.3.7 </span>Revision</a></li><li class="tocline"><a href="#expression-Participation" class="tocxref"><span class="secno">5.3.8 </span>Participation</a></li><li class="tocline"><a href="#expression-annotationAssociation" class="tocxref"><span class="secno">5.3.9 </span>Annotation Association</a></li></ul></li><li class="tocline"><a href="#bundle" class="tocxref"><span class="secno">5.4 </span>Bundle</a><ul class="toc"><li class="tocline"><a href="#expression-Account" class="tocxref"><span class="secno">5.4.1 </span>Account</a></li><li class="tocline"><a href="#ProvenanceContainer" class="tocxref"><span class="secno">5.4.2 </span>Provenance Container</a></li></ul></li><li class="tocline"><a href="#expression-other" class="tocxref"><span class="secno">5.5 </span>Other Expressions</a><ul class="toc"><li class="tocline"><a href="#expression-qualifier" class="tocxref"><span class="secno">5.5.1 </span>Qualifier</a></li><li class="tocline"><a href="#expression-attribute" class="tocxref"><span class="secno">5.5.2 </span>Attribute</a></li><li class="tocline"><a href="#expression-name" class="tocxref"><span class="secno">5.5.3 </span>Name</a></li><li class="tocline"><a href="#expression-identifier" class="tocxref"><span class="secno">5.5.4 </span>Identifier</a></li><li class="tocline"><a href="#expression-literal" class="tocxref"><span class="secno">5.5.5 </span>Literal</a></li><li class="tocline"><a href="#expression-Time" class="tocxref"><span class="secno">5.5.6 </span>Time</a><ul class="toc"><li class="tocline"><a href="#temporal-events" class="tocxref"><span class="secno">5.5.6.1 </span>Temporal Events</a></li><li class="tocline"><a href="#event-ordering" class="tocxref"><span class="secno">5.5.6.2 </span>Event Ordering</a></li></ul></li><li class="tocline"><a href="#expression-Asserter" class="tocxref"><span class="secno">5.5.7 </span>Asserter</a></li><li class="tocline"><a href="#expression-NamespaceDeclaration" class="tocxref"><span class="secno">5.5.8 </span>Namespace Declaration</a></li><li class="tocline"><a href="#expression-RecipeLink" class="tocxref"><span class="secno">5.5.9 </span>Recipe Link</a></li><li class="tocline"><a href="#expression-Location" class="tocxref"><span class="secno">5.5.10 </span>Location</a></li></ul></li><li class="tocline"><a href="#extensibility-section" class="tocxref"><span class="secno">5.6 </span>PROV-DM Extensibility Points</a></li><li class="tocline"><a href="#standard-extensions" class="tocxref"><span class="secno">5.7 </span>Standard extensions</a><ul class="toc"><li class="tocline"><a href="#expression-Collection" class="tocxref"><span class="secno">5.7.1 </span>Collections</a></li><li class="tocline"><a href="#common-relations" class="tocxref"><span class="secno">5.7.2 </span>Common relations</a><ul class="toc"><li class="tocline"><a href="#quotation" class="tocxref"><span class="secno">5.7.2.1 </span>Quotation</a></li><li class="tocline"><a href="#attribution" class="tocxref"><span class="secno">5.7.2.2 </span>Attribution</a></li><li class="tocline"><a href="#summary" class="tocxref"><span class="secno">5.7.2.3 </span>Summary</a></li><li class="tocline"><a href="#original-source" class="tocxref"><span class="secno">5.7.2.4 </span>Original Source</a></li></ul></li></ul></li><li class="tocline"><a href="#illustration-conventions" class="tocxref"><span class="secno">5.8 </span>Illustration Conventions</a></li></ul></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
<div id="introduction" class="section">
@@ -505,6 +652,7 @@
<div class="note">Introduction needs to be written. It should indicate the aims and scope of this document, and position this document in the family of documents produced by the PROV WG.
</div>
+
<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
not">shall
not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
@@ -2710,6 +2858,6 @@
</dd><dt id="bib-XMLSCHEMA-2">[XMLSCHEMA-2]</dt><dd>Paul V. Biron; Ashok Malhotra. <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/"><cite>XML Schema Part 2: Datatypes Second Edition.</cite></a> 28 October 2004. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/">http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/</a>
</dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">B.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-OWL2">[PROV-OWL2]</dt><dd>Satya Sahoo and Deborah McGuinness <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html"><cite>Provenance Formal Model</cite></a>. 2011, Work in progress. URL: <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html</a>
</dd><dt id="bib-PROV-PAQ">[PROV-PAQ]</dt><dd>Graham Klyne and Paul Groth <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/paq/provenance-access.html"><cite>Provenance Access and Query</cite></a>. 2011, Work in progress. URL: <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/paq/provenance-access.html">http://dvcs.w3.org/hg/prov/tip/paq/provenance-access.html</a>
-</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Simon Miles <a href="http://www.w3.org/2011/prov/wiki/ProvenancePrimer"><cite>Provenance Primer</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvenancePrimer">http://www.w3.org/2011/prov/wiki/ProvenancePrimer</a>
+</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil and Simon Miles <a href="http://dvcs.w3.org/hg/prov/raw-file/default/primer/Primer.html"><cite>Prov Model Primer</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvenancePrimer">http://www.w3.org/2011/prov/wiki/ProvenancePrimer</a>
</dd><dt id="bib-PROV-SEMANTICS">[PROV-SEMANTICS]</dt><dd>James Cheney <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></dl></div></div></body></html>