Updated constraint numberings (following PROV-CONSTRAINTS-CR) in the implementation report
--- a/reports/prov-implementations.html Thu Nov 22 12:48:35 2012 +0000
+++ b/reports/prov-implementations.html Thu Nov 22 15:23:49 2012 +0000
@@ -563,355 +563,217 @@
Table 4: PROV Definitions, Inferences, and Contraints [[PROV-CONSTRAINTS]] implemented by Validators.
</caption>
<tr>
- <th scope="col">Definition/Inference/Constraint</th>
+ <th scope="col">Constraint</th>
<th scope="col">Implementation 1</th>
<th scope="col">Implementation 2</th>
<th scope="col">Implementation 3</th>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#optional-identifiers">Definition 1 (optional-identifiers)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#optional-attributes">Definition 2 (optional-attributes)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#definition-short-forms">Definition 3 (definition-short-forms)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#optional-placeholders">Definition 4 (optional-placeholders)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#communication-generation-use-inference_text">Inference 5 (communication-generation-use-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-use-communication-inference_text">Inference 6 (generation-use-communication-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#entity-generation-invalidation-inference_text">Inference 7 (entity-generation-invalidation-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#activity-start-end-inference_text">Inference 8 (activity-start-end-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasStartedBy-inference_text">Inference 9 (wasStartedBy-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasEndedBy-inference_text">Inference 10 (wasEndedBy-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#derivation-generation-use-inference_text">Inference 11 (derivation-generation-use-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#revision-is-alternate-inference_text">Inference 12 (revision-is-alternate-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#attribution-inference_text">Inference 13 (attribution-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#delegation-inference_text">Inference 14 (delegation-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#influence-inference_text">Inference 15 (influence-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#alternate-reflexive_text">Inference 16 (alternate-reflexive)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#alternate-transitive_text">Inference 17 (alternate-transitive)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#alternate-symmetric_text">Inference 18 (alternate-symmetric)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#specialization-transitive_text">Inference 19 (specialization-transitive)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#specialization-alternate-inference_text">Inference 20 (specialization-alternate-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#specialization-attributes-inference_text">Inference 21 (specialization-attributes-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#mention-specialization-inference_text">Inference 22 (mention-specialization-inference)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-generation_text">Constraint 25 (unique-generation)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-invalidation_text">Constraint 26 (unique-invalidation)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-wasStartedBy_text">Constraint 27 (unique-wasStartedBy)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-wasEndedBy_text">Constraint 28 (unique-wasEndedBy)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-object">Constraint 22 (key-object)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-startTime_text">Constraint 29 (unique-startTime)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-endTime_text">Constraint 30 (unique-endTime)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-mention_text">Constraint 31 (unique-mention)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#start-precedes-end_text">Constraint 32 (start-precedes-end)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#start-start-ordering_text">Constraint 33 (start-start-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#end-end-ordering_text">Constraint 34 (end-end-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#usage-within-activity_text">Constraint 35 (usage-within-activity)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-within-activity_text">Constraint 36 (generation-within-activity)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasInformedBy-ordering_text">Constraint 37 (wasInformedBy-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-precedes-invalidation_text">Constraint 38 (generation-precedes-invalidation)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-precedes-usage_text">Constraint 39 (generation-precedes-usage)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#usage-precedes-invalidation_text">Constraint 40 (usage-precedes-invalidation)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-generation-ordering_text">Constraint 41 (generation-generation-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#invalidation-invalidation-ordering_text">Constraint 42 (invalidation-invalidation-ordering)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-properties">Constraint 23 (key-properties)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#derivation-usage-generation-ordering_text">Constraint 43 (derivation-usage-generation-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#derivation-generation-generation-ordering_text">Constraint 44 (derivation-generation-generation-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasStartedBy-ordering_text">Constraint 45 (wasStartedBy-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasEndedBy-ordering_text">Constraint 46 (wasEndedBy-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#specialization-generation-ordering_text">Constraint 47 (specialization-generation-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#specialization-invalidation-ordering_text">Constraint 48 (specialization-invalidation-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasAssociatedWith-ordering_text">Constraint 49 (wasAssociatedWith-ordering)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-generation">Constraint 24 (unique-generation)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasAttributedTo-ordering_text">Constraint 50 (wasAttributedTo-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#actedOnBehalfOf-ordering_text">Constraint 51 (actedOnBehalfOf-ordering)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#impossible-unspecified-derivation-generation-use">Constraint 53 (impossible-unspecified-derivation-generation-use)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-invalidation">Constraint 25 (unique-invalidation)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#impossible-specialization-reflexive_text">Constraint 54 (impossible-specialization-reflexive)</a></td>
- <td class="implemented"> </td>
- <td class="notused"> </td>
- <td class="notused"> </td>
- </tr>
- <tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#impossible-property-overlap_text">Constraint 55 (impossible-property-overlap)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-startTime">Constraint 28 (unique-startTime)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>
</tr>
<tr>
- <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#membership-empty-collection_text">Constraint 58 (membership-empty-collection)</a></td>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-endTime">Constraint 29 (unique-endTime)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#start-precedes-end">Constraint 30 (start-precedes-end)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#start-start-ordering">Constraint 31 (start-start-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#end-end-ordering">Constraint 32 (end-end-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#usage-within-activity">Constraint 33 (usage-within-activity)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-within-activity">Constraint 34 (generation-within-activity)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasInformedBy-ordering">Constraint 35 (wasInformedBy-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-precedes-usage">Constraint 37 (generation-precedes-usage)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#usage-precedes-invalidation">Constraint 38 (usage-precedes-invalidation)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-generation-ordering">Constraint 39 (generation-generation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#invalidation-invalidation-ordering">Constraint 40 (invalidation-invalidation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#specialization-invalidation-ordering">Constraint 46 (specialization-invalidation-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#typing">Constraint 50 (typing)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-unspecified-derivation-generation-use">Constraint 51 (impossible-unspecified-derivation-generation-use)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-specialization-reflexive">Constraint 52 (impossible-specialization-reflexive)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-property-overlap">Constraint 53 (impossible-property-overlap)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-object-property-overlap">Constraint 54 (impossible-object-property-overlap)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a></td>
+ <td class="implemented"> </td>
+ <td class="notused"> </td>
+ <td class="notused"> </td>
+ </tr>
+ <tr>
+ <td class="feature"><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#membership-empty-collection">Constraint 56 (membership-empty-collection)</a></td>
<td class="implemented"> </td>
<td class="notused"> </td>
<td class="notused"> </td>