--- a/model/diff-n.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/diff-n.html Tue Feb 19 14:59:52 2013 +0000
@@ -901,9 +901,9 @@
<li> <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/">PROV-CONSTRAINTS</a> <span class="delete">(Candidate</span><span class="insert">(Proposed</span> Recommendation), a set of constraints applying to the PROV data model [<cite><a class="bibref" href="#bib-PROV-CONSTRAINTS">PROV-CONSTRAINTS</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">PROV-XML</span></a><span class="insert"> (To be published as Note), an XML schema for the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-XML"><span class="insert">PROV-XML</span></a></cite><span class="insert">];</span></li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
-<li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as Note), <span class="delete">an XML schema for the PROV data model</span><span class="insert">introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note), provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note), introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
+<li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note), an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
</ul>
<span class="delete">How to read the PROV Family of Documents</span>
@@ -936,7 +936,7 @@
<a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).
- <span class="insert"> Reports of any success or difficulty with the test cases are encouraged. Open discussion among developers is welcome at
+ <span class="insert"> Open discussion among developers is also welcome at
</span><a href="mailto:public-prov-comments@w3.org"><span class="insert">public-prov-comments@w3.org</span></a><span class="insert">
(</span><a href="mailto:public-prov-comments-request@w3.org?subject=subscribe"><span class="insert">subscribe</span></a><span class="insert">,
</span><a href="http://lists.w3.org/Archives/Public/public-prov-comments/"><span class="insert">archives</span></a><span class="insert">).</span></p>
@@ -1117,10 +1117,10 @@
</p><div style="text-align: left;">
<table border="1" style="margin-left: auto; margin-right: auto;">
<caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
-<tbody><tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
-<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
-<tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
-<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
+<tbody><tr><td><b>prefix</b></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
+<tr><td>prov</td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
+<tr><td>xsd</td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
+<tr><td>(others)</td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
</tbody></table>
</div>
@@ -2403,13 +2403,13 @@
<p>
-A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to <a>namespace</a> interpretation. It consists of a <a>namespace</a>, denoted by an optional prefix, and a local name.
+A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to namespace interpretation. It consists of a <span class="delete">namespace</span><span class="delete">,</span><span class="insert">namespace,</span> denoted by an optional prefix, and a local name.
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a <a>namespace</a> declared in a namespace declaration. In the absence of prefix, the qualified name
- belongs to the <a title="default namespace declaration">default namespace</a>.</p>
+ qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+ belongs to the default <span class="delete">namespace</span><span class="delete">.</span><span class="insert">namespace.</span></p>
@@ -2784,7 +2784,7 @@
<div style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
-<tbody><tr><td><a><b>Production</b></a></td>
+<tbody><tr><td><b>Production</b></td>
<td><b>Examples of syntactically correct expressions</b></td>
<td><b>Additional semantic rule</b></td>
</tr>
@@ -2837,8 +2837,8 @@
<section id="document">
<h2><span class="secno">4. </span>Document</h2>
-<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
- to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
+<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
+ to package up PROV-N expressions in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a document is not defined as a PROV-N expression (production <code class="content"><a class="grammarRef" href="#prod-expression">expression</a></code>).</p>
@@ -2854,7 +2854,7 @@
<p>A document contains:
</p><ul>
-<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in <a title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <em>expressions</em> or <em>bundles</em>;</li>
+<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in attributes and identifiers occurring inside <em>expressions</em> or <em>bundles</em>;</li>
<li><em>expressions</em>: a set of expressions, each matching <code><a class="grammarRef" href="#prod-expression">expression</a></code>;</li>
<li><em>bundles</em>: a set of expressions, each matching
<code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</li>
@@ -3039,7 +3039,8 @@
<h3><span class="secno"><span class="insert">A.1 </span></span>Changes since last version</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<ul>
-<li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li><span class="insert">Checked that all fragments resolved.
+</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li></ul>
</section>
@@ -3091,10 +3092,10 @@
Reza B'Far (Oracle Corporation),
Khalid Belhajjame (University of Manchester),
James Cheney (University of Edinburgh, School of Informatics),
-Sam Coppens (IBBT),
+<span class="delete">Sam Coppens (IBBT),</span><span class="insert">Tom De Nies (iMinds - Ghent University),</span>
David Corsar (University of Aberdeen, Computing Science),
Stephen Cresswell (The National Archives),
-Tom De Nies (IBBT),
+Tom De Nies <span class="delete">(IBBT),</span><span class="insert">(iMinds - Ghent University),</span>
Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland),
Simon Dobson (Invited expert),
Martin Doerr (Foundation for Research and Technology - Hellas(FORTH)),
--- a/model/diff.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/diff.html Tue Feb 19 14:59:52 2013 +0000
@@ -2024,7 +2024,7 @@
<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-types-and-relations"><span>Table 6<sup><a class="internalDFN" href="#prov-dm-types-and-relations"><span class="diamond"> ◊:</span></a></sup> </span>PROV-DM Types and Relations</caption>
-<tbody><tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>Type or Relation Name</b></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color"><td class="essential"><a href="#concept-entity" class="internalDFN">Entity</a></td><td><a title="dfn-Entity" class="essential internalDFN" href="#dfn-entity">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1">Component 1: Entities/Activities</a></td></tr>
@@ -2058,7 +2058,7 @@
<tr class="component4-color"><td><a title="Bundle" href="#concept-bundle" class="internalDFN">Bundle constructor</a></td><td><a title="dfn-bundle" href="#dfn-bundle-constructor" class="internalDFN">bundle id description_1 ... description_n endBundle</a></td><td rowspan="2"><a href="#component4">Component 4: Bundles</a></td></tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component5-color"><td><a href="#concept-alternate" class="internalDFN">Alternate</a></td><td><a title="alternateOf" href="#dfn-alternateof" class="internalDFN">alternateOf(alt1, alt2)</a></td><td rowspan="2"><a href="#component5">Component 5: Alternate</a></td></tr>
@@ -2067,7 +2067,7 @@
<tr class="component6-color"><td class="provType"><a href="#concept-collection" class="internalDFN">Collection</a></td><td><a title="dfn-prov:collection" href="#dfn-prov:collection" class="internalDFN">... prov:type='prov:Collection' ...</a></td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
+<tr class="component6-color"><td class="provType"><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
<tr class="component6-color"><td><a href="#concept-membership" class="internalDFN">Membership</a></td><td><a title="hadMember" href="#dfn-hadmember" class="internalDFN">hadMember(c,e)</a></td></tr>
</tbody></table>
</div>
@@ -2081,7 +2081,7 @@
<section id="component1">
<h3><span class="secno">5.1 </span>Component 1: Entities and Activities</h3>
-<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
+<p>The first component of PROV-DM is concerned with <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> and <a title="Activity" href="#concept-activity" class="internalDFN">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
Core structures are displayed in the yellow area, consisting of two classes (<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and three binary associations between them: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). The rest of the figure displays extended structures, including UML association classes (see [<cite><a class="bibref" href="#bib-UML">UML</a></cite>], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations for Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>). The figure also makes explicit associations with <em>time</em> for these concepts (time being marked with the primitive stereotype). When not specified, cardinality is assumed to be 0..*.
</p>
@@ -2505,7 +2505,7 @@
-<p>The second component of PROV-DM is concerned with: <a title="derivation">derivations</a> of <a title="entity">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
+<p>The second component of PROV-DM is concerned with: <a title="Derivation" href="#concept-derivation" class="internalDFN">derivations</a> of <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
<a href="#figure-component2">Figure 6</a> depicts the third component
with PROV core structures in the yellow area, including two classes
(<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and binary association WasDerivedFrom
@@ -2955,7 +2955,7 @@
</ul></div>
<p>
-A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a>influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
+A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a title="Influence" href="#concept-influence" class="internalDFN">influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
</p>
@@ -3067,7 +3067,7 @@
<p>A bundle is a named set of descriptions, but it is also an entity so that its provenance can be described. </p>
-<p>PROV defines the following type for bundles:</p>
+<p>PROV defines the following <dfn title="Bundle Type" id="dfn-bundle-type" class="internalDFN">type for <span class="delete">bundles:</span><span class="insert">bundles</span></dfn><sup><a class="internalDFN" href="#dfn-bundle-type"><span class="diamond"><span class="insert"> ◊</span></span></a></sup><span class="insert">:</span></p>
<ul>
<li><dfn title="dfn-prov:bundle" id="dfn-prov:bundle" class="internalDFN"><span class="name">prov:Bundle</span></dfn><sup><a class="internalDFN" href="#dfn-prov:bundle"><span class="diamond"><span class="insert"> ◊</span></span></a></sup> is the type that denotes <span class="delete">bundles</span><span class="delete">.</span><span class="insert">Bundle entities.</span>
</li></ul>
@@ -3320,7 +3320,7 @@
<span class="glossary-ref"> A <dfn id="concept-collection" title="Collection" class="internalDFN">collection</dfn><sup><a class="internalDFN" href="#concept-collection"><span class="diamond"> ◊</span></a></sup> is an entity that provides a structure to some constituents that must themselves be entities. These constituents are said to be <dfn id="dfn-member" class="internalDFN">member</dfn><sup><a class="internalDFN" href="#dfn-member"><span class="diamond"> ◊</span></a></sup> of the collections. </span>
-<span class="glossary-ref"> An <dfn id="concept-empty-collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
+<span class="glossary-ref"> An <dfn id="concept-empty-collection" title="Empty Collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
<p>PROV-DM defines the following types related to collections:</p>
@@ -3805,7 +3805,7 @@
<div id="prov-dm-to-prov-o-and-prov-n-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-to-prov-o-and-prov-n"><span>Table 10<sup><a class="internalDFN" href="#prov-dm-to-prov-o-and-prov-n"><span class="diamond"> ◊:</span></a></sup> </span>Cross-References to PROV-O and PROV-N</caption>
-<tbody><tr><td><a><b>PROV-DM</b></a></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>PROV-DM</b></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color">
@@ -3955,7 +3955,7 @@
<td rowspan="2"><a href="#component5">Component 4: <br> Bundles</a></td>
</tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Bundle">Bundle</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-Bundle">Bundle</a></code></td>
</tr>
@@ -3987,7 +3987,7 @@
</tr>
<tr class="component6-color">
-<td><a title="Empty Collection">EmptyCollection</a></td>
+<td><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#EmptyCollection">EmptyCollection</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-EmptyCollection">EmptyCollection</a></code></td>
</tr>
@@ -4008,10 +4008,12 @@
<h3><span class="secno"><span class="insert">B.1 </span></span>Changes since last version</h3>
<ul>
-<li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li><span class="insert"> Checked all internal fragments resolved.
+</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li><li><span class="insert"> Fixed links to internal anchors, following change in respec.js
</span></li><li><span class="insert"> Added anchors for prov:Bundle, prov:Collection, prov:Emptycollection, prov:Plan, prov:Person, prov:SoftwareAgent, prov:Organization, to facilitate systematic cross-referencing.
+</span></li><li><span class="insert"> Likewise, added anchor for Bundle Type.
</span></li><li><span class="insert"> Table 9: fixed section number where plan is defined.
</span></li></ul>
</section>
--- a/model/glossary.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/glossary.html Tue Feb 19 14:59:52 2013 +0000
@@ -45,7 +45,7 @@
</span>
<span class="glossary" id="glossary-empty-collection">
-An <dfn id="concept-empty-collection">empty collection</dfn> is a collection without members.
+An <dfn id="concept-empty-collection" title="Empty Collection">empty collection</dfn> is a collection without members.
</span>
<span class="glossary" id="glossary-dictionary">
--- a/model/glossary.js Tue Feb 19 12:19:45 2013 +0000
+++ b/model/glossary.js Tue Feb 19 14:59:52 2013 +0000
@@ -3,7 +3,7 @@
// with <script src="glossary.js" class="remove"></script>
//Insert glossary definitions with the following
// <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/bac6ce25c7c6/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/5bd567e6b3db/model/glossary.html';
glossary_string=
' ' +
'<html> ' +
@@ -52,7 +52,7 @@
'</span> ' +
' ' +
'<span class="glossary" id="glossary-empty-collection"> ' +
-'An <dfn id="concept-empty-collection">empty collection</dfn> is a collection without members. ' +
+'An <dfn id="concept-empty-collection" title="Empty Collection">empty collection</dfn> is a collection without members. ' +
'</span> ' +
' ' +
'<span class="glossary" id="glossary-dictionary"> ' +
--- a/model/prov-constraints.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/prov-constraints.html Tue Feb 19 14:59:52 2013 +0000
@@ -534,110 +534,21 @@
</style>
-<!-- <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script> -->
+
<script src="https://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script>
<script src="https://www.w3.org/2007/OWL/toggles.js" class="remove"></script>
+
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js" class="remove"></script>
+ <script src="prov-magic.js" class="remove"></script>
+
<script class="remove">
function setColoredDiffs () {
- $('dt').each(function(index) {
- var content=$(this).text();
- if (content== "Previous version:") {
- console.log( "content " + content);
- $(this).next().append(" ").append($('<a>').attr('href','diff-c.html').append("(colored-coded diff)"));
- }
- })
+ setColoredDiffsForFile('diff-c.html');
}
-
- function updateRules() {
- var count=1;
- $('.constraint,.definition,.inference').each(function(index) {
-
- var myid=$(this).attr('id');
- var mycount=count++;
-
- if (myid==undefined) {
- myid='rule_' + mycount;
- $(this).attr('id',myid);
- }
-
- var myClass=$(this).attr('class');
-
- var myTitle=capitaliseFirstLetter(myClass) + ' ' + mycount + ' (' + myid + ')';
-
- $(this).attr('data-count', mycount)
- .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
- .append($('<a>').attr('id',mycount))
- .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle))
- );
-
- //console.log( "rule for " + myid + " " + mycount);
-
- });
-
- $('.constraint-example,.definition-example,.inference-example').each(function(index) {
-
- var myid=$(this).attr('id');
- var mycount='NNN';
-
- if (myid==undefined) {
- myid='rule_' + mycount;
- $(this).attr('id',myid);
- }
-
- var myClass=$(this).attr('class');
-
- var myTitle=capitaliseFirstLetter(myClass) + ' ' + mycount + ' (' + myid + ')';
-
- $(this).attr('data-count', mycount)
- .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
- .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle)));
-
- //console.log( "rule for " + myid + " " + mycount);
-
- });
- }
-
- function capitaliseFirstLetter(string)
- {
- return string.charAt(0).toUpperCase() + string.slice(1);
- }
-
-
- function updateRulesRefs() {
- $('.rule-ref').each(function(index) {
-
- myhref=$(this).attr('href');
-
- //console.log( "example ref for " + myhref);
-
- mytitle=$(myhref).attr('data-title');
-
- console.log( "rule ref for " + myhref + " " + mytitle);
-
- $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
-
- });
-
- $('.rule-text').each(function(index) {
-
- myhref=$(this).attr('href');
- $(this).attr('href', myhref + '_text');
-
- //console.log( "example ref for " + myhref);
-
- mytitle=$(myhref).attr('data-title');
-
- console.log( "rule ref for " + myhref + " " + mytitle);
-
- $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
-
- });
- }
function updateExamples() {
var count=1;
$('.anexample').each(function(index) {
@@ -693,7 +604,7 @@
}
// function to replace figure since not allowed by prov rules, and not transformed by respec.js
- function updateFigures() {
+ function IGNOREupdateFigures() {
$('figure').each(function(index) {
var myid=$(this).attr('id');
@@ -719,51 +630,6 @@
}
- function removeDataAttributes() {
-
-
- $('.anexample').each(function(index) {
- $(this).removeAttr('data-count');
- });
-
- $('caption').each(function(index) {
- $(this).removeAttr('data-count');
- });
-
- $('.figcaption').each(function(index) {
- $(this).removeAttr('data-count');
- });
-
- $('.definition').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-
- $('.inference').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-
- $('.constraint').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-
- $('.inference-example').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-
- $('.constraint-example').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-
- $('.definition-example').each(function(index) {
- $(this).removeAttr('data-count');
- $(this).removeAttr('data-title');
- });
-}
$(document).ready(function(){
updateRules();
@@ -914,7 +780,7 @@
// Add extraReferences to bibliography database
preProcess: [addExtraReferences, addProvReferences],
- postProcess: [updateFigures, removeDataAttributes, checkLinksToW3CReports, setColoredDiffs],
+ postProcess: [updateFigures, removeDataAttributes, checkLinksToW3CReports, setColoredDiffs, checkFragments],
};
</script>
</head>
@@ -959,7 +825,7 @@
<a>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 <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
+<p>The <a href="http://www.w3.org/TR/2012/WD-prov-overview-20130312/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
</section>
<section id="sotd">
@@ -1549,7 +1415,7 @@
<h4>Constants, Variables and Placeholders</h4>
<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/2012/CR-prov-n-20121211/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [[!RFC3987]].
+ placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/2012/PR-prov-n-20130312/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [[!RFC3987]].
However, in order to specify
constraints over PROV instances, we also need <em>variables</em>
that represent unknown identifiers, literals, or placeholders.
@@ -2035,23 +1901,23 @@
<div id="prov-constraints-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
<caption id="prov-constraints">Table 2: Summary of inferences and constraints for PROV Types and Relations</caption>
-<tr><td><a><b>Type or Relation Name</b></a></td><td><b>
+<tr><td><b>Type or Relation Name</b></td><td><b>
Inferences and Constraints</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color">
- <td class="essential"><a>Entity</a></td>
+ <td class="essential">Entity</td>
<td><a class="rule-text" href="#entity-generation-invalidation-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#specialization-attributes-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-object"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap"><span>TBD</span></a><br>
<a class="rule-text" href="#entity-activity-disjoint"><span>TBD</span></a><br>
</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>
+ <td rowspan="8" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component1" title="Component 1: Entities/Activities">1</a></td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Activity</a></td>
+ <td class="essential">Activity</td>
<td><a class="rule-text" href="#activity-start-end-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-object"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br>
@@ -2061,7 +1927,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Generation</a></td>
+ <td class="essential">Generation</td>
<td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
<!-- <a class="rule-text" href="#derivation-use-inference"><span>TBD</span></a><br>-->
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
@@ -2084,7 +1950,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Usage</a></td>
+ <td class="essential">Usage</td>
<td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2097,7 +1963,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Communication</a></td>
+ <td class="essential">Communication</td>
<td><a class="rule-text" href="#communication-generation-use-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2107,7 +1973,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Start</a></td>
+ <td class="essential">Start</td>
<td><a class="rule-text" href="#wasStartedBy-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2125,7 +1991,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>End</a></td>
+ <td class="essential">End</td>
<td><a class="rule-text" href="#wasEndedBy-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2143,7 +2009,7 @@
</td>
</tr>
<tr class="component1-color">
- <td class="essential"><a>Invalidation</a></td>
+ <td class="essential">Invalidation</td>
<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#unique-invalidation"><span>TBD</span></a><br>
@@ -2164,7 +2030,7 @@
<tr class="component2-color">
- <td class="essential"><a>Derivation</a></td>
+ <td class="essential">Derivation</td>
<td><a class="rule-text" href="#derivation-generation-use-inference"><span>TBD</span></a><br>
<!-- <a class="rule-text" href="#derivation-use-inference"><span>TBD</span></a><br>-->
<!-- <a class="rule-text" href="#specific-derivation-inference"><span>TBD</span></a><br>-->
@@ -2174,18 +2040,18 @@
<a class="rule-text" href="#derivation-generation-generation-ordering"><span>TBD</span></a><br>
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</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>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component2" title="Component 2: Derivations">2</a></td>
</tr>
<tr class="component2-color">
- <td class="provType"><a>Revision</a></td>
+ <td class="provType">Revision</td>
<td><a class="rule-text" href="#revision-is-alternate-inference"><span>TBD</span></a><br></td>
</tr>
<tr class="component2-color">
- <td class="provType"><a>Quotation</a></td>
+ <td class="provType">Quotation</td>
<td>No specific constraints</td>
</tr>
<tr class="component2-color">
- <td class="provType"><a>Primary Source</a></td>
+ <td class="provType">Primary Source</td>
<td>No specific constraints</td>
</tr>
<tr class="component2-color">
@@ -2199,10 +2065,10 @@
<td><a class="rule-text" href="#key-object"><span>TBD</span></a><br>
<a class="rule-text" href="#impossible-object-property-overlap"><span>TBD</span></a><br>
</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>
+ <td rowspan="5" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component3" title="Component 3: Agents/Responsibility">3</a></td>
</tr>
<tr class="component3-color">
- <td class="essential"><a>Attribution</a></td>
+ <td class="essential">Attribution</td>
<td><a class="rule-text" href="#attribution-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2212,7 +2078,7 @@
</td>
</tr>
<tr class="component3-color">
- <td class="essential"><a>Association</a></td>
+ <td class="essential">Association</td>
<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
<a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
@@ -2221,7 +2087,7 @@
</td>
</tr>
<tr class="component3-color">
- <td class="essential"><a>Delegation</a></td>
+ <td class="essential">Delegation</td>
<td><a class="rule-text" href="#delegation-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
@@ -2231,7 +2097,7 @@
</td>
</tr>
<tr class="component3-color">
- <td class="essential"><a>Influence</a></td>
+ <td class="essential">Influence</td>
<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
</td>
@@ -2242,7 +2108,7 @@
<td><a title="bundle">Bundle constructor</a></td>
<td>No specific constraints; see <a href="#bundle-constraints"
class="sectionRef"></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>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component4" title="Component 4: Bundles">4</a></td>
</tr>
<tr class="component4-color">
<td class="provType"><a title="bundle">Bundle type</a></td>
@@ -2253,16 +2119,16 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component5-color">
- <td><a>Alternate</a></td>
+ <td>Alternate</td>
<td><a class="rule-text" href="#alternate-reflexive"><span>TBD</span></a><br>
<a class="rule-text" href="#alternate-transitive"><span>TBD</span></a><br>
<a class="rule-text" href="#alternate-symmetric"><span>TBD</span></a><br>
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</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>
+ <td rowspan="3" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component5" title="Component 5: Alternate Entities">5</a></td>
</tr>
<tr class="component5-color">
- <td><a>Specialization</a></td>
+ <td>Specialization</td>
<td><a class="rule-text" href="#specialization-transitive"><span>TBD</span></a><br>
<a class="rule-text" href="#specialization-alternate-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#specialization-attributes-inference"><span>TBD</span></a><br>
@@ -2284,12 +2150,12 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component6-color">
- <td><a>Collection</a></td>
+ <td>Collection</td>
<td> No specific constraints </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>
+ <td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component6" title="Component 6: Collections">6</a></td>
</tr>
<tr class="component6-color">
- <td><a>Membership</a></td>
+ <td>Membership</td>
<td> <a class="rule-text" href="#membership-empty-collection"><span>TBD</span></a><br>
<a class="rule-text" href="#typing"><span>TBD</span></a><br>
</td>
@@ -2743,9 +2609,9 @@
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/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
+ in place, are the <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#derivation.activity">activity</a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#derivation.generation">generation</a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#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>
+ href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan">plan</a>
parameter in <span class="name">wasAssociatedWith</span>. This is
further explained in remarks below.
</p>
@@ -3663,13 +3529,13 @@
</p>
<div class='constraint' id='key-object'>
<p><ol>
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#entity.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/2013/PR-prov-dm-20130312/#entity.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">entity(id,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#activity.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/2013/PR-prov-dm-20130312/#activity.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">activity(id,t1,t2,attrs)</span> statement.
</li>
-<li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#agent.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/2013/PR-prov-dm-20130312/#agent.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">agent(id,attrs)</span> statement.
</li>
</ol>
@@ -3684,42 +3550,42 @@
</p>
<div class='constraint' id='key-properties'>
<p><ol>
- <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
+ <li>The identifier field <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#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/2012/CR-prov-dm-20121211/#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/2013/PR-prov-dm-20130312/#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/2012/CR-prov-dm-20121211/#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/2013/PR-prov-dm-20130312/#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/2012/CR-prov-dm-20121211/#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/2013/PR-prov-dm-20130312/#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/2012/CR-prov-dm-20121211/#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/2013/PR-prov-dm-20130312/#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/2012/CR-prov-dm-20121211/#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/2013/PR-prov-dm-20130312/#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>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#derivation.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/2013/PR-prov-dm-20130312/#derivation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasDerivedFrom(id; e2, e1, a, g2, u1, attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#attribution.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/2013/PR-prov-dm-20130312/#attribution.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasAttributedTo(id; e,ag,attr)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.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/2013/PR-prov-dm-20130312/#association.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasAssociatedWith(id; a,ag,pl,attrs)</span> statement.
</li>
<!--
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#association.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/2013/PR-prov-dm-20130312/#association.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasAssociatedWith(id; a,ag,-,attrs)</span> statement.
</li>
-->
- <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
+ <li>The identifier field <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#delegation.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">actedOnBehalfOf(id; ag2,ag1,a,attrs)</span> statement.
</li>
- <li>The identifier field <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#influence.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/2013/PR-prov-dm-20130312/#influence.id"><span class="name">id</span></a> is a <span class="conditional">KEY</span> for
the <span class="name">wasInfluencedBy(id; o2,o1,attrs)</span> statement.
</li>
</ol>
--- a/model/prov-dm.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/prov-dm.html Tue Feb 19 14:59:52 2013 +0000
@@ -233,7 +233,7 @@
// Add extraReferences to bibliography database
preProcess: [addExtraReferences, addProvReferences],
- postProcess: [updateSectionRefs, updateDfn, updateFigures, checkLinksToW3CReports, setContributors, setColoredDiffs],
+ postProcess: [updateSectionRefs, updateDfn, updateFigures, checkLinksToW3CReports, setContributors, setColoredDiffs, checkFragments],
};
</script>
<style type="text/css">
@@ -1919,7 +1919,7 @@
<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-types-and-relations">PROV-DM Types and Relations</caption> <!-- Table 6-->
-<tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
+<tr><td><b>Type or Relation Name</b></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color"><td class="essential"><a>Entity</a></td><td><a title="dfn-Entity" class="essential">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1">Component 1: Entities/Activities</a></td></tr>
@@ -1953,7 +1953,7 @@
<tr class="component4-color"><td><a title="Bundle">Bundle constructor</a></td><td><a title="dfn-bundle">bundle id description_1 ... description_n endBundle</a></td><td rowspan="2"><a href="#component4">Component 4: Bundles</a></td></tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle">Bundle type</a></td><td><a title="dfn-prov:bundle">... prov:type='prov:Bundle' ...</a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type">Bundle type</a></td><td><a title="dfn-prov:bundle">... prov:type='prov:Bundle' ...</a></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component5-color"><td><a>Alternate</a></td><td><a title="alternateOf">alternateOf(alt1, alt2)</a></td><td rowspan="2"><a href="#component5">Component 5: Alternate</a></td></tr>
@@ -1962,7 +1962,7 @@
<tr class="component6-color"><td class="provType"><a>Collection</a></td><td><a title="dfn-prov:collection">... prov:type='prov:Collection' ...</a></td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty collection">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection">... prov:type='prov:EmptyCollection' ...</a></td></tr>
+<tr class="component6-color"><td class="provType"><a title="Empty Collection">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection">... prov:type='prov:EmptyCollection' ...</a></td></tr>
<tr class="component6-color"><td><a>Membership</a></td><td><a title="hadMember">hadMember(c,e)</a></td></tr>
</table>
</div>
@@ -1976,7 +1976,7 @@
<section id="component1">
<h3>Component 1: Entities and Activities</h3>
-<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: Used (<a>Usage</a>), WasGeneratedBy (<a>Generation</a>), WasStartedBy (<a>Start</a>), WasEndedBy (<a>End</a>), WasInvalidatedBy (<a>Invalidation</a>), and WasInformedBy (<a>Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
+<p>The first component of PROV-DM is concerned with <a title="Entity">entities</a> and <a title="Activity">activities</a>, and their interrelations: Used (<a>Usage</a>), WasGeneratedBy (<a>Generation</a>), WasStartedBy (<a>Start</a>), WasEndedBy (<a>End</a>), WasInvalidatedBy (<a>Invalidation</a>), and WasInformedBy (<a>Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
Core structures are displayed in the yellow area, consisting of two classes (<a>Entity</a>, <a>Activity</a>) and three binary associations between them: Used (<a>Usage</a>), WasGeneratedBy (<a>Generation</a>), and WasInformedBy (<a>Communication</a>). The rest of the figure displays extended structures, including UML association classes (see [[UML]], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations for Used (<a>Usage</a>), WasGeneratedBy (<a>Generation</a>), WasInvalidatedBy (<a>Invalidation</a>), WasStartedBy (<a>Start</a>), WasEndedBy (<a>End</a>). The figure also makes explicit associations with <em>time</em> for these concepts (time being marked with the primitive stereotype). When not specified, cardinality is assumed to be 0..*.
</p>
@@ -2423,7 +2423,7 @@
-<p>The second component of PROV-DM is concerned with: <a title="derivation">derivations</a> of <a title="entity">entities</a> from other entities and derivation subtypes WasRevisionOf (<a>Revision</a>), WasQuotedFrom (<a>Quotation</a>), and HasPrimarySource (<a>Primary Source</a>).
+<p>The second component of PROV-DM is concerned with: <a title="Derivation">derivations</a> of <a title="Entity">entities</a> from other entities and derivation subtypes WasRevisionOf (<a>Revision</a>), WasQuotedFrom (<a>Quotation</a>), and HasPrimarySource (<a>Primary Source</a>).
<a href="#figure-component2">Figure 6</a> depicts the third component
with PROV core structures in the yellow area, including two classes
(<a>Entity</a>, <a>Activity</a>) and binary association WasDerivedFrom
@@ -2880,7 +2880,7 @@
</ul></div>
<p>
-A <a>Usage</a>, <a title="Start">start</a>, <a title="End">end</a>, <a title="Generation">generation</a>, <a title="Invalidation">invalidation</a>, <a title="Communication">communication</a>, <a title="Derivation">derivation</a>, <a title="Attribution">attribution</a>, <a title="Association">association</a>, and <a title="Delegation">delegation</a> is also an <a>influence</a>. It is RECOMMENDED to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a>Influence</a> relation may be useful to express queries over provenance information.
+A <a>Usage</a>, <a title="Start">start</a>, <a title="End">end</a>, <a title="Generation">generation</a>, <a title="Invalidation">invalidation</a>, <a title="Communication">communication</a>, <a title="Derivation">derivation</a>, <a title="Attribution">attribution</a>, <a title="Association">association</a>, and <a title="Delegation">delegation</a> is also an <a title="Influence">influence</a>. It is RECOMMENDED to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a>Influence</a> relation may be useful to express queries over provenance information.
</p>
@@ -2994,7 +2994,7 @@
<p>A bundle is a named set of descriptions, but it is also an entity so that its provenance can be described. </p>
-<p>PROV defines the following type for bundles:</p>
+<p>PROV defines the following <dfn title="Bundle Type" id="dfn-bundle-type">type for bundles</dfn>:</p>
<ul>
<li><dfn title="dfn-prov:bundle" id="dfn-prov:bundle"><span class="name">prov:Bundle</span></dfn> is the type that denotes Bundle entities.
</ul>
@@ -3752,7 +3752,7 @@
<div id="prov-dm-to-prov-o-and-prov-n-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-to-prov-o-and-prov-n">Cross-References to PROV-O and PROV-N</caption> <!-- Table 10-->
-<tr><td><a><b>PROV-DM</b></a></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
+<tr><td><b>PROV-DM</b></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color">
@@ -3902,7 +3902,7 @@
<td rowspan="2"><a href="#component5">Component 4: <br> Bundles</a></td>
</tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle">Bundle type</a></td>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type">Bundle type</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Bundle">Bundle</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-Bundle">Bundle</a></code></td>
</tr>
@@ -3955,10 +3955,12 @@
<h2>Changes since last version</h2>
<ul>
+<li> Checked all internal fragments resolved.
<li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
<li> Changed all URLs to PROV documents.
<li> Fixed links to internal anchors, following change in respec.js
<li> Added anchors for prov:Bundle, prov:Collection, prov:Emptycollection, prov:Plan, prov:Person, prov:SoftwareAgent, prov:Organization, to facilitate systematic cross-referencing.
+<li> Likewise, added anchor for Bundle Type.
<li> Table 9: fixed section number where plan is defined.
</ul>
</section>
--- a/model/prov-magic.js Tue Feb 19 12:19:45 2013 +0000
+++ b/model/prov-magic.js Tue Feb 19 14:59:52 2013 +0000
@@ -237,3 +237,164 @@
});
}
+
+function checkFragments() {
+ $('a').each(function(index) {
+ var myhref=$(this).attr('href');
+ var myid=$(this).attr('id');
+ if (myid!=undefined) {
+ // all OK!
+ } else {
+ if (myhref==undefined) {
+ var mytitle=$(this).attr('title');
+ var myname=$(this).attr('data-name');
+ if ((myname==undefined) && (mytitle==undefined)) {
+ console.log("fragment EMPTY HREF, title " + mytitle + ", id " + myid + ": " + $(this).html());
+ }
+ } else {
+ if (myhref.startsWith("#")) {
+ var elem=$(myhref).contents();
+ if (elem==undefined) {
+ console.log("fragment " + myhref + " " + elem);
+ } else {
+ // All OK
+ }
+ }
+ }
+ }
+ });
+}
+
+
+function updateRules() {
+ var count=1;
+ $('.constraint,.definition,.inference').each(function(index) {
+
+ var myid=$(this).attr('id');
+ var mycount=count++;
+
+ if (myid==undefined) {
+ myid='rule_' + mycount;
+ $(this).attr('id',myid);
+ }
+
+ var myClass=$(this).attr('class');
+
+ var myTitle=capitaliseFirstLetter(myClass) + ' ' + mycount + ' (' + myid + ')';
+
+ $(this).attr('data-count', mycount)
+ .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
+ .append($('<a>').attr('id',mycount))
+ .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle))
+ );
+
+ //console.log( "rule for " + myid + " " + mycount);
+
+ });
+
+ $('.constraint-example,.definition-example,.inference-example').each(function(index) {
+
+ var myid=$(this).attr('id');
+ var mycount='NNN';
+
+ if (myid==undefined) {
+ myid='rule_' + mycount;
+ $(this).attr('id',myid);
+ }
+
+ var myClass=$(this).attr('class');
+
+ var myTitle=capitaliseFirstLetter(myClass) + ' ' + mycount + ' (' + myid + ')';
+
+ $(this).attr('data-count', mycount)
+ .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
+ .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle)));
+
+ //console.log( "rule for " + myid + " " + mycount);
+
+ });
+}
+
+function capitaliseFirstLetter(string)
+{
+ return string.charAt(0).toUpperCase() + string.slice(1);
+}
+
+
+function updateRulesRefs() {
+ $('.rule-ref').each(function(index) {
+
+ myhref=$(this).attr('href');
+
+ //console.log( "example ref for " + myhref);
+
+ mytitle=$(myhref).attr('data-title');
+
+ console.log( "rule ref for " + myhref + " " + mytitle);
+
+ $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
+
+ });
+
+ $('.rule-text').each(function(index) {
+
+ myhref=$(this).attr('href');
+ $(this).attr('href', myhref + '_text');
+
+ //console.log( "example ref for " + myhref);
+
+ mytitle=$(myhref).attr('data-title');
+
+ console.log( "rule ref for " + myhref + " " + mytitle);
+
+ $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
+
+ });
+}
+
+
+function removeDataAttributes() {
+
+
+ $('.anexample').each(function(index) {
+ $(this).removeAttr('data-count');
+ });
+
+ $('caption').each(function(index) {
+ $(this).removeAttr('data-count');
+ });
+
+ $('.figcaption').each(function(index) {
+ $(this).removeAttr('data-count');
+ });
+
+ $('.definition').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+
+ $('.inference').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+
+ $('.constraint').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+
+ $('.inference-example').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+
+ $('.constraint-example').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+
+ $('.definition-example').each(function(index) {
+ $(this).removeAttr('data-count');
+ $(this).removeAttr('data-title');
+ });
+}
--- a/model/prov-n.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/prov-n.html Tue Feb 19 14:59:52 2013 +0000
@@ -176,7 +176,7 @@
// Add extraReferences to bibliography database
preProcess: [addExtraReferences, addProvReferences],
- postProcess: [checkLinksToW3CReports, setContributors, setColoredDiffs],
+ postProcess: [checkLinksToW3CReports, setContributors, setColoredDiffs, checkFragments],
};
</script>
@@ -929,16 +929,6 @@
<section id="notational-conventions">
<h3>Notational Conventions</h3>
-<!--
-<p>The PROV namespace is <span class="name">http://www.w3.org/ns/prov#</span> with prefix <span class="name">prov:</span>.</p>
-
-<p> All the elements, predicates, reserved names and attributes introduced in this specification belong to the PROV namespace.</p>
-</section>
-
-<section id="conventions">
-<h3>Conventions</h3>
-
--->
<p>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and
@@ -954,10 +944,10 @@
<div style="text-align: left;">
<table border="1" style="margin-left: auto; margin-right: auto;">
<caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
-<tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
-<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
-<tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [[!XMLSCHEMA11-2]]</td></tr>
-<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br/> In particular, URIs starting with "http://example.com" represent<br/> some application-dependent URI [[!RFC3986]]</td></tr>
+<tr><td><b>prefix</b></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
+<tr><td>prov</td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
+<tr><td>xsd</td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [[!XMLSCHEMA11-2]]</td></tr>
+<tr><td>(others)</td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br/> In particular, URIs starting with "http://example.com" represent<br/> some application-dependent URI [[!RFC3986]]</td></tr>
</table>
</div>
@@ -2311,13 +2301,13 @@
<p>
-A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to <a>namespace</a> interpretation. It consists of a <a>namespace</a>, denoted by an optional prefix, and a local name.
+A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to namespace interpretation. It consists of a namespace, denoted by an optional prefix, and a local name.
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
<p>A qualified name's prefix is OPTIONAL. If a prefix occurs in a
- qualified name, the prefix MUST refer to a <a>namespace</a> declared in a namespace declaration. In the absence of prefix, the qualified name
- belongs to the <a title="default namespace declaration">default namespace</a>.</p>
+ qualified name, the prefix MUST refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+ belongs to the default namespace.</p>
<!--
<div class='grammar'>
@@ -2736,7 +2726,7 @@
<div style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
-<tr><td><a><b>Production</b></a></td>
+<tr><td><b>Production</b></td>
<td><b>Examples of syntactically correct expressions</b></td>
<td><b>Additional semantic rule</b></td>
</tr>
@@ -2789,8 +2779,8 @@
<section id="document">
<h4>Document</h4>
-<p>A <dfn>document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
- to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([[PROV-AQ]]).</p>
+<p>A <dfn>document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
+ to package up PROV-N expressions in response to a request for the provenance of something ([[PROV-AQ]]).</p>
<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a document is not defined as a PROV-N expression (production <code class="content"><a class="grammarRef" href="#prod-expression">expression</a></code>).</p>
@@ -2807,8 +2797,7 @@
<p>A document contains:
<ul>
-<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in <a
-title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <em>expressions</em> or <em>bundles</em>;</li>
+<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in attributes and identifiers occurring inside <em>expressions</em> or <em>bundles</em>;</li>
<li><em>expressions</em>: a set of expressions, each matching <code><a class="grammarRef" href="#prod-expression">expression</a></code>;</li>
<li><em>bundles</em>: a set of expressions, each matching
<code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</li>
@@ -3007,6 +2996,7 @@
<h2>Changes since last version</h2>
<ul>
+<li>Checked that all fragments resolved.
<li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
<li> Changed all URLs to PROV documents.
</ul>
--- a/model/releases/PR-prov-dm-20130312/Overview.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/releases/PR-prov-dm-20130312/Overview.html Tue Feb 19 14:59:52 2013 +0000
@@ -1986,7 +1986,7 @@
<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-types-and-relations"><span>Table 6<sup><a class="internalDFN" href="#prov-dm-types-and-relations"><span class="diamond"> ◊:</span></a></sup> </span>PROV-DM Types and Relations</caption> <!-- Table 6-->
-<tbody><tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>Type or Relation Name</b></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color"><td class="essential"><a href="#concept-entity" class="internalDFN">Entity</a></td><td><a title="dfn-Entity" class="essential internalDFN" href="#dfn-entity">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1">Component 1: Entities/Activities</a></td></tr>
@@ -2020,7 +2020,7 @@
<tr class="component4-color"><td><a title="Bundle" href="#concept-bundle" class="internalDFN">Bundle constructor</a></td><td><a title="dfn-bundle" href="#dfn-bundle-constructor" class="internalDFN">bundle id description_1 ... description_n endBundle</a></td><td rowspan="2"><a href="#component4">Component 4: Bundles</a></td></tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component5-color"><td><a href="#concept-alternate" class="internalDFN">Alternate</a></td><td><a title="alternateOf" href="#dfn-alternateof" class="internalDFN">alternateOf(alt1, alt2)</a></td><td rowspan="2"><a href="#component5">Component 5: Alternate</a></td></tr>
@@ -2029,7 +2029,7 @@
<tr class="component6-color"><td class="provType"><a href="#concept-collection" class="internalDFN">Collection</a></td><td><a title="dfn-prov:collection" href="#dfn-prov:collection" class="internalDFN">... prov:type='prov:Collection' ...</a></td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
+<tr class="component6-color"><td class="provType"><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
<tr class="component6-color"><td><a href="#concept-membership" class="internalDFN">Membership</a></td><td><a title="hadMember" href="#dfn-hadmember" class="internalDFN">hadMember(c,e)</a></td></tr>
</tbody></table>
</div>
@@ -2043,7 +2043,7 @@
<section id="component1">
<h3><span class="secno">5.1 </span>Component 1: Entities and Activities</h3>
-<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
+<p>The first component of PROV-DM is concerned with <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> and <a title="Activity" href="#concept-activity" class="internalDFN">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
Core structures are displayed in the yellow area, consisting of two classes (<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and three binary associations between them: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). The rest of the figure displays extended structures, including UML association classes (see [<cite><a class="bibref" href="#bib-UML">UML</a></cite>], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations for Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>). The figure also makes explicit associations with <em>time</em> for these concepts (time being marked with the primitive stereotype). When not specified, cardinality is assumed to be 0..*.
</p>
@@ -2467,7 +2467,7 @@
-<p>The second component of PROV-DM is concerned with: <a title="derivation">derivations</a> of <a title="entity">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
+<p>The second component of PROV-DM is concerned with: <a title="Derivation" href="#concept-derivation" class="internalDFN">derivations</a> of <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
<a href="#figure-component2">Figure 6</a> depicts the third component
with PROV core structures in the yellow area, including two classes
(<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and binary association WasDerivedFrom
@@ -2914,7 +2914,7 @@
</ul></div>
<p>
-A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a>influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
+A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a title="Influence" href="#concept-influence" class="internalDFN">influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
</p>
@@ -3026,7 +3026,7 @@
<p>A bundle is a named set of descriptions, but it is also an entity so that its provenance can be described. </p>
-<p>PROV defines the following type for bundles:</p>
+<p>PROV defines the following <dfn title="Bundle Type" id="dfn-bundle-type" class="internalDFN">type for bundles</dfn><sup><a class="internalDFN" href="#dfn-bundle-type"><span class="diamond"> ◊</span></a></sup>:</p>
<ul>
<li><dfn title="dfn-prov:bundle" id="dfn-prov:bundle" class="internalDFN"><span class="name">prov:Bundle</span></dfn><sup><a class="internalDFN" href="#dfn-prov:bundle"><span class="diamond"> ◊</span></a></sup> is the type that denotes Bundle entities.
</li></ul>
@@ -3279,7 +3279,7 @@
<span class="glossary-ref"> A <dfn id="concept-collection" title="Collection" class="internalDFN">collection</dfn><sup><a class="internalDFN" href="#concept-collection"><span class="diamond"> ◊</span></a></sup> is an entity that provides a structure to some constituents that must themselves be entities. These constituents are said to be <dfn id="dfn-member" class="internalDFN">member</dfn><sup><a class="internalDFN" href="#dfn-member"><span class="diamond"> ◊</span></a></sup> of the collections. </span>
-<span class="glossary-ref"> An <dfn id="concept-empty-collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
+<span class="glossary-ref"> An <dfn id="concept-empty-collection" title="Empty Collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
<p>PROV-DM defines the following types related to collections:</p>
@@ -3764,7 +3764,7 @@
<div id="prov-dm-to-prov-o-and-prov-n-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-to-prov-o-and-prov-n"><span>Table 10<sup><a class="internalDFN" href="#prov-dm-to-prov-o-and-prov-n"><span class="diamond"> ◊:</span></a></sup> </span>Cross-References to PROV-O and PROV-N</caption> <!-- Table 10-->
-<tbody><tr><td><a><b>PROV-DM</b></a></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>PROV-DM</b></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color">
@@ -3914,7 +3914,7 @@
<td rowspan="2"><a href="#component5">Component 4: <br> Bundles</a></td>
</tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Bundle">Bundle</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-Bundle">Bundle</a></code></td>
</tr>
@@ -3946,7 +3946,7 @@
</tr>
<tr class="component6-color">
-<td><a title="Empty Collection">EmptyCollection</a></td>
+<td><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#EmptyCollection">EmptyCollection</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-EmptyCollection">EmptyCollection</a></code></td>
</tr>
@@ -3967,10 +3967,12 @@
<h3><span class="secno">B.1 </span>Changes since last version</h3>
<ul>
-<li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li> Checked all internal fragments resolved.
+</li><li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</li><li> Changed all URLs to PROV documents.
</li><li> Fixed links to internal anchors, following change in respec.js
</li><li> Added anchors for prov:Bundle, prov:Collection, prov:Emptycollection, prov:Plan, prov:Person, prov:SoftwareAgent, prov:Organization, to facilitate systematic cross-referencing.
+</li><li> Likewise, added anchor for Bundle Type.
</li><li> Table 9: fixed section number where plan is defined.
</li></ul>
</section>
--- a/model/releases/PR-prov-dm-20130312/diff.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/releases/PR-prov-dm-20130312/diff.html Tue Feb 19 14:59:52 2013 +0000
@@ -2024,7 +2024,7 @@
<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-types-and-relations"><span>Table 6<sup><a class="internalDFN" href="#prov-dm-types-and-relations"><span class="diamond"> ◊:</span></a></sup> </span>PROV-DM Types and Relations</caption>
-<tbody><tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>Type or Relation Name</b></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color"><td class="essential"><a href="#concept-entity" class="internalDFN">Entity</a></td><td><a title="dfn-Entity" class="essential internalDFN" href="#dfn-entity">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1">Component 1: Entities/Activities</a></td></tr>
@@ -2058,7 +2058,7 @@
<tr class="component4-color"><td><a title="Bundle" href="#concept-bundle" class="internalDFN">Bundle constructor</a></td><td><a title="dfn-bundle" href="#dfn-bundle-constructor" class="internalDFN">bundle id description_1 ... description_n endBundle</a></td><td rowspan="2"><a href="#component4">Component 4: Bundles</a></td></tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td><td><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">... prov:type='prov:Bundle' ...</a></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component5-color"><td><a href="#concept-alternate" class="internalDFN">Alternate</a></td><td><a title="alternateOf" href="#dfn-alternateof" class="internalDFN">alternateOf(alt1, alt2)</a></td><td rowspan="2"><a href="#component5">Component 5: Alternate</a></td></tr>
@@ -2067,7 +2067,7 @@
<tr class="component6-color"><td class="provType"><a href="#concept-collection" class="internalDFN">Collection</a></td><td><a title="dfn-prov:collection" href="#dfn-prov:collection" class="internalDFN">... prov:type='prov:Collection' ...</a></td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
+<tr class="component6-color"><td class="provType"><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td><td><a title="dfn-prov:emptyCollection" href="#dfn-prov:emptyCollection" class="internalDFN">... prov:type='prov:EmptyCollection' ...</a></td></tr>
<tr class="component6-color"><td><a href="#concept-membership" class="internalDFN">Membership</a></td><td><a title="hadMember" href="#dfn-hadmember" class="internalDFN">hadMember(c,e)</a></td></tr>
</tbody></table>
</div>
@@ -2081,7 +2081,7 @@
<section id="component1">
<h3><span class="secno">5.1 </span>Component 1: Entities and Activities</h3>
-<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
+<p>The first component of PROV-DM is concerned with <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> and <a title="Activity" href="#concept-activity" class="internalDFN">activities</a>, and their interrelations: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). <a href="#figure-component1">Figure 5</a> uses UML to depict the first component.
Core structures are displayed in the yellow area, consisting of two classes (<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and three binary associations between them: Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), and WasInformedBy (<a href="#concept-communication" class="internalDFN">Communication</a>). The rest of the figure displays extended structures, including UML association classes (see [<cite><a class="bibref" href="#bib-UML">UML</a></cite>], section 7.3.4, p. 42), represented in gray, to express expanded n-ary relations for Used (<a href="#concept-usage" class="internalDFN">Usage</a>), WasGeneratedBy (<a href="#concept-generation" class="internalDFN">Generation</a>), WasInvalidatedBy (<a href="#concept-invalidation" class="internalDFN">Invalidation</a>), WasStartedBy (<a href="#concept-start" class="internalDFN">Start</a>), WasEndedBy (<a href="#concept-end" class="internalDFN">End</a>). The figure also makes explicit associations with <em>time</em> for these concepts (time being marked with the primitive stereotype). When not specified, cardinality is assumed to be 0..*.
</p>
@@ -2505,7 +2505,7 @@
-<p>The second component of PROV-DM is concerned with: <a title="derivation">derivations</a> of <a title="entity">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
+<p>The second component of PROV-DM is concerned with: <a title="Derivation" href="#concept-derivation" class="internalDFN">derivations</a> of <a title="Entity" href="#concept-entity" class="internalDFN">entities</a> from other entities and derivation subtypes WasRevisionOf (<a href="#concept-revision" class="internalDFN">Revision</a>), WasQuotedFrom (<a href="#concept-quotation" class="internalDFN">Quotation</a>), and HasPrimarySource (<a href="#concept-primary-source" class="internalDFN">Primary Source</a>).
<a href="#figure-component2">Figure 6</a> depicts the third component
with PROV core structures in the yellow area, including two classes
(<a href="#concept-entity" class="internalDFN">Entity</a>, <a href="#concept-activity" class="internalDFN">Activity</a>) and binary association WasDerivedFrom
@@ -2955,7 +2955,7 @@
</ul></div>
<p>
-A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a>influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
+A <a href="#concept-usage" class="internalDFN">Usage</a>, <a title="Start" href="#concept-start" class="internalDFN">start</a>, <a title="End" href="#concept-end" class="internalDFN">end</a>, <a title="Generation" href="#concept-generation" class="internalDFN">generation</a>, <a title="Invalidation" href="#concept-invalidation" class="internalDFN">invalidation</a>, <a title="Communication" href="#concept-communication" class="internalDFN">communication</a>, <a title="Derivation" href="#concept-derivation" class="internalDFN">derivation</a>, <a title="Attribution" href="#concept-attribution" class="internalDFN">attribution</a>, <a title="Association" href="#concept-association" class="internalDFN">association</a>, and <a title="Delegation" href="#concept-delegation" class="internalDFN">delegation</a> is also an <a title="Influence" href="#concept-influence" class="internalDFN">influence</a>. It is <em class="rfc2119" title="recommended">recommended</em> to adopt these more specific relations when writing provenance descriptions. It is anticipated that the <a href="#concept-influence" class="internalDFN">Influence</a> relation may be useful to express queries over provenance information.
</p>
@@ -3067,7 +3067,7 @@
<p>A bundle is a named set of descriptions, but it is also an entity so that its provenance can be described. </p>
-<p>PROV defines the following type for bundles:</p>
+<p>PROV defines the following <dfn title="Bundle Type" id="dfn-bundle-type" class="internalDFN">type for <span class="delete">bundles:</span><span class="insert">bundles</span></dfn><sup><a class="internalDFN" href="#dfn-bundle-type"><span class="diamond"><span class="insert"> ◊</span></span></a></sup><span class="insert">:</span></p>
<ul>
<li><dfn title="dfn-prov:bundle" id="dfn-prov:bundle" class="internalDFN"><span class="name">prov:Bundle</span></dfn><sup><a class="internalDFN" href="#dfn-prov:bundle"><span class="diamond"><span class="insert"> ◊</span></span></a></sup> is the type that denotes <span class="delete">bundles</span><span class="delete">.</span><span class="insert">Bundle entities.</span>
</li></ul>
@@ -3320,7 +3320,7 @@
<span class="glossary-ref"> A <dfn id="concept-collection" title="Collection" class="internalDFN">collection</dfn><sup><a class="internalDFN" href="#concept-collection"><span class="diamond"> ◊</span></a></sup> is an entity that provides a structure to some constituents that must themselves be entities. These constituents are said to be <dfn id="dfn-member" class="internalDFN">member</dfn><sup><a class="internalDFN" href="#dfn-member"><span class="diamond"> ◊</span></a></sup> of the collections. </span>
-<span class="glossary-ref"> An <dfn id="concept-empty-collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
+<span class="glossary-ref"> An <dfn id="concept-empty-collection" title="Empty Collection" class="internalDFN">empty collection</dfn><sup><a class="internalDFN" href="#concept-empty-collection"><span class="diamond"> ◊</span></a></sup> is a collection without members. </span>
<p>PROV-DM defines the following types related to collections:</p>
@@ -3805,7 +3805,7 @@
<div id="prov-dm-to-prov-o-and-prov-n-fig" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-to-prov-o-and-prov-n"><span>Table 10<sup><a class="internalDFN" href="#prov-dm-to-prov-o-and-prov-n"><span class="diamond"> ◊:</span></a></sup> </span>Cross-References to PROV-O and PROV-N</caption>
-<tbody><tr><td><a><b>PROV-DM</b></a></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
+<tbody><tr><td><b>PROV-DM</b></td><td><b>PROV-O</b></td><td><b>PROV-N</b></td><td><b>Component</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component1-color">
@@ -3955,7 +3955,7 @@
<td rowspan="2"><a href="#component5">Component 4: <br> Bundles</a></td>
</tr>
-<tr class="component4-color"><td class="provType"><a title="dfn-prov:bundle" href="#dfn-prov:bundle" class="internalDFN">Bundle type</a></td>
+<tr class="component4-color"><td class="provType"><a title="Bundle Type" href="#dfn-bundle-type" class="internalDFN">Bundle type</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Bundle">Bundle</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-Bundle">Bundle</a></code></td>
</tr>
@@ -3987,7 +3987,7 @@
</tr>
<tr class="component6-color">
-<td><a title="Empty Collection">EmptyCollection</a></td>
+<td><a title="Empty Collection" href="#concept-empty-collection" class="internalDFN">EmptyCollection</a></td>
<td><a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#EmptyCollection">EmptyCollection</a></td>
<td>type <code><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#provn-type-EmptyCollection">EmptyCollection</a></code></td>
</tr>
@@ -4008,10 +4008,12 @@
<h3><span class="secno"><span class="insert">B.1 </span></span>Changes since last version</h3>
<ul>
-<li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li><span class="insert"> Checked all internal fragments resolved.
+</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li><li><span class="insert"> Fixed links to internal anchors, following change in respec.js
</span></li><li><span class="insert"> Added anchors for prov:Bundle, prov:Collection, prov:Emptycollection, prov:Plan, prov:Person, prov:SoftwareAgent, prov:Organization, to facilitate systematic cross-referencing.
+</span></li><li><span class="insert"> Likewise, added anchor for Bundle Type.
</span></li><li><span class="insert"> Table 9: fixed section number where plan is defined.
</span></li></ul>
</section>
--- a/model/releases/PR-prov-n-20130312/Overview.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/releases/PR-prov-n-20130312/Overview.html Tue Feb 19 14:59:52 2013 +0000
@@ -871,9 +871,9 @@
<li> <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/">PROV-CONSTRAINTS</a> (Proposed Recommendation), a set of constraints applying to the PROV data model [<cite><a class="bibref" href="#bib-PROV-CONSTRAINTS">PROV-CONSTRAINTS</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/">PROV-XML</a> (To be published as Note), an XML schema for the PROV data model [<cite><a class="bibref" href="#bib-PROV-XML">PROV-XML</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note), introduces a specific type of collection, consisting of key-entity pairs [<cite><a class="bibref" href="#bib-PROV-DICTIONARY">PROV-DICTIONARY</a></cite>];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note), provides a mapping between PROV and Dublic Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note), introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [<cite><a class="bibref" href="#bib-PROV-DICTIONARY">PROV-DICTIONARY</a></cite>];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [<cite><a class="bibref" href="#bib-PROV-DC">PROV-DC</a></cite>];</li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles [<cite><a class="bibref" href="#bib-PROV-LINKS">PROV-LINKS</a></cite>].</li>
</ul>
<h4 id="w3c-members-please-review-by-09-april-2013"><abbr title="World Wide Web Consortium">W3C</abbr> Members Please Review By 09 April 2013</h4>
@@ -883,7 +883,7 @@
<p>Others are encouraged by the Provenance Working Group to continue to send reports of implementation experience, and other feedback, 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>). Reports of any success or difficulty with the test cases are encouraged. Open discussion among developers is welcome at
+ <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>). Open discussion among developers is also welcome at
<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>).</p>
@@ -1057,10 +1057,10 @@
</p><div style="text-align: left;">
<table border="1" style="margin-left: auto; margin-right: auto;">
<caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
-<tbody><tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
-<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
-<tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
-<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
+<tbody><tr><td><b>prefix</b></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
+<tr><td>prov</td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
+<tr><td>xsd</td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
+<tr><td>(others)</td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
</tbody></table>
</div>
@@ -2365,13 +2365,13 @@
<p>
-A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to <a>namespace</a> interpretation. It consists of a <a>namespace</a>, denoted by an optional prefix, and a local name.
+A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to namespace interpretation. It consists of a namespace, denoted by an optional prefix, and a local name.
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a <a>namespace</a> declared in a namespace declaration. In the absence of prefix, the qualified name
- belongs to the <a title="default namespace declaration">default namespace</a>.</p>
+ qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+ belongs to the default namespace.</p>
<!--
<div class='grammar'>
@@ -2777,7 +2777,7 @@
<div style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
-<tbody><tr><td><a><b>Production</b></a></td>
+<tbody><tr><td><b>Production</b></td>
<td><b>Examples of syntactically correct expressions</b></td>
<td><b>Additional semantic rule</b></td>
</tr>
@@ -2830,8 +2830,8 @@
<section id="document">
<!--OddPage--><h2><span class="secno">4. </span>Document</h2>
-<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
- to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
+<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
+ to package up PROV-N expressions in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a document is not defined as a PROV-N expression (production <code class="content"><a class="grammarRef" href="#prod-expression">expression</a></code>).</p>
@@ -2847,7 +2847,7 @@
<p>A document contains:
</p><ul>
-<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in <a title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <em>expressions</em> or <em>bundles</em>;</li>
+<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in attributes and identifiers occurring inside <em>expressions</em> or <em>bundles</em>;</li>
<li><em>expressions</em>: a set of expressions, each matching <code><a class="grammarRef" href="#prod-expression">expression</a></code>;</li>
<li><em>bundles</em>: a set of expressions, each matching
<code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</li>
@@ -3032,7 +3032,8 @@
<h3><span class="secno">A.1 </span>Changes since last version</h3><p><em>This section is non-normative.</em></p>
<ul>
-<li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li>Checked that all fragments resolved.
+</li><li> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</li><li> Changed all URLs to PROV documents.
</li></ul>
</section>
@@ -3084,10 +3085,10 @@
Reza B'Far (Oracle Corporation),
Khalid Belhajjame (University of Manchester),
James Cheney (University of Edinburgh, School of Informatics),
-Sam Coppens (IBBT),
+Tom De Nies (iMinds - Ghent University),
David Corsar (University of Aberdeen, Computing Science),
Stephen Cresswell (The National Archives),
-Tom De Nies (IBBT),
+Tom De Nies (iMinds - Ghent University),
Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland),
Simon Dobson (Invited expert),
Martin Doerr (Foundation for Research and Technology - Hellas(FORTH)),
--- a/model/releases/PR-prov-n-20130312/diff-n.html Tue Feb 19 12:19:45 2013 +0000
+++ b/model/releases/PR-prov-n-20130312/diff-n.html Tue Feb 19 14:59:52 2013 +0000
@@ -901,9 +901,9 @@
<li> <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/">PROV-CONSTRAINTS</a> <span class="delete">(Candidate</span><span class="insert">(Proposed</span> Recommendation), a set of constraints applying to the PROV data model [<cite><a class="bibref" href="#bib-PROV-CONSTRAINTS">PROV-CONSTRAINTS</a></cite>];</li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/"><span class="insert">PROV-XML</span></a><span class="insert"> (To be published as Note), an XML schema for the PROV data model [</span><cite><a class="bibref" href="#bib-PROV-XML"><span class="insert">PROV-XML</span></a></cite><span class="insert">];</span></li>
<li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]; </li>
-<li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as Note), <span class="delete">an XML schema for the PROV data model</span><span class="insert">introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note), provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note), introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
+<li> <span class="delete">PROV-XML</span><a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/"><span class="insert">PROV-DICTIONARY</span></a> (To be published as <span class="delete">Note), an XML schema for the PROV data model</span><span class="insert">Note) introduces a specific type of collection, consisting of key-entity pairs</span> [<cite><span class="delete">PROV-XML</span><a class="bibref" href="#bib-PROV-DICTIONARY"><span class="insert">PROV-DICTIONARY</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/"><span class="insert">PROV-DC</span></a><span class="insert"> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [</span><cite><a class="bibref" href="#bib-PROV-DC"><span class="insert">PROV-DC</span></a></cite><span class="insert">];</span></li>
+<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/"><span class="insert">PROV-LINKS</span></a><span class="insert"> (To be published as Note) introduces a mechanism to link across bundles [</span><cite><a class="bibref" href="#bib-PROV-LINKS"><span class="insert">PROV-LINKS</span></a></cite>].</li>
</ul>
<span class="delete">How to read the PROV Family of Documents</span>
@@ -936,7 +936,7 @@
<a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>).
- <span class="insert"> Reports of any success or difficulty with the test cases are encouraged. Open discussion among developers is welcome at
+ <span class="insert"> Open discussion among developers is also welcome at
</span><a href="mailto:public-prov-comments@w3.org"><span class="insert">public-prov-comments@w3.org</span></a><span class="insert">
(</span><a href="mailto:public-prov-comments-request@w3.org?subject=subscribe"><span class="insert">subscribe</span></a><span class="insert">,
</span><a href="http://lists.w3.org/Archives/Public/public-prov-comments/"><span class="insert">archives</span></a><span class="insert">).</span></p>
@@ -1117,10 +1117,10 @@
</p><div style="text-align: left;">
<table border="1" style="margin-left: auto; margin-right: auto;">
<caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
-<tbody><tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
-<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
-<tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
-<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
+<tbody><tr><td><b>prefix</b></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
+<tr><td>prov</td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
+<tr><td>xsd</td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [<cite><a class="bibref" href="#bib-XMLSCHEMA11-2">XMLSCHEMA11-2</a></cite>]</td></tr>
+<tr><td>(others)</td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br> In particular, URIs starting with "http://example.com" represent<br> some application-dependent URI [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>]</td></tr>
</tbody></table>
</div>
@@ -2403,13 +2403,13 @@
<p>
-A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to <a>namespace</a> interpretation. It consists of a <a>namespace</a>, denoted by an optional prefix, and a local name.
+A <dfn id="dfn-qualifiedName">qualified name</dfn> is a name subject to namespace interpretation. It consists of a <span class="delete">namespace</span><span class="delete">,</span><span class="insert">namespace,</span> denoted by an optional prefix, and a local name.
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a <a>namespace</a> declared in a namespace declaration. In the absence of prefix, the qualified name
- belongs to the <a title="default namespace declaration">default namespace</a>.</p>
+ qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+ belongs to the default <span class="delete">namespace</span><span class="delete">.</span><span class="insert">namespace.</span></p>
@@ -2784,7 +2784,7 @@
<div style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
-<tbody><tr><td><a><b>Production</b></a></td>
+<tbody><tr><td><b>Production</b></td>
<td><b>Examples of syntactically correct expressions</b></td>
<td><b>Additional semantic rule</b></td>
</tr>
@@ -2837,8 +2837,8 @@
<section id="document">
<h2><span class="secno">4. </span>Document</h2>
-<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
- to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
+<p>A <dfn id="dfn-document">document</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations. A document forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A document may be used
+ to package up PROV-N expressions in response to a request for the provenance of something ([<cite><a class="bibref" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a document is not defined as a PROV-N expression (production <code class="content"><a class="grammarRef" href="#prod-expression">expression</a></code>).</p>
@@ -2854,7 +2854,7 @@
<p>A document contains:
</p><ul>
-<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in <a title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <em>expressions</em> or <em>bundles</em>;</li>
+<li><em>namespaceDeclarations</em>: a set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code>, declaring namespaces and associated prefixes, which can be used in attributes and identifiers occurring inside <em>expressions</em> or <em>bundles</em>;</li>
<li><em>expressions</em>: a set of expressions, each matching <code><a class="grammarRef" href="#prod-expression">expression</a></code>;</li>
<li><em>bundles</em>: a set of expressions, each matching
<code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</li>
@@ -3039,7 +3039,8 @@
<h3><span class="secno"><span class="insert">A.1 </span></span>Changes since last version</h3><p><em><span class="insert">This section is non-normative.</span></em></p>
<ul>
-<li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
+<li><span class="insert">Checked that all fragments resolved.
+</span></li><li><span class="insert"> Changed the status of this document section: added new documents to the PROV Family of Document, and removed the how to read section, referring instead to PROV-OVERVIEW.
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li></ul>
</section>
@@ -3091,10 +3092,10 @@
Reza B'Far (Oracle Corporation),
Khalid Belhajjame (University of Manchester),
James Cheney (University of Edinburgh, School of Informatics),
-Sam Coppens (IBBT),
+<span class="delete">Sam Coppens (IBBT),</span><span class="insert">Tom De Nies (iMinds - Ghent University),</span>
David Corsar (University of Aberdeen, Computing Science),
Stephen Cresswell (The National Archives),
-Tom De Nies (IBBT),
+Tom De Nies <span class="delete">(IBBT),</span><span class="insert">(iMinds - Ghent University),</span>
Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland),
Simon Dobson (Invited expert),
Martin Doerr (Foundation for Research and Technology - Hellas(FORTH)),