Binary file model/images/ordering-activity.png has changed
--- a/model/images/ordering-activity.svg Tue Jul 03 22:02:24 2012 +0100
+++ b/model/images/ordering-activity.svg Tue Jul 03 22:39:46 2012 +0100
@@ -16,11 +16,50 @@
version="1.1"
inkscape:version="0.47 r22583"
sodipodi:docname="ordering-activity.svg"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/constraints.png"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-activity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<defs
id="defs6712">
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0.0"
+ refX="0.0"
+ id="Arrow1Mend"
+ style="overflow:visible;">
+ <path
+ id="path4349"
+ d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;"
+ transform="scale(0.4) rotate(180) translate(10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mstart"
+ orient="auto"
+ refY="0.0"
+ refX="0.0"
+ id="Arrow1Mstart"
+ style="overflow:visible">
+ <path
+ id="path4346"
+ d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none"
+ transform="scale(0.4) translate(10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lstart"
+ orient="auto"
+ refY="0.0"
+ refX="0.0"
+ id="Arrow1Lstart"
+ style="overflow:visible">
+ <path
+ id="path4340"
+ d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none"
+ transform="scale(0.8) translate(12.5,0)" />
+ </marker>
<inkscape:path-effect
effect="skeletal"
id="path-effect6032"
@@ -906,9 +945,9 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="0.91456677"
- inkscape:cx="352.60397"
- inkscape:cy="648.43228"
+ inkscape:zoom="0.89838733"
+ inkscape:cx="436.17733"
+ inkscape:cy="984.66835"
inkscape:document-units="px"
inkscape:current-layer="g8502"
showgrid="false"
@@ -939,6 +978,11 @@
id="g8502"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
+ <path
+ style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
+ d="m 269.91961,132.97445 c 110.58884,0.19504 110.58884,0.19504 110.58884,0.19504"
+ id="path3117"
+ sodipodi:nodetypes="cc" />
<g
id="g5585"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-activity.png"
@@ -1004,22 +1048,6 @@
id="tspan6945"
sodipodi:role="line"
style="font-size:9.60000038px">Event line</tspan></text>
- <path
- sodipodi:type="star"
- style="fill:url(#linearGradient4059);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- id="path3209"
- sodipodi:sides="3"
- sodipodi:cx="120.80072"
- sodipodi:cy="116.88141"
- sodipodi:r1="23.193739"
- sodipodi:r2="11.596869"
- sodipodi:arg1="0"
- sodipodi:arg2="1.0471976"
- inkscape:flatsided="true"
- inkscape:rounded="0"
- inkscape:randomized="0"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
- transform="matrix(1,0,0,0.68177752,23.611065,53.194293)" />
<text
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
@@ -1047,6 +1075,22 @@
d="m 39.624091,132.87891 c 220.836189,0 221.172259,0.005 221.172259,0.005"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
sodipodi:nodetypes="cc" />
+ <path
+ sodipodi:type="star"
+ style="fill:url(#linearGradient4059);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209"
+ sodipodi:sides="3"
+ sodipodi:cx="120.80072"
+ sodipodi:cy="116.88141"
+ sodipodi:r1="23.193739"
+ sodipodi:r2="11.596869"
+ sodipodi:arg1="0"
+ sodipodi:arg2="1.0471976"
+ inkscape:flatsided="true"
+ inkscape:rounded="0"
+ inkscape:randomized="0"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ transform="matrix(1,0,0,0.68177752,23.611065,53.194293)" />
</g>
<g
id="g7680"
--- a/model/prov-constraints.html Tue Jul 03 22:02:24 2012 +0100
+++ b/model/prov-constraints.html Tue Jul 03 22:39:46 2012 +0100
@@ -1055,43 +1055,6 @@
For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>specializationOf(e1,e2)</span> <span class='conditional'>THEN</span> <span class='name'>alternateOf(e1,e2)</span>.</p>
</div>
-<p>
-
-<hr>
-
-
-<div class="note">This constraint belongs with other uniqueness
- constraints, or in the section on bundles.</div>
-
-
-<div id='functional-contextualization_text'>
-<p>An entity can be the subject of at most one contextualization relation.</p>
-</div>
-
-
-<div class='constraint' id='functional-contextualization'>
-<p>
-Given an entity denoted by <span class="name">e</span>, two entities denoted by <span class="name">e1</span> and <span
-class="name">e2</span>, and two bundles denoted by <span class="name">b1</span> and <span
-class="name">b2</span>,
-<span class='conditional'>IF</span> <span class="name">contentualizationOf(e, e1, b1)</span> and <span class="name">contentualizationOf(e, e2, b2)</span> exist,
-<span class='conditional'>THEN</span> <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>
-</div>
-
-<p>
-
-<hr>
-
- <p id="contextualization-specialization_text">If one entity is a contextualization of another in a bundle, then the former is also a specialization of the latter:</p>
-
- <div class='inference' id="contextualization-specialization">
-<p>
- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>contextualizationOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
- </div>
-
-<p>
-
-
<div class="note">TODO: Possible inferences about attributes,
generation, invalidation?
@@ -1315,8 +1278,9 @@
and <span class="name">attrs</span>=<span class="name">attrs'</span>.</p>
</div>
-<div class="note">The unique-startTime and unique-endTime constraints
- are now redundant, by activity-start-end-inference and unique-wasStartedBy/unique-wasEndedBy.</div>
+<div class="note">James: The unique-startTime and unique-endTime constraints
+ are now redundant, by activity-start-end-inference and unique-wasStartedBy/unique-wasEndedBy.<br>
+Luc: Agreed. However, I feel it's easier to check these constraints than to infer new expressions, and then check constraints.</div>
<p id='unique-startTime_text'>An <a>activity start event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity starts. It allows for an optional time attribute. <span id="optional-start-time">Activities also allow for an optional start time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
</p>
@@ -1342,6 +1306,49 @@
<p>
+<hr>
+
+
+<div class="note">This constraint belongs here (with other uniqueness
+ constraints), or in the section on bundles.</div>
+
+<div class="note">
+<p>Note: The following two constraints are a feature "<a href="http://www.w3.org/2005/10/Process-20051014/tr#cfi">at risk</a>" and may be removed from this specification based on feedback. Please send feedback to public-prov-comments@w3.org.</p>
+
+
+<p>The expression Mention might be removed from PROV if implementation experience reveals problems with supporting this construct.</p>
+</div>
+
+
+<div id='functional-mention_text'>
+<p>An entity can be the subject of at most one mention relation.</p>
+</div>
+
+
+<div class='constraint' id='functional-mention'>
+<p>
+Given an entity denoted by <span class="name">e</span>, two entities denoted by <span class="name">e1</span> and <span
+class="name">e2</span>, and two bundles denoted by <span class="name">b1</span> and <span
+class="name">b2</span>,
+<span class='conditional'>IF</span> <span class="name">mentionOf(e, e1, b1)</span> and <span class="name">mentionOf(e, e2, b2)</span> exist,
+<span class='conditional'>THEN</span> <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>
+</div>
+
+<p>
+
+<hr>
+
+ <p id="mention-specialization_text">If one entity is a mention of another in a bundle, then the former is also a specialization of the latter:</p>
+
+ <div class='inference' id="mention-specialization">
+<p>
+ For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>mentionOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
+ </div>
+
+<p>
+
+
+
</section> <!-- uniqueness-constraints-->
<section id="event-ordering-constraints">