test cases updated
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Wed, 17 Oct 2012 17:31:28 +0100
changeset 4538 b65d35560562
parent 4537 e5992f533efb
child 4539 6ce67c9e542d
test cases updated
testcases/constraints/process.html
--- a/testcases/constraints/process.html	Wed Oct 17 17:09:46 2012 +0100
+++ b/testcases/constraints/process.html	Wed Oct 17 17:31:28 2012 +0100
@@ -108,7 +108,9 @@
 <section id="test-cases">
 <h3>Test cases</h3>
 <p>The test cases will be made available  online at: &lt;URI&gt;<br />
-  Every test case has an identifier, e.g. <strong>entity10</strong>.  The provenance document for the test case will be provided in the following  representations:</p>
+  Every test case has an identifier, e.g. <strong>entity10-c23-c56-c57</strong>.
+  The numberings of the constraints covered by a test case are included with its identifier, e.g. c23, c56, and c57. 
+  The provenance document for each test case will be provided in the following representations:</p>
 
 <table border="1" cellspacing="0" cellpadding="0" width="623">
   <caption>Table 1. File representations provided for test cases.</caption>
@@ -140,7 +142,9 @@
   </tr>
 </table>
 
-<p>For example, the files <strong>entity10.xml</strong>, <strong>entity10.trig</strong>, <strong>entity10.json</strong>, and <strong>entity10.provn</strong> for the test case <strong>entity10</strong> are made available at &lt;URI&gt;.</p>
+<p>For example, the files <strong>entity10-c23-c56-c57.xml</strong>, <strong>entity10-c23-c56-c57.trig</strong>,
+<strong>entity10-c23-c56-c57.json</strong>, and <strong>entity10-c23-c56-c57.provn</strong> for the test case
+<strong>entity10-c23-c56-c57</strong> can be found at &lt;URI&gt;.</p>
 
 <p>Each test case is designed to test  particular constraints, an overview of which is provided in Table 2 below.</p>
 </section>
@@ -169,8 +173,8 @@
 
 <p>All test cases need to be checked for the  constraints they cover and their expected validation results (i.e. Success or  Fail).</p>
 
-<p class="note">Dong: These test cases are from Luc’s ProvToolbox. We need to check whether all the constraints are sufficiently covered and curate from the WG or generate ourselves the test cases for constraints that haven’t been covered by these.</p>
-
+<p class="note">Dong: We need to check whether all the constraints are sufficiently covered and curate from the WG or generate ourselves the test cases for constraints that haven’t been covered by these.</p>
+
 <table border="1" cellspacing="0" cellpadding="0">
   <caption>Table 2. Available test cases (127 in total)</caption>
   <tr>
@@ -180,7 +184,7 @@
     <td><b>Notes</b></p></td>
   </tr>
   <tr>
-    <td><b>activity1</b></p></td>
+    <td><b>activity1-c23-c56-c57</b></p></td>
     <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
         <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
         <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a>
@@ -189,790 +193,50 @@
     <td>&nbsp;</td>
   </tr>
   <tr>
-    <td><b>activity2</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity3</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity4</b></p></td>
+    <td><b>activity2-c23-c56-c57</b></p></td>
     <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
         <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity5</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity6</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity7</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>activity8</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a>
     </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
-    <td><b>activity9</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
-        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
-    </td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>agent8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>alternate1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association1</b></p></td>
+    <td><b>association1-c24-c52</b></p></td>
     <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a>
-    </td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association2</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
-        <a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a>
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a>
     </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
-    <td><b>association3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>association9</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>attribution8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>communication7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation1</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a></td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation2</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a></td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>delegation8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation10</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation11</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation12</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation13</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>derivation9</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end10</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end1</b></p></td>
-    <td>&nbsp;</td>
+    <td><b>association2-c24-c52</b></p></td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a>
+    </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
-    <td><b>end2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>end9</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity10</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>entity9</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>generation7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence2</b></p></td>
-    <td>&nbsp;</td>
+    <td><b>delegation1-c24-c52-c55</b></p></td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-property-overlap_text">Constraint 55 (impossible-property-overlap)</a>
+    </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
-    <td><b>influence3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>influence7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>invalidation7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>member1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>member2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>member3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>mention1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>mention2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>specialization1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start10</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start1</b></p></td>
-    <td>&nbsp;</td>
+    <td><b>delegation2-c24-c52-c55</b></p></td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-property-overlap_text">Constraint 55 (impossible-property-overlap)</a>
+    </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>
-  <tr>
-    <td><b>start2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start8</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>start9</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage1</b></p></td>
-    <td>&nbsp;</td>
-    <td>Fail</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage2</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage3</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage4</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage5</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage6</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-  <tr>
-    <td><b>usage7</b></p></td>
-    <td>&nbsp;</td>
-    <td>Success</p></td>
-    <td>&nbsp;</td>
-  </tr>
-</table>
+</table>
+<p class="note">The constraints in bold above (in the second column) are the ones that SHOULD fail to validate.</p>
 <p>For each report, the successful and failed
     validations will need to be checked against the expected validation results in  Table 2   above  . A
     test case is considered to be successful if its validation result is the same