--- a/model/releases/ED-prov-constraints-20120720/prov-constraints.html Fri Jul 20 08:22:57 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120720/prov-constraints.html Fri Jul 20 08:30:01 2012 +0100
@@ -1023,7 +1023,7 @@
</li>
<li>two consisting of inferences about entities <a class="rule-text" href="#entity-generation-invalidation-inference_text"><span>Inference 7 (entity-generation-invalidation-inference)</span></a> and activities <a class="rule-text" href="#activity-start-end-inference_text"><span>Inference 8 (activity-start-end-inference)</span></a> that may, together with certain
other inference rules, lead to nontermination.</li></ul>
-These might be removed from PROV-CONSTRAINTS.<p></p>
+<p>These might be removed from PROV-CONSTRAINTS.</p>
<h4 id="prov-family-of-specifications">PROV Family of Specifications</h4>
This document is part of the PROV family of specifications, a set of specifications defining various aspects that are necessary to achieve the vision of inter-operable
@@ -1357,10 +1357,10 @@
<tr class="component3-color"><td class="essential"><a>Attribution</a></td><td><a class="rule-text" href="#attribution-inference_text"><span>Inference 15 (attribution-inference)</span></a> </td></tr>
<tr class="component3-color"><td class="essential"><a>Association</a></td><td> </td></tr>
<tr class="component3-color"><td class="essential"><a>Delegation</a></td><td> </td></tr>
-<tr class="component3-color"><td class="provType"><a>Plan</a></td><td> </td>
-</tr><tr class="component3-color"><td class="provType"><a>Person</a></td><td> </td>
-</tr><tr class="component3-color"><td class="provType"><a>Organization</a></td><td> </td>
-</tr><tr class="component3-color"><td class="provType"><a title="software-agent">SoftwareAgent</a></td><td></td>
+<tr class="component3-color"><td class="provType"><a>Plan</a></td><td> </td></tr>
+<tr class="component3-color"><td class="provType"><a>Person</a></td> <td></td></tr>
+<tr class="component3-color"><td class="provType"><a>Organization</a></td><td></td></tr>
+<tr class="component3-color"><td class="provType"><a title="software-agent">SoftwareAgent</a></td><td></td>
</tr><tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -1373,8 +1373,8 @@
<tr class="component5-color"><td><a>Provenance Locator</a></td><td></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr class="component6-color"><td class="provType"><a>Collection</a></td><td> </td><td rowspan="6"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty dictionary">EmptyDictionary</a></td><td> </td></tr>
+<tr class="component6-color"><td><a>Collection</a></td><td> </td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
+<tr class="component6-color"><td><a title="empty dictionary">EmptyDictionary</a></td><td></td></tr>
<tr class="component6-color"><td><a>Membership</a></td><td> </td></tr>
</tbody></table>
</div>
@@ -1405,7 +1405,7 @@
<a href="#dfn-equivalent" class="internalDFN">equivalent</a>, an application <em class="rfc2119" title="must">must</em> determine whether their
normal forms are equal, as specified in <a href="#normalization-validity-equivalence" class="sectionRef">section 6. Normalization, Validity, and Equivalence</a>.
</li></ol>
-<p></p>
+
<p>
All diagrams are for illustration purposes
@@ -1531,7 +1531,7 @@
<li>
For each <span class="name">r</span> in {<span class="name">entity</span>, <span class="name">activity</span>,
<span class="name">agent</span>}, if <span class="name">a_n</span> is not an attribute
- list parameter then the following definitional rule holds:<p></p>
+ list parameter then the following definitional rule holds:
<p><span class="name">r(a<sub>1</sub>,...,a<sub>n</sub>)</span>
holds <span class="conditional">IF AND ONLY IF</span> <span class="name">r(a<sub>1</sub>,...,a<sub>n</sub>,[])</span> holds.</p></li>
<li>
@@ -1547,7 +1547,7 @@
<span class="name">wasAttributedTo</span>,
<span class="name">wasAssociatedWith</span>,
<span class="name">actedOnBehalfOf</span>}, if <span class="name">a_n</span> is not an
- attribute list parameter then the following definition holds:<p></p>
+ attribute list parameter then the following definition holds:
<p> <span class="name">r(id;a<sub>1</sub>,...,a<sub>n</sub>)</span> holds
<span class="conditional">IF AND ONLY IF</span> <span class="name">r(id;a<sub>1</sub>,...,a<sub>n</sub>,[])</span> holds.</p></li></ol>
@@ -1579,7 +1579,6 @@
<li><span class="name">actedOnBehalfOf(id;a2,a1,attrs)</span> <span class="conditional">IF AND ONLY IF</span> <span class="name">actedOnBehalfOf(id;a2,a1,-,attrs)</span>.
</li>
</ol>
- <p></p>
</div>
<div class="remark">
@@ -1601,7 +1600,7 @@
rules above.</p>
</div>
-<div id="optional-attributes1">
+<!--<div id="optional-attributes1"> -->
<p>Finally, most optional parameters (written <span class="name">-</span>) are, for the purpose of this document,
considered to be distinct, fresh existential variables. Thus,
before proceeding to apply other definitions or inferences, most
@@ -1691,7 +1690,6 @@
For each <span class="name">r</span> in {<span class="name">entity</span>, <span class="name">activity</span>,
<span class="name">agent</span>}, the following definition
holds:
- <p></p>
<p>
<span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>, -, a<sub>i+1</sub>, ...,a<sub>n</sub>) </span> <span class="conditional">IF AND ONLY IF</span> there exists <span class="name">a'</span>
such that <span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>,a',a<sub>i+1</sub>,...,a<sub>n</sub>)</span>.
@@ -1709,7 +1707,7 @@
<span class="name">wasAssociatedWith</span>,
<span class="name">actedOnBehalfOf</span>}, if the <span class="name">i</span>th parameter
of <span class="name">r</span> is an <a href="#dfn-expandable-parameter" class="internalDFN">expandable parameter</a>
- of <span class="name">r</span> then the following definition holds:<p></p>
+ of <span class="name">r</span> then the following definition holds:
<p> <span class="name">r(a<sub>0</sub>;...,a<sub>i-1</sub>, -, a<sub>i+1</sub>, ...,a<sub>n</sub>) </span> <span class="conditional">IF AND ONLY IF</span> there exists <span class="name">a'</span>
such that <span class="name">r(a<sub>0</sub>;...,a<sub>i-1</sub>,a',a<sub>i+1</sub>,...,a<sub>n</sub>)</span>.
</p></li></ol>
@@ -1724,7 +1722,7 @@
equivalent to <span class="name">wasDerivedFrom(id;e2,e1,-,gen,use,attrs)</span> with a
missing activity.
</div>
-</div></div>
+</div>
<div id="entities-and-activities" class="section">
<h3><span class="secno">4.2 </span>Entities and Activities</h3>
@@ -1777,7 +1775,7 @@
<div style="text-align: center;">
<figure>
-<img src="images/informedByNonTransitive.png" alt="non transitivity of wasInformedBy">
+<img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy">
<figcaption id="counterexample-wasInformedBy"><b>Figure 1:</b> Counter-example for transitivity of wasInformedBy</figcaption>
</figure>
</div>
@@ -1964,7 +1962,6 @@
class="name">alternateOf(e2,e1)</span> holds.
</li>
-->
-
</div>
@@ -2096,7 +2093,6 @@
<span class="conditional">IF</span> <span class="name">actedOnBehalfOf(id;ag2,ag1,a,attrs)</span> <span class="conditional">THEN</span> <span class="name">wasInfluencedBy(id; ag2, ag1, attrs)</span>.
</li>
</ol>
-<p></p>
</div>
<div class="remark">
@@ -2266,7 +2262,7 @@
</div>
-<div class="inference" id="end-type-inference" data-count="30" data-title="Inference 30 (end-type-inference)"><div class="ruleTitle"><a class="internalDFN" href="#end-type-inference">Inference 30 (end-type-inference)</a></div>
+<div class="inference" id="invalidation-type-inference" data-count="30" data-title="Inference 30 (invalidation-type-inference)"><div class="ruleTitle"><a class="internalDFN" href="#invalidation-type-inference">Inference 30 (invalidation-type-inference)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasInvalidatedBy(id;e,a,t,attrs)</span>
@@ -2550,7 +2546,6 @@
the <span class="name">agent(ag,attrs)</span> statement.
</li>
</ol>
- <p></p>
</div>
<hr>
@@ -2600,7 +2595,7 @@
the <span class="name">wasInfluencedBy(id;o2,o1,attrs)</span> statement.
</li>
</ol>
-<p></p> </div>
+ </div>
@@ -2826,13 +2821,15 @@
<div style="text-align: center;">
<figure id="ordering-activity">
-<img src="images/ordering-activity.png" alt="constraints between events">
+<img src="images/constraints/ordering-activity.png" alt="constraints between events">
<figcaption id="ordering-activity-fig"><b>Figure 2:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</figcaption>
</figure>
</div>
+
+<p>
-<hr>
+</p><hr>
<p id="start-precedes-end_text">
The existence of an activity implies that the <a href="#dfn-start-event" class="internalDFN">activity start
@@ -2993,7 +2990,7 @@
<div style="text-align: center;">
<figure id="ordering-entity">
-<img src="images/ordering-entity.png" alt="ordering constraints for entities">
+<img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities">
<figcaption id="ordering-entity-fig"><b>Figure 3:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</figcaption></figure>
</div>
@@ -3022,6 +3019,7 @@
<p>
+
</p><hr>
<p id="generation-precedes-usage_text">
@@ -3178,7 +3176,7 @@
<div style="text-align: center;">
<figure id="#ordering-entity-trigger">
-<img src="images/ordering-entity-trigger.png" alt="ordering constraints for trigger entities">
+<img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities">
<figcaption id="ordering-entity-trigger-fig"><b>Figure 4:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</figcaption>
</figure>
</div>
@@ -3193,9 +3191,11 @@
<span class="conditional">IF</span> <span class="name">specializationOf(e2,e1)</span> and <span class="name">wasGeneratedBy(gen1;e1,_a1,_t1,_attrs1)</span> and
<span class="name">wasGeneratedBy(gen2;e2,_a2,_t2,_attrs2)</span>
<span class="conditional">THEN</span> <span class="name">gen1</span> <a href="#dfn-precedes" class="internalDFN">precedes</a> <span class="name">gen2</span>.
-</p><p p="">
</p></div>
-<hr>
+
+<p>
+
+</p><hr>
<p id="specialization-invalidation_text">
Similarly, if an entity specalizes another, then its invalidation must follow the
specialized entity's invalidation.
@@ -3222,7 +3222,7 @@
<div style="text-align: center;">
<figure id="ordering-agents">
-<img src="images/ordering-agents.png" alt="ordering constraints for agents">
+<img src="images/constraints/ordering-agents.png" alt="ordering constraints for agents">
<figcaption><b>Figure 5:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering
constraints for agents</figcaption>
</figure>
@@ -3425,7 +3425,7 @@
identifiers are required to be pairwise disjoint.
</div>
- <p id="impossible-property-overlap_text"> Identifiers of entities,
+ <p id="impossible-object-overlap_text"> Identifiers of entities,
agents and activities cannot also be identifiers of properties.
</p>
<div class="constraint" id="impossible-object-property-overlap" data-count="67" data-title="Constraint 67 (impossible-object-property-overlap)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-object-property-overlap">Constraint 67 (impossible-object-property-overlap)</a></div>
@@ -3697,7 +3697,8 @@
<div class="note">TODO: give proof that normalization terminates and
produces unique normal forms.
</div>
-
+</div>
+
@@ -3729,7 +3730,7 @@
-->
<!-- LocalWords: wasStartedByActivity antisymmetric wasInvalidatedBy
-->
-</div><div id="references" class="appendix section"><!--OddPage--><h2><span class="secno">D. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes <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>
+<div id="references" class="appendix section"><!--OddPage--><h2><span class="secno">D. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">D.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes <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>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>
</dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-CHR">[CHR]</dt><dd>Thom Frühwirth <a href="http://constraint-handling-rules.org/"><cite>Constraint Handling Rules</cite></a>. Cambridge University Press URL: <a href="http://constraint-handling-rules.org/">http://constraint-handling-rules.org/</a>
</dd><dt id="bib-CLOCK">[CLOCK]</dt><dd>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>. Communications of the ACM 21 (7): 558–565. 1978. URL: <a href="http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> DOI: doi:10.1145/359545.359563.
@@ -3739,3 +3740,4 @@
</dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman"><cite>Formal Semantics Strawman</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>
</dd><dt id="bib-RDF">[RDF]</dt><dd>Graham Klyne and Jeremy J. Carroll (eds.) <a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/"><cite>Resource Description Framework (RDF): Concepts and Abstract Syntax</cite></a>. 2004, W3C Recommendation. URL: <a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210//">http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/</a>
</dd></dl></div></div></body></html>
+