updated ordering constraint figure
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 03 Jul 2012 22:39:46 +0100
changeset 3737 88555ebf7f21
parent 3736 92a108d521d1
child 3738 dbff9cf2c149
updated ordering constraint figure
model/images/ordering-activity.png
model/images/ordering-activity.svg
model/prov-constraints.html
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 [email protected]</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">