--- a/model/prov-dm.html Fri Jun 08 12:05:35 2012 +0100
+++ b/model/prov-dm.html Fri Jun 08 13:38:58 2012 +0100
@@ -148,68 +148,68 @@
var extraReferences = {
"CLOCK":
"Lamport, L. "+
- "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
+ "<a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\""><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
"Communications of the ACM 21 (7): 558–565. 1978. "+
- "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
+ "URL: <a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
"DOI: doi:10.1145/359545.359563.",
"CSP":
"Hoare, C. A. R. "+
- "<a href=\"http://www.usingcsp.com/cspbook.pdf\"><cite>Communicating Sequential Processes</cite></a>."+
+ "<a href="\"http://www.usingcsp.com/cspbook.pdf\""><cite>Communicating Sequential Processes</cite></a>."+
"Prentice-Hall. 1985"+
- "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
+ "URL: <a href="\"http://www.usingcsp.com/cspbook.pdf\"">http://www.usingcsp.com/cspbook.pdf</a>",
"Logic":
"W. E. Johnson "+
- "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
+ "<a href="\"http://www.ditext.com/johnson/intro-3.html\""><cite>Logic: Part III</cite></a>."+
"1924. "+
- "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
+ "URL: <a href="\"http://www.ditext.com/johnson/intro-3.html\"">http://www.ditext.com/johnson/intro-3.html</a>",
"PROV-SEM":
"James Cheney "+
- "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
+ "<a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\""><cite>Formal Semantics Strawman</cite></a>. "+
"2011, Work in progress. "+
- "URL: <a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
+ "URL: <a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
"PROV-PRIMER":
"Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href=\"http://www.w3.org/TR/prov-primer/\"><cite>Prov Model Primer</cite></a>. "+
+ "<a href="\"http://www.w3.org/TR/prov-primer/\""><cite>Prov Model Primer</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-primer/\">http://www.w3.org/TR/prov-primer/</a>",
+ "URL: <a href="\"http://www.w3.org/TR/prov-primer/\"">http://www.w3.org/TR/prov-primer/</a>",
"PROV-O":
"Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
+ "<a href="\"http://www.w3.org/TR/prov-o/\""><cite>Provenance Formal Model</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-o/\">http://www.w3.org/TR/prov-o/</a>",
+ "URL: <a href="\"http://www.w3.org/TR/prov-o/\"">http://www.w3.org/TR/prov-o/</a>",
"PROV-CONSTRAINTS":
"James Cheney, Paolo Missier, and Luc Moreau (eds.) "+
- "<a href=\"http://www.w3.org/TR/prov-constraints/\"><cite>Constraints of the PROV Data Model</cite></a>. "+
+ "<a href="\"http://www.w3.org/TR/prov-constraints/\""><cite>Constraints of the PROV Data Model</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-constraints/\">http://www.w3.org/TR/prov-constraints/</a>",
+ "URL: <a href="\"http://www.w3.org/TR/prov-constraints/\"">http://www.w3.org/TR/prov-constraints/</a>",
"PROV-N":
"Luc Moreau and Paolo Missier (eds.) "+
- "<a href=\"http://www.w3.org/TR/prov-n/\"><cite>PROV-N: The Provenance Notation</cite></a>. "+
+ "<a href="\"http://www.w3.org/TR/prov-n/\""><cite>PROV-N: The Provenance Notation</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-n/\">http://www.w3.org/TR/prov-n/</a>",
+ "URL: <a href="\"http://www.w3.org/TR/prov-n/\"">http://www.w3.org/TR/prov-n/</a>",
"PROV-AQ":
"Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles "+
- "<a href=\"http://www.w3.org/TR/prov-aq/\"><cite>Provenance Access and Query</cite></a>. "+
+ "<a href="\"http://www.w3.org/TR/prov-aq/\""><cite>Provenance Access and Query</cite></a>. "+
"2011, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-aq/\">http://www.w3.org/TR/prov-aq/</a>",
+ "URL: <a href="\"http://www.w3.org/TR/prov-aq/\"">http://www.w3.org/TR/prov-aq/</a>",
"UML":
"Object Management Group "+
- "<a href=\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\"><cite>Unified Modeling Language: Superstructure</cite></a>. "+
+ "<a href="\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\""><cite>Unified Modeling Language: Superstructure</cite></a>. "+
"version 2.0, 2005 "+
- "URL: <a href=\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>",
+ "URL: <a href="\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\"">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>",
"Mappings":
"Satya Sahoo and Paul Groth and Olaf Hartig and Simon Miles and Sam Coppens and James Myers and Yolanda Gil and Luc Moreau and Jun Zhao and Michael Panzer and Daniel Garijo "+
- "<a href=\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\"><cite>Provenance Vocabulary Mappings</cite></a>. "+
+ "<a href="\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\""><cite>Provenance Vocabulary Mappings</cite></a>. "+
"August 2010 "+
- "URL: <a href=\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>",
+ "URL: <a href="\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\"">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>",
@@ -223,7 +223,7 @@
// if your specification has a subtitle that goes below the main
// formal title, define it here
- subtitle : "preparing for internal release (WD6) (<a href=\"diff.html\">Diffs since last release</a>)",
+ subtitle : "preparing for internal release (WD6) (<a href="\"diff.html\"">Diffs since last release</a>)",
// if you wish the publication date to be other than today, set this
@@ -3093,13 +3093,13 @@
<li><span class='attribute' id="membership.collection">collection</span>: an identifier (<span class="name">c</span>) for the dictionary whose members are asserted; </li>
<li><span class='attribute' id="membership.key-entity-set">key-entity-set</span>: a set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> that are members of the dictionary;</li>
<li><span class='attribute' id="membership.complete">complete</span>: an OPTIONAL boolean
-<a title="value">Value</a> (<span class="name">cplt</span>); if true, it indicates that no other member belongs to the dictionary; if false, it indicates that other members belong to the dictionary; if unspecified, other members MAY belong to the dictionary.
+<a title="value">Value</a> (<span class="name">cplt</span>); if true, it indicates that no other member belongs to the dictionary; if false, it indicates that other members belong to the dictionary; if unspecified, other members MAY belong to the dictionary;
<li><span class='attribute' id="membership.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
</ul>
</div>
<p id="complete-attribute-note">
-The attribute <a href="#membership.complete">complete</a> provides an <em>indication</em> that the dictionary membership is entirely described by the <a title="memberOf">membership</a> relation. Separate provenance descriptions MAY describe different membership. Such conflicting information is to be handled by application specific reasoning.</p>
+The attribute <a href="#membership.complete">complete</a> provides an indication that the dictionary membership is entirely described by the <a title="memberOf">membership</a> relation. Separate provenance descriptions MAY describe different membership. Such conflicting information is to be handled by application specific reasoning.</p>
<p>The description <span class="name">memberOf(c, {(key_1, e_1), ..., (key_n, e_n)})</span> states that <span class="name">c</span> is known to include <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)}</span>, without having to introduce a previous dictionary. </p>