Implementation reports: added cross-ref links, updated contraints to PROV-CONSTRAINT LC
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Tue, 11 Sep 2012 18:32:08 +0100
changeset 4457 ec122f2c8c51
parent 4456 250c458ac028
child 4458 e0ef62b69ff6
Implementation reports: added cross-ref links, updated contraints to PROV-CONSTRAINT LC
reports/prov-implementations.html
--- a/reports/prov-implementations.html	Tue Sep 11 14:24:51 2012 +0100
+++ b/reports/prov-implementations.html	Tue Sep 11 18:32:08 2012 +0100
@@ -3,7 +3,7 @@
 <html><head> 
     <title>PROV Implementation Report</title> 
     <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
-    <script class="remove"> 
+<script class="remove"> 
       var addExtraReferences = function() {
           for (var k in extraReferences)
               berjon.biblio[k] = extraReferences[k];
@@ -87,10 +87,10 @@
           preProcess: [addExtraReferences],
       };
     </script> 
-  </head> 
-<body xmlns:prov="http://www.w3.org/ns/prov-o/"> 
+</head> 
+  <body xmlns:prov="http://www.w3.org/ns/prov-o/"> 
 
-<section id="abstract">
+    <section id="abstract">
       <p>This document summarises implementation experience reported to the Provenance Working Group.</p>
     </section>
 	<section id="sotd">
@@ -126,650 +126,806 @@
 
     </section>
 
-    <section id="prov-terms">
-      <h2>PROV Language Implementation</h2>
-      <table border="1" cellspacing="0">
-        <caption id="prov-terms-table">Table 2: Coverage of PROV-DM [[PROV-DM]] terms in implementations of type Application, Framework / API, or Service.</caption>
-        <tr>
-          <th scope="col">Term</th>
-          <th scope="col">ProvPy</th>
-          <th scope="col">Implementation 2</th>
-          <th scope="col">Implementation 3</th>
-        </tr>
-        <tr>
-          <th scope="row">Activity</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Agent</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Person</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Organization</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">SoftwareAgent</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Entity</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Bundle</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Collection</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Plan</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Usage</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Generation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Communication</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Derivation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Attribution</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Association</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Delegation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Start</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">End</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Invalidation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Revision</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Quotation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">PrimarySource</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Influence</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Specialization</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Alternate</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Mention</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Membership</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Idenitifer</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Attribute</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Location</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Role</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Value</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-      </table>
+  <section id="prov-terms">
+    <h2>PROV Language Implementation</h2>
+    <table border="1" cellspacing="0">
+      <caption id="prov-terms-table">Table 2: Coverage of PROV-DM [[PROV-DM]] terms in implementations of type Application, Framework / API, or Service.</caption>
+      <tr>
+        <th scope="col">PROV Component</th>
+        <th scope="col">Term</th>
+        <th scope="col">ProvPy</th>
+        <th scope="col">Implementation 2</th>
+        <th scope="col">Implementation 3</th>
+      </tr>
+      <tr>
+        <td rowspan="8"><a href="http://www.w3.org/TR/prov-dm/#component1">Component 1: Entities/Activities</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-entity" class="essential">Entity</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Activity" class="essential">Actitivy</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Generation" class="essential">Generation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Usage" class="essential">Usage</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Communication" class="essential">Communication</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Start">Start</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-End">End</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Invalidation">Invalidation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="4"><a href="http://www.w3.org/TR/prov-dm/#component2">Component 2: Derivations</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Derivation" class="essential">Derivation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-revision">Revision</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-quotation">Quotation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-primary-source">Primary Source</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+          <td rowspan="9"><a href="http://www.w3.org/TR/prov-dm/#component3">Component 3: Agents,<br>
+          Responsibility, Influence</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-agent" class="essential">Agent</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-attribution" class="essential">Attribution</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Association" class="essential">Association</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-delegation" class="essential">Delegation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-plan">Plan</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-person">Person</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-organization">Organization</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-software-agent">SoftwareAgent</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-influence">Influence</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#component4">Component 4: Bundles</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-bundle">Bundle</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="3"><a href="http://www.w3.org/TR/prov-dm/#component5">Component 5: Alternate</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-alternate">Alternate</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-specialization">Specialization</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-mention">Mention</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="2"><a href="http://www.w3.org/TR/prov-dm/#component6">Component 6: Collections</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-collection">Collection</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-membership">Membership</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="5"><a href="http://www.w3.org/TR/prov-dm/#second-class-elements">Other Elements</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-identifier">Idenitifer</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-attribute">Attribute</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-location">Location</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-role">Role</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-value">Value</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+    </table>
 
     </section>
     
-<section id="prov-extensions">
-  <h2>PROV Vocabulary Extension</h2>
+  <section id="prov-extensions">
+      <h2>PROV Vocabulary Extension</h2>
       <table border="1" cellspacing="0">
         <caption id="prov-terms-table">Table 3: PROV Terms extended by Vocabularies.</caption>
-        <tr>
-          <th scope="col">Term</th>
-          <th scope="col">ProvPy</th>
-          <th scope="col">Implementation 2</th>
-          <th scope="col">Implementation 3</th>
-        </tr>
-        <tr>
-          <th scope="row">Activity</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Agent</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
+      <tr>
+        <th scope="col">PROV Component</th>
+        <th scope="col">Term</th>
+        <th scope="col">Vocabulary 1</th>
+        <th scope="col">Vocabulary 2</th>
+        <th scope="col">Vocabulary 3</th>
+      </tr>
+      <tr>
+        <td rowspan="8"><a href="http://www.w3.org/TR/prov-dm/#component1">Component 1: Entities/Activities</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-entity" class="essential">Entity</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Activity" class="essential">Actitivy</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Generation" class="essential">Generation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Usage" class="essential">Usage</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Communication" class="essential">Communication</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Start">Start</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-End">End</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Invalidation">Invalidation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="4"><a href="http://www.w3.org/TR/prov-dm/#component2">Component 2: Derivations</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Derivation" class="essential">Derivation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-revision">Revision</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-quotation">Quotation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-primary-source">Primary Source</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+          <td rowspan="9"><a href="http://www.w3.org/TR/prov-dm/#component3">Component 3: Agents,<br>
+          Responsibility, Influence</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-agent" class="essential">Agent</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-attribution" class="essential">Attribution</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-Association" class="essential">Association</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-delegation" class="essential">Delegation</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-plan">Plan</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-person">Person</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-organization">Organization</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-software-agent">SoftwareAgent</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-influence">Influence</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#component4">Component 4: Bundles</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-bundle">Bundle</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="3"><a href="http://www.w3.org/TR/prov-dm/#component5">Component 5: Alternate</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-alternate">Alternate</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-specialization">Specialization</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-mention">Mention</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="2"><a href="http://www.w3.org/TR/prov-dm/#component6">Component 6: Collections</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-collection">Collection</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-membership">Membership</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td rowspan="5"><a href="http://www.w3.org/TR/prov-dm/#second-class-elements">Other Elements</a></td>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-identifier">Idenitifer</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-attribute">Attribute</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-location">Location</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#concept-role">Role</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+      <tr>
+        <td><a href="http://www.w3.org/TR/prov-dm/#term-value">Value</a></td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+        <td>&nbsp;</td>
+      </tr>
+    </table>
+  </section>
+    
+  <section id="prov-contraints">
+      <h2>PROV Constraint Implementation</h2>
+    <table border="1" cellspacing="0">
+        <caption id="prov-contraints-table">
+        Table 4: PROV Definitions, Inferences, and Contraints [[PROV-CONSTRAINTS]] implemented by Validators.
+        </caption>
         <tr>
-          <th scope="row">Person</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Organization</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">SoftwareAgent</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Entity</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Bundle</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
+          <th scope="col">Definition/Inference/Constraint</th>
+          <th scope="col">Validator 1</th>
+          <th scope="col">Validator 2</th>
+          <th scope="col">Validator 3</th>
         </tr>
         <tr>
-          <th scope="row">Collection</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Plan</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Usage</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Generation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Communication</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Derivation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Attribution</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Association</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Delegation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Start</th>
+          <td><p><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#optional-identifiers">Definition 1 (optional-identifiers)</a></p></td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
         </tr>
         <tr>
-          <th scope="row">End</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Invalidation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Revision</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Quotation</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">PrimarySource</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Influence</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Specialization</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Alternate</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Mention</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Membership</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Idenitifer</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Attribute</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Location</th>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-          <td>&nbsp;</td>
-        </tr>
-        <tr>
-          <th scope="row">Role</th>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#optional-attributes">Definition 2 (optional-attributes)</a></td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
         </tr>
         <tr>
-          <th scope="row">Value</th>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#definition-short-forms">Definition 3 (definition-short-forms)</a></td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
           <td>&nbsp;</td>
         </tr>
-      </table>
-
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#optional-placeholders">Definition 4 (optional-placeholders)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#communication-generation-use-inference_text">Inference 5 (communication-generation-use-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-use-communication-inference_text">Inference 6 (generation-use-communication-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#entity-generation-invalidation-inference_text">Inference 7 (entity-generation-invalidation-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#activity-start-end-inference_text">Inference 8 (activity-start-end-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasStartedBy-inference_text">Inference 9 (wasStartedBy-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasEndedBy-inference_text">Inference 10 (wasEndedBy-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-generation-use-inference_text">Inference 11 (derivation-generation-use-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#revision-is-alternate-inference_text">Inference 12 (revision-is-alternate-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#attribution-inference_text">Inference 13 (attribution-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#delegation-inference_text">Inference 14 (delegation-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#influence-inference_text">Inference 15 (influence-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#alternate-reflexive_text">Inference 16 (alternate-reflexive)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#alternate-transitive_text">Inference 17 (alternate-transitive)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#alternate-symmetric_text">Inference 18 (alternate-symmetric)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-transitive_text">Inference 19 (specialization-transitive)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-alternate-inference_text">Inference 20 (specialization-alternate-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-attributes-inference_text">Inference 21 (specialization-attributes-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#mention-specialization-inference_text">Inference 22 (mention-specialization-inference)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-object_text">Constraint 23 (key-object)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-properties_text">Constraint 24 (key-properties)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-object-property-overlap_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-generation_text">Constraint 25 (unique-generation)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-properties_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-invalidation_text">Constraint 26 (unique-invalidation)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-wasStartedBy_text">Constraint 27 (unique-wasStartedBy)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-wasEndedBy_text">Constraint 28 (unique-wasEndedBy)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-startTime_text">Constraint 29 (unique-startTime)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-endTime_text">Constraint 30 (unique-endTime)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-mention_text">Constraint 31 (unique-mention)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#start-precedes-end_text">Constraint 32 (start-precedes-end)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#start-start-ordering_text">Constraint 33 (start-start-ordering)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-use-communication-inference_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#end-end-ordering_text">Constraint 34 (end-end-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#usage-within-activity_text">Constraint 35 (usage-within-activity)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-within-activity_text">Constraint 36 (generation-within-activity)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-generation_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasInformedBy-ordering_text">Constraint 37 (wasInformedBy-ordering)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-within-activity_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-precedes-invalidation_text">Constraint 38 (generation-precedes-invalidation)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-precedes-usage_text">Constraint 39 (generation-precedes-usage)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#usage-precedes-invalidation_text">Constraint 40 (usage-precedes-invalidation)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-generation-ordering_text">Constraint 41 (generation-generation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#invalidation-invalidation-ordering_text">Constraint 42 (invalidation-invalidation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-usage-generation-ordering_text">Constraint 43 (derivation-usage-generation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-generation-generation-ordering_text">Constraint 44 (derivation-generation-generation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasStartedBy-ordering_text">Constraint 45 (wasStartedBy-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasEndedBy-ordering_text">Constraint 46 (wasEndedBy-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-generation-ordering_text">Constraint 47 (specialization-generation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-invalidation-ordering_text">Constraint 48 (specialization-invalidation-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasAssociatedWith-ordering_text">Constraint 49 (wasAssociatedWith-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasAttributedTo-ordering_text">Constraint 50 (wasAttributedTo-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#actedOnBehalfOf-ordering_text">Constraint 51 (actedOnBehalfOf-ordering)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#typing_text">Constraint 52 (typing)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-unspecified-derivation-generation-use">Constraint 53 (impossible-unspecified-derivation-generation-use)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-specialization-reflexive_text">Constraint 54 (impossible-specialization-reflexive)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-property-overlap_text">Constraint 55 (impossible-property-overlap)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#entity-activity-disjoint_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#activity-start-end-inference_text"></a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+        <tr>
+          <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#membership-empty-collection_text">Constraint 58 (membership-empty-collection)</a></td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+          <td>&nbsp;</td>
+        </tr>
+    </table>
   </section>
-    
-  <section id="prov-contraints">
-    <h2>PROV Constraint Implementation</h2>
-    <table border="1" cellspacing="0">
-      <caption id="prov-contraints-table">Table 4: PROV Constraints [[PROV-CONSTRAINTS]] validated by Validators.</caption>
-      <tr>
-        <th scope="col">Constraint</th>
-        <th scope="col">ProvPy</th>
-        <th scope="col">Implementation 2</th>
-        <th scope="col">Implementation 3</th>
-      </tr>
-      <tr>
-        <td>Definition: wasInformedBy-definition</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Definition: wasStartedByActivity-definition</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: attribution-implication</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: derivation-use</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: wasRevision</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: quotation-implication</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: traceability-inference</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: alternate-reflexive</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: alternate-transitive</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: alternate-symmetric</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: specialization-irreflexive</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: specialization-antisymmetric</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: specialization-transitive</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Inference: specialization-alternate</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: entity-unique</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: activity-unique</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: generation-uniqueness</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: unique-generation-time</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: unique-startTime</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: unique-endTime</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: usage-within-activity</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: generation-within-activity</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasInformedBy-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasStartedByActivity-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: generation-precedes-invalidation</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: generation-precedes-usage</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: usage-precedes-invalidation</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: derivation-usage-generation-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: derivation-generation-generation-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasStartedBy-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasEndedBy-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasAssociatedWith-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: wasAttributedTo-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: actedOnBehalfOf-ordering</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Definition: membership-as-insertion</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-      <tr>
-        <td>Constraint: collection-unique-derivation</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-        <td>&nbsp;</td>
-      </tr>
-    </table>
-    </section>
-    
+  
+    <section id="prov-exchange">
+      <h2>Exchange</h2>
+      <p>TODO: This section will list implementations exchanging provenance information with one another.</p>
+  </section>
+
     <section class="appendix"> 
       <h2>Acknowledgements</h2> 
       <p>TODO: Acknowledgements to people who reported their implementations to the working group.</p> 
     </section> 
-</body>
+  </body>
 </html>
\ No newline at end of file