testcases/process.html
author Paul Groth <p.t.groth@vu.nl>
Tue, 04 Jun 2013 21:43:00 +0200
changeset 6405 ca9dea97e44b
parent 5418 b3bdc7cf24c1
permissions -rw-r--r--
added link to overview
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
     1
<!DOCTYPE html>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     2
<html xmlns="http://www.w3.org/1999/xhtml">
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     3
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     4
<head>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     5
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     6
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     7
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
     8
    <title>PROV-CONSTRAINTS Test Cases</title>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
     9
    <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
4876
34ecb72268ea Update test case identifier naming scheme. Added three test cases.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4829
diff changeset
    10
    <script src="../model/provbib.js" class="remove"></script>    
4790
0ac9c1481147 Moved PROV-JSON in the Implementation report to Other encodings
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4702
diff changeset
    11
    <script type="text/javascript" >
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    12
      var respecConfig = {
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    13
          // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
4829
cbf7fcfca0d4 changed status of implementation reports
Luc Moreau <l.moreau@ecs.soton.ac.uk>
parents: 4790
diff changeset
    14
          specStatus:           "unofficial",
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    15
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    16
          // the specification's short name, as in http://www.w3.org/TR/short-name/
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    17
          shortName:            "prov-constraints-implementations",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    18
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    19
          // if your specification has a subtitle that goes below the main
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    20
          // formal title, define it here
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    21
          subtitle   :  "The process for reporting PROV-CONSTRAINTS implementations",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    22
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    23
          // if you wish the publication date to be other than today, set this
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    24
          // publishDate:  "2011-10-18",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    25
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    26
          // if the specification's copyright date is a range of years, specify
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    27
          // the start date here:
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    28
          // copyrightStart: "2005"
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    29
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    30
          // if there is a previously published draft, uncomment this and set its YYYY-MM-DD date
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    31
          // and its maturity status
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    32
          //previousPublishDate:  "2011-12-15",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    33
          //previousMaturity:  "WD",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    34
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    35
          // if there a publicly available Editor's Draft, this is the link
5305
948612065c9a Updated links to test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5304
diff changeset
    36
          edDraftURI:           "process.html",
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    37
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    38
          // if this is a LCWD, uncomment and set the end of its review period
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    39
          // lcEnd: "2009-08-05",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    40
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    41
          // if you want to have extra CSS, append them to this list
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    42
          // it is recommended that the respec.css stylesheet be kept
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    43
          extraCSS:             ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"],
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    44
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    45
          // editors, add as many as you like
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    46
          // only "name" is required
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    47
          editors:  [
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    48
              { name: "Trung Dong Huynh", url: "http://www.ecs.soton.ac.uk/~tdh/",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    49
                company: "University of Southampton" },
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    50
              { name: "Paul Groth", url: "http://www.few.vu.nl/~pgroth/",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    51
                company: "VU University of Amsterdam" },
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    52
              { name: "Stephan Zednik", url: "http://tw.rpi.edu/web/person/StephanZednik",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    53
                company: "Rensselaer Polytechnic Institute" },
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    54
          ],
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    55
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    56
          // authors, add as many as you like. 
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    57
          // This is optional, uncomment if you have authors as well as editors.
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    58
          // only "name" is required. Same format as editors.
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    59
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    60
          // name of the WG
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    61
          wg:           "Provenance Working Group",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    62
          
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    63
          // URI of the public WG page
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    64
          wgURI:        "http://www.w3.org/2011/prov/",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    65
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    66
          // name (with the @w3c.org) of the public mailing to which comments are due
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    67
          wgPublicList: "public-prov-wg",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    68
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    69
          // URI of the patent status for this WG, for Rec-track documents
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    70
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    71
          // !!!! IMPORTANT !!!!
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    72
          // This is important for Rec-track documents, do not copy a patent URI from a random
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    73
          // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    74
          // Team Contact.
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    75
          wgPatentURI:  "http://www.w3.org/2004/01/pp-impl/46974/status",
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    76
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    77
          // Add extraReferences to bibliography database
4790
0ac9c1481147 Moved PROV-JSON in the Implementation report to Other encodings
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4702
diff changeset
    78
          preProcess: [addProvReferences],
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    79
      };
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    80
    </script>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    81
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    82
</head>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    83
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
    84
<body>
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
    85
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    86
<section id="abstract">
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    87
5185
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
    88
<p>This document describes the process for reporting implemetations of [[PROV-CONSTRAINTS]],
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
    89
i.e. PROV-CONSTRAINTS validators.
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
    90
It provides the instructions for implementers on running PROV-CONSTRAINTS test cases and
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
    91
reporting their results.
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
    92
It also lists all the test cases and links to download them.</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    93
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
    94
</section>
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
    95
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
    96
<section id="conformance" class="introductory"> </section>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    97
5184
77560034c29b Fixed syntax errors in some PROV-O test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5174
diff changeset
    98
<section id="process">
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
    99
5184
77560034c29b Fixed syntax errors in some PROV-O test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5174
diff changeset
   100
<h2>Report Your Validator</h2>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   101
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   102
<p>The support for constraints from [[PROV-CONSTRAINTS]] in implementations cannot be
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   103
determined as straightforward as with the features from the other PROV documents as
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   104
they are, in many cases, interrelated. Sometimes, it is indeed required to consider a
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   105
number of constraints together to determine the validity of a PROV document.
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   106
Therefore, in order to facility reporting implementations of PROV-CONSTRAINTS, we provide
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   107
test cases to assist with determining the level of support of a PROV-CONSTRAINTS
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   108
implementation.</p>
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   109
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   110
<p>A test case for PROV-CONSTRAINTS is a PROV document that contains either valid or
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   111
invalid PROV statements, and implementers of PROV-CONSTRAINTS are asked to determine its
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   112
validity (as specified in [[PROV-CONSTRAINTS]]). The test cases are specially designed to
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   113
cover a small set of constraints (called unit test cases, see <a href="#unit-test-cases" class="sectionRef">Section 2.1</a>) or to exercise a subset of PROV statements. By
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   114
successfully determining the validity of such a test case, an implementation indirectly
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   115
demonstrates its support for the PROV feature(s) covered by the test case.</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   116
5184
77560034c29b Fixed syntax errors in some PROV-O test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5174
diff changeset
   117
<section id="testcase-identifier">
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   118
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   119
<h3>Test cases</h3>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   120
4937
a1c32174d82e Updated test case process document (from Luc's feedback)
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4922
diff changeset
   121
<p>
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   122
Each test case is given an identifier, e.g. <b>ordering-derivation1-PASS-c42</b>, which
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   123
indicates whether the test case should be successfully validated (i.e. <b>PASS</b>)
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   124
or not (i.e. <b>FAIL</b>). In addition, a test case's identifier also includes the
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   125
numberings of the constraints that it covers at the end.
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   126
e.g. <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><b>c42</b></a>. 
4790
0ac9c1481147 Moved PROV-JSON in the Implementation report to Other encodings
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4702
diff changeset
   127
</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   128
4790
0ac9c1481147 Moved PROV-JSON in the Implementation report to Other encodings
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4702
diff changeset
   129
<p>The provenance document for each test case will be provided in the following representations:</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   130
5214
4227edba2eab Updated the test case document: HTML5 validated, used DFN link styles
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5213
diff changeset
   131
<table class="simple">
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   132
  <caption>Table 1. File representations provided for every test cases.</caption>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   133
  <tr>
5185
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   134
    <th>Representation</th>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   135
    <th>File extension</th>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   136
    <th>Documentation</th>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   137
  </tr>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   138
  <tr>
5202
cbbb08ec6559 Updated tables in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5198
diff changeset
   139
    <td><b>RDF (PROV-O)</b></td>
cbbb08ec6559 Updated tables in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5198
diff changeset
   140
    <td>.ttl</td>
5313
a53f63bbc275 Fixed broken file links
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5312
diff changeset
   141
    <td>[[PROV-O]] and [[TURTLE]]</td>
5202
cbbb08ec6559 Updated tables in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5198
diff changeset
   142
  </tr>
cbbb08ec6559 Updated tables in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5198
diff changeset
   143
  <tr>
5185
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   144
    <td><b>PROV-N</b></td>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   145
    <td>.provn</td>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   146
    <td>[[PROV-N]]</td>
4937
a1c32174d82e Updated test case process document (from Luc's feedback)
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4922
diff changeset
   147
  </tr>
a1c32174d82e Updated test case process document (from Luc's feedback)
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4922
diff changeset
   148
  <tr>
5185
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   149
    <td><b>PROV-XML</b></td>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   150
    <td>.provx</td>
1fc008b3bdf7 Updated the list of test cases
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5184
diff changeset
   151
    <td>[[PROV-XML]]</td>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   152
  </tr>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   153
</table>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   154
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   155
<p>For example, the available files for the test case <b>ordering-derivation1-PASS-c42</b>
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   156
are: <b>ordering-derivation1-PASS-c42.ttl</b>, <b>ordering-derivation1-PASS-c42.provn</b>,
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   157
and <b>ordering-derivation1-PASS-c42.provx</b>.  Please note that, all though we provide three different representations, you only need to validate one per each test case.</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   158
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
   159
<p>For your convenience, the download links for all the available test cases
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   160
(as enumerated in <a href="#test-case-catalogues" class="sectionRef">Section 2</a>)
5300
5495d990f17b Revised the test case document
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5278
diff changeset
   161
for each representation are respectively provided in the following text files:
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
   162
<a href="rdf-tests.txt">rdf-tests.txt</a>, <a href="provn-tests.txt">provn-tests.txt</a>,
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   163
and <a href="xml-tests.txt">xml-tests.txt</a>.</p>
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   164
</section>
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   165
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
   166
<section>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   167
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   168
<h3>Test Results</h3>
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   169
5121
3122058eaead Some fixes in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4937
diff changeset
   170
<p>Implementers are asked to validate each test case with their implementation and record
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   171
the validation results in two lists: the <b>pass list</b> and the <b>fail list</b>.
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   172
The <b>pass list</b> file MUST contain all the identifiers (one on each line) of
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   173
the test cases that have been successfully validated, and the <b>fail list</b>
5121
3122058eaead Some fixes in the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4937
diff changeset
   174
MUST contain the identifiers of all those that have failed the validation.
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   175
The identifiers MUST also include the file extension, e.g. <b>ordering-derivation1-PASS-c42.provn</b>,
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   176
to indicate the versions that were actually tested. Test cases that are not supported by the
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   177
implementation SHOULD NOT be included in either of the lists.</p>
4922
0d3cacccfdca Added example test result files. Added three PROV-O example test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4893
diff changeset
   178
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   179
<p>For example, if a validator can <strong>only</strong> process the PROV-N representations of the three test cases
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   180
<b>ordering-derivation1-PASS-c42</b>, <b>ordering-derivation2-FAIL-c42</b>, and <b>ordering-derivation3-PASS-c41-c42</b>, we
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   181
expect the result lists's contents to be similar to the below.</p>
4922
0d3cacccfdca Added example test result files. Added three PROV-O example test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4893
diff changeset
   182
<pre class="example">
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   183
The pass list:
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   184
	ordering-derivation1-PASS-c42.provn
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   185
	ordering-derivation3-PASS-c41-c42.provn
4922
0d3cacccfdca Added example test result files. Added three PROV-O example test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4893
diff changeset
   186
	
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   187
The fail list:
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   188
	ordering-derivation2-FAIL-c42.provn
4922
0d3cacccfdca Added example test result files. Added three PROV-O example test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4893
diff changeset
   189
</pre>
0d3cacccfdca Added example test result files. Added three PROV-O example test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4893
diff changeset
   190
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   191
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   192
<p>Please report your test results using the <a href="https://www.w3.org/2002/09/wbs/99999/prov-constraints/">constraint questionnaire</a>.
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   193
</p>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   194
4527
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   195
</section>
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   196
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   197
</section>
8960e2aa8229 Minor edits in implementation reports
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 4522
diff changeset
   198
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
   199
<section>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   200
5278
119abeec0fa2 Updated test case document - in progress
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5262
diff changeset
   201
<h2>Test Case Catalogues</h2>
4702
ef08de088793 updated to ed
Paul Groth <p.t.groth@vu.nl>
parents: 4538
diff changeset
   202
5306
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   203
<p>This section enumerates all test cases available for PROV-CONSTRAINTS. There are two types of test cases:</p>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   204
<dl>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   205
  <dt>Unit test cases</dt>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   206
  <dd>Unit test cases are designed to cover particular constraints (see <a href="#unit-test-cases"
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   207
  class="sectionRef">Section 2.1</a>). Please note that there are a small number of test cases we do not provide the RDF representation since the (invalid) constructs therein cannot be expressed in valid RDF.</dd>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   208
  <dt>Example test cases</dt>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   209
  <dd>These are examples from PROV documents, which excercise various PROV statements. They are typically complex examples and cover numerous contraints. Therefore, we did not those constraints in the test cases' identifiers. However, any PROV-CONSTRAINTS implementation SHOULD be able to successfully validate all the example test cases. Test cases for examples from [[PROV-DM]] and [[PROV-O]] are listed in <a href="#prov-dm-test-cases" class="sectionRef">Section 2.2</a> and <a href="#prov-o-test-cases" class="sectionRef">Section 2.3</a> respectively.</dd>
86476cc3634d Completed the test case document.
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5305
diff changeset
   210
</dl>
5213
159f49df0567 Regenerated the test case files and the test case document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5202
diff changeset
   211
5262
648408c054ea Minor updates for the test case process document
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5261
diff changeset
   212
<section>
5312
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   213
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   214
<h3>Unit Test Cases</h3>
5303
6fee081a5786 Updated fail PROV-O and pass usage test cases
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5300
diff changeset
   215
  
5312
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   216
<p>All test cases SHOULD be checked for their validity with respect to the  constraints they cover. A success test result for a test case means its validity MUST be the same as its expected validation result as provided in Table 2 below.</p>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   217
  
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   218
<table class="simple" id="table-unit-test-cases">
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   219
  <caption>Table 2. PROV-CONSTRAINTS test cases</caption>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   220
  <tr>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   221
    <th>Identifier</th>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   222
    <th>Constraints</th>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   223
    <th>Expected Validation Result</th>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   224
    <th>Download links</th>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   225
  </tr>
5304
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   226
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   227
    <td id="ordering-activity1-PASS-c30"><a class="internalDFN" href="#ordering-activity1-PASS-c30">ordering-activity1-PASS-c30</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   228
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   229
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-precedes-end">Constraint 30 (start-precedes-end)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   230
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   231
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   232
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   233
      <a href="constraints/ordering-activity1-PASS-c30.ttl" title="ordering-activity1-PASS-c30.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   234
      <a href="constraints/ordering-activity1-PASS-c30.provn" title="ordering-activity1-PASS-c30.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   235
      <a href="constraints/ordering-activity1-PASS-c30.provx" title="ordering-activity1-PASS-c30.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   236
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   237
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   238
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   239
    <td id="ordering-activity2-PASS-c33"><a class="internalDFN" href="#ordering-activity2-PASS-c33">ordering-activity2-PASS-c33</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   240
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   241
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-within-activity">Constraint 33 (usage-within-activity)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   242
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   243
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   244
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   245
      <a href="constraints/ordering-activity2-PASS-c33.ttl" title="ordering-activity2-PASS-c33.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   246
      <a href="constraints/ordering-activity2-PASS-c33.provn" title="ordering-activity2-PASS-c33.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   247
      <a href="constraints/ordering-activity2-PASS-c33.provx" title="ordering-activity2-PASS-c33.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   248
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   249
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   250
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   251
    <td id="ordering-activity3-PASS-c34"><a class="internalDFN" href="#ordering-activity3-PASS-c34">ordering-activity3-PASS-c34</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   252
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   253
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-within-activity">Constraint 34 (generation-within-activity)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   254
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   255
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   256
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   257
      <a href="constraints/ordering-activity3-PASS-c34.ttl" title="ordering-activity3-PASS-c34.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   258
      <a href="constraints/ordering-activity3-PASS-c34.provn" title="ordering-activity3-PASS-c34.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   259
      <a href="constraints/ordering-activity3-PASS-c34.provx" title="ordering-activity3-PASS-c34.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   260
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   261
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   262
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   263
    <td id="ordering-activity4-PASS-c31"><a class="internalDFN" href="#ordering-activity4-PASS-c31">ordering-activity4-PASS-c31</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   264
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   265
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-start-ordering">Constraint 31 (start-start-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   266
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   267
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   268
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   269
      <a href="constraints/ordering-activity4-PASS-c31.ttl" title="ordering-activity4-PASS-c31.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   270
      <a href="constraints/ordering-activity4-PASS-c31.provn" title="ordering-activity4-PASS-c31.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   271
      <a href="constraints/ordering-activity4-PASS-c31.provx" title="ordering-activity4-PASS-c31.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   272
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   273
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   274
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   275
    <td id="ordering-activity5-PASS-c32"><a class="internalDFN" href="#ordering-activity5-PASS-c32">ordering-activity5-PASS-c32</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   276
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   277
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#end-end-ordering">Constraint 32 (end-end-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   278
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   279
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   280
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   281
      <a href="constraints/ordering-activity5-PASS-c32.ttl" title="ordering-activity5-PASS-c32.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   282
      <a href="constraints/ordering-activity5-PASS-c32.provn" title="ordering-activity5-PASS-c32.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   283
      <a href="constraints/ordering-activity5-PASS-c32.provx" title="ordering-activity5-PASS-c32.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   284
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   285
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   286
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   287
    <td id="ordering-association1-PASS-c47"><a class="internalDFN" href="#ordering-association1-PASS-c47">ordering-association1-PASS-c47</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   288
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   289
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   290
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   291
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   292
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   293
      <a href="constraints/ordering-association1-PASS-c47.ttl" title="ordering-association1-PASS-c47.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   294
      <a href="constraints/ordering-association1-PASS-c47.provn" title="ordering-association1-PASS-c47.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   295
      <a href="constraints/ordering-association1-PASS-c47.provx" title="ordering-association1-PASS-c47.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   296
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   297
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   298
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   299
    <td id="ordering-association2-PASS-c47"><a class="internalDFN" href="#ordering-association2-PASS-c47">ordering-association2-PASS-c47</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   300
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   301
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   302
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   303
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   304
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   305
      <a href="constraints/ordering-association2-PASS-c47.ttl" title="ordering-association2-PASS-c47.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   306
      <a href="constraints/ordering-association2-PASS-c47.provn" title="ordering-association2-PASS-c47.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   307
      <a href="constraints/ordering-association2-PASS-c47.provx" title="ordering-association2-PASS-c47.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   308
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   309
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   310
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   311
    <td id="ordering-attribution1-PASS-c48"><a class="internalDFN" href="#ordering-attribution1-PASS-c48">ordering-attribution1-PASS-c48</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   312
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   313
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   314
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   315
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   316
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   317
      <a href="constraints/ordering-attribution1-PASS-c48.ttl" title="ordering-attribution1-PASS-c48.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   318
      <a href="constraints/ordering-attribution1-PASS-c48.provn" title="ordering-attribution1-PASS-c48.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   319
      <a href="constraints/ordering-attribution1-PASS-c48.provx" title="ordering-attribution1-PASS-c48.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   320
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   321
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   322
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   323
    <td id="ordering-attribution2-PASS-c48"><a class="internalDFN" href="#ordering-attribution2-PASS-c48">ordering-attribution2-PASS-c48</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   324
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   325
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   326
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   327
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   328
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   329
      <a href="constraints/ordering-attribution2-PASS-c48.ttl" title="ordering-attribution2-PASS-c48.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   330
      <a href="constraints/ordering-attribution2-PASS-c48.provn" title="ordering-attribution2-PASS-c48.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   331
      <a href="constraints/ordering-attribution2-PASS-c48.provx" title="ordering-attribution2-PASS-c48.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   332
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   333
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   334
  <tr>
5312
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   335
    <td id="ordering-communication-PASS-c35"><a class="internalDFN" href="#ordering-communication-PASS-c35">ordering-communication-PASS-c35</a></td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   336
    <td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   337
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasInformedBy-ordering">Constraint 35 (wasInformedBy-ordering)</a>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   338
    </td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   339
    <td>PASS</td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   340
    <td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   341
      <a href="constraints/ordering-communication-PASS-c35.ttl" title="ordering-communication-PASS-c35.ttl">RDF</a>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   342
      <a href="constraints/ordering-communication-PASS-c35.provn" title="ordering-communication-PASS-c35.provn">PROV-N</a>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   343
      <a href="constraints/ordering-communication-PASS-c35.provx" title="ordering-communication-PASS-c35.provx">XML</a>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   344
    </td>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   345
  </tr>
aa13a03c4555 Added test cases for Constraints 35 and 51
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5308
diff changeset
   346
  <tr>
5304
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   347
    <td id="ordering-delegation1-PASS-c49"><a class="internalDFN" href="#ordering-delegation1-PASS-c49">ordering-delegation1-PASS-c49</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   348
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   349
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   350
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   351
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   352
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   353
      <a href="constraints/ordering-delegation1-PASS-c49.ttl" title="ordering-delegation1-PASS-c49.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   354
      <a href="constraints/ordering-delegation1-PASS-c49.provn" title="ordering-delegation1-PASS-c49.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   355
      <a href="constraints/ordering-delegation1-PASS-c49.provx" title="ordering-delegation1-PASS-c49.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   356
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   357
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   358
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   359
    <td id="ordering-delegation2-PASS-c49"><a class="internalDFN" href="#ordering-delegation2-PASS-c49">ordering-delegation2-PASS-c49</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   360
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   361
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   362
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   363
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   364
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   365
      <a href="constraints/ordering-delegation2-PASS-c49.ttl" title="ordering-delegation2-PASS-c49.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   366
      <a href="constraints/ordering-delegation2-PASS-c49.provn" title="ordering-delegation2-PASS-c49.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   367
      <a href="constraints/ordering-delegation2-PASS-c49.provx" title="ordering-delegation2-PASS-c49.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   368
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   369
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   370
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   371
    <td id="ordering-derivation1-PASS-c42"><a class="internalDFN" href="#ordering-derivation1-PASS-c42">ordering-derivation1-PASS-c42</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   372
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   373
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   374
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   375
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   376
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   377
      <a href="constraints/ordering-derivation1-PASS-c42.ttl" title="ordering-derivation1-PASS-c42.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   378
      <a href="constraints/ordering-derivation1-PASS-c42.provn" title="ordering-derivation1-PASS-c42.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   379
      <a href="constraints/ordering-derivation1-PASS-c42.provx" title="ordering-derivation1-PASS-c42.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   380
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   381
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   382
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   383
    <td id="ordering-derivation2-FAIL-c42"><a class="internalDFN" href="#ordering-derivation2-FAIL-c42">ordering-derivation2-FAIL-c42</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   384
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   385
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   386
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   387
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   388
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   389
      <a href="constraints/ordering-derivation2-FAIL-c42.ttl" title="ordering-derivation2-FAIL-c42.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   390
      <a href="constraints/ordering-derivation2-FAIL-c42.provn" title="ordering-derivation2-FAIL-c42.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   391
      <a href="constraints/ordering-derivation2-FAIL-c42.provx" title="ordering-derivation2-FAIL-c42.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   392
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   393
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   394
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   395
    <td id="ordering-derivation3-PASS-c41-c42"><a class="internalDFN" href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   396
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   397
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   398
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   399
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   400
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   401
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   402
      <a href="constraints/ordering-derivation3-PASS-c41-c42.ttl" title="ordering-derivation3-PASS-c41-c42.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   403
      <a href="constraints/ordering-derivation3-PASS-c41-c42.provn" title="ordering-derivation3-PASS-c41-c42.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   404
      <a href="constraints/ordering-derivation3-PASS-c41-c42.provx" title="ordering-derivation3-PASS-c41-c42.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   405
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   406
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   407
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   408
    <td id="ordering-ends1-PASS-c44"><a class="internalDFN" href="#ordering-ends1-PASS-c44">ordering-ends1-PASS-c44</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   409
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   410
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   411
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   412
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   413
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   414
      <a href="constraints/ordering-ends1-PASS-c44.ttl" title="ordering-ends1-PASS-c44.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   415
      <a href="constraints/ordering-ends1-PASS-c44.provn" title="ordering-ends1-PASS-c44.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   416
      <a href="constraints/ordering-ends1-PASS-c44.provx" title="ordering-ends1-PASS-c44.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   417
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   418
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   419
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   420
    <td id="ordering-entity1-PASS-c36-c37-c38"><a class="internalDFN" href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   421
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   422
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   423
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-usage">Constraint 37 (generation-precedes-usage)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   424
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-precedes-invalidation">Constraint 38 (usage-precedes-invalidation)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   425
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   426
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   427
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   428
      <a href="constraints/ordering-entity1-PASS-c36-c37-c38.ttl" title="ordering-entity1-PASS-c36-c37-c38.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   429
      <a href="constraints/ordering-entity1-PASS-c36-c37-c38.provn" title="ordering-entity1-PASS-c36-c37-c38.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   430
      <a href="constraints/ordering-entity1-PASS-c36-c37-c38.provx" title="ordering-entity1-PASS-c36-c37-c38.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   431
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   432
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   433
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   434
    <td id="ordering-entity2-PASS-c36"><a class="internalDFN" href="#ordering-entity2-PASS-c36">ordering-entity2-PASS-c36</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   435
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   436
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   437
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   438
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   439
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   440
      <a href="constraints/ordering-entity2-PASS-c36.ttl" title="ordering-entity2-PASS-c36.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   441
      <a href="constraints/ordering-entity2-PASS-c36.provn" title="ordering-entity2-PASS-c36.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   442
      <a href="constraints/ordering-entity2-PASS-c36.provx" title="ordering-entity2-PASS-c36.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   443
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   444
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   445
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   446
    <td id="ordering-entity3-PASS-c39"><a class="internalDFN" href="#ordering-entity3-PASS-c39">ordering-entity3-PASS-c39</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   447
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   448
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-generation-ordering">Constraint 39 (generation-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   449
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   450
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   451
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   452
      <a href="constraints/ordering-entity3-PASS-c39.ttl" title="ordering-entity3-PASS-c39.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   453
      <a href="constraints/ordering-entity3-PASS-c39.provn" title="ordering-entity3-PASS-c39.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   454
      <a href="constraints/ordering-entity3-PASS-c39.provx" title="ordering-entity3-PASS-c39.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   455
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   456
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   457
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   458
    <td id="ordering-entity4-PASS-c40"><a class="internalDFN" href="#ordering-entity4-PASS-c40">ordering-entity4-PASS-c40</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   459
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   460
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#invalidation-invalidation-ordering">Constraint 40 (invalidation-invalidation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   461
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   462
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   463
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   464
      <a href="constraints/ordering-entity4-PASS-c40.ttl" title="ordering-entity4-PASS-c40.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   465
      <a href="constraints/ordering-entity4-PASS-c40.provn" title="ordering-entity4-PASS-c40.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   466
      <a href="constraints/ordering-entity4-PASS-c40.provx" title="ordering-entity4-PASS-c40.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   467
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   468
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   469
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   470
    <td id="ordering-specialization1-PASS-c45"><a class="internalDFN" href="#ordering-specialization1-PASS-c45">ordering-specialization1-PASS-c45</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   471
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   472
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   473
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   474
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   475
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   476
      <a href="constraints/ordering-specialization1-PASS-c45.ttl" title="ordering-specialization1-PASS-c45.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   477
      <a href="constraints/ordering-specialization1-PASS-c45.provn" title="ordering-specialization1-PASS-c45.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   478
      <a href="constraints/ordering-specialization1-PASS-c45.provx" title="ordering-specialization1-PASS-c45.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   479
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   480
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   481
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   482
    <td id="ordering-specialization2-PASS-c46"><a class="internalDFN" href="#ordering-specialization2-PASS-c46">ordering-specialization2-PASS-c46</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   483
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   484
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-invalidation-ordering">Constraint 46 (specialization-invalidation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   485
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   486
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   487
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   488
      <a href="constraints/ordering-specialization2-PASS-c46.ttl" title="ordering-specialization2-PASS-c46.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   489
      <a href="constraints/ordering-specialization2-PASS-c46.provn" title="ordering-specialization2-PASS-c46.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   490
      <a href="constraints/ordering-specialization2-PASS-c46.provx" title="ordering-specialization2-PASS-c46.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   491
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   492
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   493
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   494
    <td id="ordering-specialization3-PASS-c42-c45"><a class="internalDFN" href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   495
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   496
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   497
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   498
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   499
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   500
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   501
      <a href="constraints/ordering-specialization3-PASS-c42-c45.ttl" title="ordering-specialization3-PASS-c42-c45.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   502
      <a href="constraints/ordering-specialization3-PASS-c42-c45.provn" title="ordering-specialization3-PASS-c42-c45.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   503
      <a href="constraints/ordering-specialization3-PASS-c42-c45.provx" title="ordering-specialization3-PASS-c42-c45.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   504
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   505
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   506
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   507
    <td id="ordering-specialization4-FAIL-c42-c45"><a class="internalDFN" href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   508
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   509
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   510
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   511
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   512
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   513
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   514
      <a href="constraints/ordering-specialization4-FAIL-c42-c45.ttl" title="ordering-specialization4-FAIL-c42-c45.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   515
      <a href="constraints/ordering-specialization4-FAIL-c42-c45.provn" title="ordering-specialization4-FAIL-c42-c45.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   516
      <a href="constraints/ordering-specialization4-FAIL-c42-c45.provx" title="ordering-specialization4-FAIL-c42-c45.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   517
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   518
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   519
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   520
    <td id="ordering-starts1-PASS-c43"><a class="internalDFN" href="#ordering-starts1-PASS-c43">ordering-starts1-PASS-c43</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   521
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   522
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   523
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   524
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   525
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   526
      <a href="constraints/ordering-starts1-PASS-c43.ttl" title="ordering-starts1-PASS-c43.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   527
      <a href="constraints/ordering-starts1-PASS-c43.provn" title="ordering-starts1-PASS-c43.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   528
      <a href="constraints/ordering-starts1-PASS-c43.provx" title="ordering-starts1-PASS-c43.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   529
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   530
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   531
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   532
    <td id="type-collection-FAIL-c56"><a class="internalDFN" href="#type-collection-FAIL-c56">type-collection-FAIL-c56</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   533
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   534
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection">Constraint 56 (membership-empty-collection)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   535
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   536
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   537
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   538
      <a href="constraints/type-collection-FAIL-c56.ttl" title="type-collection-FAIL-c56.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   539
      <a href="constraints/type-collection-FAIL-c56.provn" title="type-collection-FAIL-c56.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   540
      <a href="constraints/type-collection-FAIL-c56.provx" title="type-collection-FAIL-c56.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   541
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   542
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   543
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   544
    <td id="type-f1-FAIL-c50-c55"><a class="internalDFN" href="#type-f1-FAIL-c50-c55">type-f1-FAIL-c50-c55</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   545
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   546
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing">Constraint 50 (typing)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   547
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   548
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   549
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   550
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   551
      <a href="constraints/type-f1-FAIL-c50-c55.ttl" title="type-f1-FAIL-c50-c55.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   552
      <a href="constraints/type-f1-FAIL-c50-c55.provn" title="type-f1-FAIL-c50-c55.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   553
      <a href="constraints/type-f1-FAIL-c50-c55.provx" title="type-f1-FAIL-c50-c55.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   554
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   555
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   556
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   557
    <td id="type-f2-FAIL-c50-c55"><a class="internalDFN" href="#type-f2-FAIL-c50-c55">type-f2-FAIL-c50-c55</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   558
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   559
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing">Constraint 50 (typing)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   560
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   561
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   562
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   563
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   564
      <a href="constraints/type-f2-FAIL-c50-c55.ttl" title="type-f2-FAIL-c50-c55.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   565
      <a href="constraints/type-f2-FAIL-c50-c55.provn" title="type-f2-FAIL-c50-c55.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   566
      <a href="constraints/type-f2-FAIL-c50-c55.provx" title="type-f2-FAIL-c50-c55.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   567
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   568
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   569
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   570
    <td id="type-f3-FAIL-c54"><a class="internalDFN" href="#type-f3-FAIL-c54">type-f3-FAIL-c54</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   571
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   572
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-object-property-overlap">Constraint 54 (impossible-object-property-overlap)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   573
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   574
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   575
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   576
      <a href="constraints/type-f3-FAIL-c54.ttl" title="type-f3-FAIL-c54.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   577
      <a href="constraints/type-f3-FAIL-c54.provn" title="type-f3-FAIL-c54.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   578
      <a href="constraints/type-f3-FAIL-c54.provx" title="type-f3-FAIL-c54.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   579
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   580
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   581
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   582
    <td id="type-f4-FAIL-c53"><a class="internalDFN" href="#type-f4-FAIL-c53">type-f4-FAIL-c53</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   583
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   584
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-property-overlap">Constraint 53 (impossible-property-overlap)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   585
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   586
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   587
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   588
      <a href="constraints/type-f4-FAIL-c53.ttl" title="type-f4-FAIL-c53.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   589
      <a href="constraints/type-f4-FAIL-c53.provn" title="type-f4-FAIL-c53.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   590
      <a href="constraints/type-f4-FAIL-c53.provx" title="type-f4-FAIL-c53.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   591
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   592
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   593
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   594
    <td id="type-s1-PASS-c50-c55"><a class="internalDFN" href="#type-s1-PASS-c50-c55">type-s1-PASS-c50-c55</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   595
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   596
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing">Constraint 50 (typing)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   597
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   598
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   599
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   600
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   601
      <a href="constraints/type-s1-PASS-c50-c55.ttl" title="type-s1-PASS-c50-c55.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   602
      <a href="constraints/type-s1-PASS-c50-c55.provn" title="type-s1-PASS-c50-c55.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   603
      <a href="constraints/type-s1-PASS-c50-c55.provx" title="type-s1-PASS-c50-c55.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   604
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   605
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   606
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   607
    <td id="type-s2-PASS-c50-c55"><a class="internalDFN" href="#type-s2-PASS-c50-c55">type-s2-PASS-c50-c55</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   608
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   609
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing">Constraint 50 (typing)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   610
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   611
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   612
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   613
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   614
      <a href="constraints/type-s2-PASS-c50-c55.ttl" title="type-s2-PASS-c50-c55.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   615
      <a href="constraints/type-s2-PASS-c50-c55.provn" title="type-s2-PASS-c50-c55.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   616
      <a href="constraints/type-s2-PASS-c50-c55.provx" title="type-s2-PASS-c50-c55.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   617
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   618
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   619
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   620
    <td id="unification-activity-end-f1-FAIL-c29"><a class="internalDFN" href="#unification-activity-end-f1-FAIL-c29">unification-activity-end-f1-FAIL-c29</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   621
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   622
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime">Constraint 29 (unique-endTime)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   623
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   624
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   625
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   626
      <a href="constraints/unification-activity-end-f1-FAIL-c29.ttl" title="unification-activity-end-f1-FAIL-c29.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   627
      <a href="constraints/unification-activity-end-f1-FAIL-c29.provn" title="unification-activity-end-f1-FAIL-c29.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   628
      <a href="constraints/unification-activity-end-f1-FAIL-c29.provx" title="unification-activity-end-f1-FAIL-c29.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   629
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   630
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   631
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   632
    <td id="unification-activity-end-s1-PASS-c29"><a class="internalDFN" href="#unification-activity-end-s1-PASS-c29">unification-activity-end-s1-PASS-c29</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   633
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   634
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime">Constraint 29 (unique-endTime)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   635
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   636
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   637
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   638
      <a href="constraints/unification-activity-end-s1-PASS-c29.ttl" title="unification-activity-end-s1-PASS-c29.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   639
      <a href="constraints/unification-activity-end-s1-PASS-c29.provn" title="unification-activity-end-s1-PASS-c29.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   640
      <a href="constraints/unification-activity-end-s1-PASS-c29.provx" title="unification-activity-end-s1-PASS-c29.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   641
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   642
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   643
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   644
    <td id="unification-activity-s1-PASS-c22"><a class="internalDFN" href="#unification-activity-s1-PASS-c22">unification-activity-s1-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   645
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   646
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   647
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   648
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   649
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   650
      <a href="constraints/unification-activity-s1-PASS-c22.ttl" title="unification-activity-s1-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   651
      <a href="constraints/unification-activity-s1-PASS-c22.provn" title="unification-activity-s1-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   652
      <a href="constraints/unification-activity-s1-PASS-c22.provx" title="unification-activity-s1-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   653
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   654
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   655
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   656
    <td id="unification-activity-s2-PASS-c22"><a class="internalDFN" href="#unification-activity-s2-PASS-c22">unification-activity-s2-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   657
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   658
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   659
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   660
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   661
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   662
      <a href="constraints/unification-activity-s2-PASS-c22.ttl" title="unification-activity-s2-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   663
      <a href="constraints/unification-activity-s2-PASS-c22.provn" title="unification-activity-s2-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   664
      <a href="constraints/unification-activity-s2-PASS-c22.provx" title="unification-activity-s2-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   665
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   666
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   667
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   668
    <td id="unification-activity-s3-PASS-c22"><a class="internalDFN" href="#unification-activity-s3-PASS-c22">unification-activity-s3-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   669
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   670
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   671
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   672
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   673
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   674
      <a href="constraints/unification-activity-s3-PASS-c22.ttl" title="unification-activity-s3-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   675
      <a href="constraints/unification-activity-s3-PASS-c22.provn" title="unification-activity-s3-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   676
      <a href="constraints/unification-activity-s3-PASS-c22.provx" title="unification-activity-s3-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   677
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   678
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   679
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   680
    <td id="unification-activity-s4-PASS-c22"><a class="internalDFN" href="#unification-activity-s4-PASS-c22">unification-activity-s4-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   681
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   682
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   683
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   684
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   685
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   686
      <a href="constraints/unification-activity-s4-PASS-c22.ttl" title="unification-activity-s4-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   687
      <a href="constraints/unification-activity-s4-PASS-c22.provn" title="unification-activity-s4-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   688
      <a href="constraints/unification-activity-s4-PASS-c22.provx" title="unification-activity-s4-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   689
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   690
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   691
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   692
    <td id="unification-activity-start-f1-FAIL-c28"><a class="internalDFN" href="#unification-activity-start-f1-FAIL-c28">unification-activity-start-f1-FAIL-c28</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   693
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   694
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime">Constraint 28 (unique-startTime)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   695
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   696
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   697
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   698
      <a href="constraints/unification-activity-start-f1-FAIL-c28.ttl" title="unification-activity-start-f1-FAIL-c28.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   699
      <a href="constraints/unification-activity-start-f1-FAIL-c28.provn" title="unification-activity-start-f1-FAIL-c28.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   700
      <a href="constraints/unification-activity-start-f1-FAIL-c28.provx" title="unification-activity-start-f1-FAIL-c28.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   701
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   702
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   703
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   704
    <td id="unification-activity-start-s1-PASS-c28"><a class="internalDFN" href="#unification-activity-start-s1-PASS-c28">unification-activity-start-s1-PASS-c28</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   705
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   706
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime">Constraint 28 (unique-startTime)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   707
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   708
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   709
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   710
      <a href="constraints/unification-activity-start-s1-PASS-c28.ttl" title="unification-activity-start-s1-PASS-c28.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   711
      <a href="constraints/unification-activity-start-s1-PASS-c28.provn" title="unification-activity-start-s1-PASS-c28.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   712
      <a href="constraints/unification-activity-start-s1-PASS-c28.provx" title="unification-activity-start-s1-PASS-c28.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   713
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   714
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   715
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   716
    <td id="unification-association-f1-FAIL-c23"><a class="internalDFN" href="#unification-association-f1-FAIL-c23">unification-association-f1-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   717
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   718
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   719
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   720
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   721
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   722
      <a href="constraints/unification-association-f1-FAIL-c23.ttl" title="unification-association-f1-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   723
      <a href="constraints/unification-association-f1-FAIL-c23.provn" title="unification-association-f1-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   724
      <a href="constraints/unification-association-f1-FAIL-c23.provx" title="unification-association-f1-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   725
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   726
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   727
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   728
    <td id="unification-association-f2-FAIL-c23"><a class="internalDFN" href="#unification-association-f2-FAIL-c23">unification-association-f2-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   729
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   730
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   731
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   732
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   733
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   734
      <a href="constraints/unification-association-f2-FAIL-c23.ttl" title="unification-association-f2-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   735
      <a href="constraints/unification-association-f2-FAIL-c23.provn" title="unification-association-f2-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   736
      <a href="constraints/unification-association-f2-FAIL-c23.provx" title="unification-association-f2-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   737
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   738
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   739
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   740
    <td id="unification-association-f3-FAIL-c23"><a class="internalDFN" href="#unification-association-f3-FAIL-c23">unification-association-f3-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   741
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   742
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   743
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   744
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   745
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   746
      <a href="constraints/unification-association-f3-FAIL-c23.ttl" title="unification-association-f3-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   747
      <a href="constraints/unification-association-f3-FAIL-c23.provn" title="unification-association-f3-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   748
      <a href="constraints/unification-association-f3-FAIL-c23.provx" title="unification-association-f3-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   749
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   750
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   751
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   752
    <td id="unification-association-f4-FAIL-c23"><a class="internalDFN" href="#unification-association-f4-FAIL-c23">unification-association-f4-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   753
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   754
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   755
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   756
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   757
    <td>
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   758
      RDF<a href="#unavailable-rdf" title="Not available">*</a>
5304
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   759
      <a href="constraints/unification-association-f4-FAIL-c23.provn" title="unification-association-f4-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   760
      <a href="constraints/unification-association-f4-FAIL-c23.provx" title="unification-association-f4-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   761
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   762
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   763
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   764
    <td id="unification-association-f5-FAIL-c23"><a class="internalDFN" href="#unification-association-f5-FAIL-c23">unification-association-f5-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   765
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   766
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   767
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   768
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   769
    <td>
5416
c20664aa85fd Removed RDF representations for test cases with statements using same identifiers
Trung Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5314
diff changeset
   770
      RDF<a href="#unavailable-rdf" title="Not available">*</a>
5304
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   771
      <a href="constraints/unification-association-f5-FAIL-c23.provn" title="unification-association-f5-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   772
      <a href="constraints/unification-association-f5-FAIL-c23.provx" title="unification-association-f5-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   773
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   774
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   775
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   776
    <td id="unification-association-f6-FAIL-DM"><a class="internalDFN" href="#unification-association-f6-FAIL-DM">unification-association-f6-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   777
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   778
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   779
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   780
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   781
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   782
      <a href="constraints/unification-association-f6-FAIL-DM.ttl" title="unification-association-f6-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   783
      <a href="constraints/unification-association-f6-FAIL-DM.provn" title="unification-association-f6-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   784
      <a href="constraints/unification-association-f6-FAIL-DM.provx" title="unification-association-f6-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   785
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   786
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   787
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   788
    <td id="unification-association-s1-PASS-c23"><a class="internalDFN" href="#unification-association-s1-PASS-c23">unification-association-s1-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   789
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   790
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   791
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   792
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   793
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   794
      <a href="constraints/unification-association-s1-PASS-c23.ttl" title="unification-association-s1-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   795
      <a href="constraints/unification-association-s1-PASS-c23.provn" title="unification-association-s1-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   796
      <a href="constraints/unification-association-s1-PASS-c23.provx" title="unification-association-s1-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   797
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   798
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   799
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   800
    <td id="unification-association-s2-PASS-c23"><a class="internalDFN" href="#unification-association-s2-PASS-c23">unification-association-s2-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   801
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   802
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   803
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   804
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   805
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   806
      <a href="constraints/unification-association-s2-PASS-c23.ttl" title="unification-association-s2-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   807
      <a href="constraints/unification-association-s2-PASS-c23.provn" title="unification-association-s2-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   808
      <a href="constraints/unification-association-s2-PASS-c23.provx" title="unification-association-s2-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   809
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   810
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   811
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   812
    <td id="unification-association-s3-PASS-c23"><a class="internalDFN" href="#unification-association-s3-PASS-c23">unification-association-s3-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   813
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   814
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   815
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   816
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   817
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   818
      <a href="constraints/unification-association-s3-PASS-c23.ttl" title="unification-association-s3-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   819
      <a href="constraints/unification-association-s3-PASS-c23.provn" title="unification-association-s3-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   820
      <a href="constraints/unification-association-s3-PASS-c23.provx" title="unification-association-s3-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   821
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   822
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   823
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   824
    <td id="unification-association-s4-PASS-c23"><a class="internalDFN" href="#unification-association-s4-PASS-c23">unification-association-s4-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   825
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   826
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   827
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   828
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   829
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   830
      <a href="constraints/unification-association-s4-PASS-c23.ttl" title="unification-association-s4-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   831
      <a href="constraints/unification-association-s4-PASS-c23.provn" title="unification-association-s4-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   832
      <a href="constraints/unification-association-s4-PASS-c23.provx" title="unification-association-s4-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   833
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   834
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   835
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   836
    <td id="unification-association-s5-PASS-c23"><a class="internalDFN" href="#unification-association-s5-PASS-c23">unification-association-s5-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   837
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   838
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   839
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   840
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   841
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   842
      <a href="constraints/unification-association-s5-PASS-c23.ttl" title="unification-association-s5-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   843
      <a href="constraints/unification-association-s5-PASS-c23.provn" title="unification-association-s5-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   844
      <a href="constraints/unification-association-s5-PASS-c23.provx" title="unification-association-s5-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   845
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   846
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   847
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   848
    <td id="unification-attributes-activity-s1-PASS-c22"><a class="internalDFN" href="#unification-attributes-activity-s1-PASS-c22">unification-attributes-activity-s1-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   849
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   850
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   851
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   852
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   853
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   854
      <a href="constraints/unification-attributes-activity-s1-PASS-c22.ttl" title="unification-attributes-activity-s1-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   855
      <a href="constraints/unification-attributes-activity-s1-PASS-c22.provn" title="unification-attributes-activity-s1-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   856
      <a href="constraints/unification-attributes-activity-s1-PASS-c22.provx" title="unification-attributes-activity-s1-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   857
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   858
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   859
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   860
    <td id="unification-attributes-end-s1-PASS-c23"><a class="internalDFN" href="#unification-attributes-end-s1-PASS-c23">unification-attributes-end-s1-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   861
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   862
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   863
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   864
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   865
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   866
      <a href="constraints/unification-attributes-end-s1-PASS-c23.ttl" title="unification-attributes-end-s1-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   867
      <a href="constraints/unification-attributes-end-s1-PASS-c23.provn" title="unification-attributes-end-s1-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   868
      <a href="constraints/unification-attributes-end-s1-PASS-c23.provx" title="unification-attributes-end-s1-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   869
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   870
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   871
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   872
    <td id="unification-attributes-end-s2-PASS-c23"><a class="internalDFN" href="#unification-attributes-end-s2-PASS-c23">unification-attributes-end-s2-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   873
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   874
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   875
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   876
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   877
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   878
      <a href="constraints/unification-attributes-end-s2-PASS-c23.ttl" title="unification-attributes-end-s2-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   879
      <a href="constraints/unification-attributes-end-s2-PASS-c23.provn" title="unification-attributes-end-s2-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   880
      <a href="constraints/unification-attributes-end-s2-PASS-c23.provx" title="unification-attributes-end-s2-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   881
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   882
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   883
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   884
    <td id="unification-attributes-entity-s1-PASS-c22"><a class="internalDFN" href="#unification-attributes-entity-s1-PASS-c22">unification-attributes-entity-s1-PASS-c22</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   885
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   886
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   887
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   888
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   889
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   890
      <a href="constraints/unification-attributes-entity-s1-PASS-c22.ttl" title="unification-attributes-entity-s1-PASS-c22.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   891
      <a href="constraints/unification-attributes-entity-s1-PASS-c22.provn" title="unification-attributes-entity-s1-PASS-c22.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   892
      <a href="constraints/unification-attributes-entity-s1-PASS-c22.provx" title="unification-attributes-entity-s1-PASS-c22.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   893
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   894
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   895
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   896
    <td id="unification-attributes-start-s1-PASS-c23"><a class="internalDFN" href="#unification-attributes-start-s1-PASS-c23">unification-attributes-start-s1-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   897
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   898
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   899
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   900
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   901
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   902
      <a href="constraints/unification-attributes-start-s1-PASS-c23.ttl" title="unification-attributes-start-s1-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   903
      <a href="constraints/unification-attributes-start-s1-PASS-c23.provn" title="unification-attributes-start-s1-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   904
      <a href="constraints/unification-attributes-start-s1-PASS-c23.provx" title="unification-attributes-start-s1-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   905
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   906
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   907
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   908
    <td id="unification-attributes-start-s2-PASS-c23"><a class="internalDFN" href="#unification-attributes-start-s2-PASS-c23">unification-attributes-start-s2-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   909
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   910
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   911
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   912
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   913
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   914
      <a href="constraints/unification-attributes-start-s2-PASS-c23.ttl" title="unification-attributes-start-s2-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   915
      <a href="constraints/unification-attributes-start-s2-PASS-c23.provn" title="unification-attributes-start-s2-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   916
      <a href="constraints/unification-attributes-start-s2-PASS-c23.provx" title="unification-attributes-start-s2-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   917
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   918
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   919
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   920
    <td id="unification-attribution-f1-FAIL-DM"><a class="internalDFN" href="#unification-attribution-f1-FAIL-DM">unification-attribution-f1-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   921
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   922
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   923
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   924
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   925
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   926
      <a href="constraints/unification-attribution-f1-FAIL-DM.ttl" title="unification-attribution-f1-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   927
      <a href="constraints/unification-attribution-f1-FAIL-DM.provn" title="unification-attribution-f1-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   928
      <a href="constraints/unification-attribution-f1-FAIL-DM.provx" title="unification-attribution-f1-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   929
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   930
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   931
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   932
    <td id="unification-attribution-f2-FAIL-DM"><a class="internalDFN" href="#unification-attribution-f2-FAIL-DM">unification-attribution-f2-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   933
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   934
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   935
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   936
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   937
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   938
      <a href="constraints/unification-attribution-f2-FAIL-DM.ttl" title="unification-attribution-f2-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   939
      <a href="constraints/unification-attribution-f2-FAIL-DM.provn" title="unification-attribution-f2-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   940
      <a href="constraints/unification-attribution-f2-FAIL-DM.provx" title="unification-attribution-f2-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   941
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   942
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   943
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   944
    <td id="unification-attribution-s1-PASS-c23"><a class="internalDFN" href="#unification-attribution-s1-PASS-c23">unification-attribution-s1-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   945
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   946
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   947
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   948
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   949
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   950
      <a href="constraints/unification-attribution-s1-PASS-c23.ttl" title="unification-attribution-s1-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   951
      <a href="constraints/unification-attribution-s1-PASS-c23.provn" title="unification-attribution-s1-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   952
      <a href="constraints/unification-attribution-s1-PASS-c23.provx" title="unification-attribution-s1-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   953
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   954
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   955
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   956
    <td id="unification-attribution-s2-PASS-c23"><a class="internalDFN" href="#unification-attribution-s2-PASS-c23">unification-attribution-s2-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   957
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   958
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   959
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   960
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   961
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   962
      <a href="constraints/unification-attribution-s2-PASS-c23.ttl" title="unification-attribution-s2-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   963
      <a href="constraints/unification-attribution-s2-PASS-c23.provn" title="unification-attribution-s2-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   964
      <a href="constraints/unification-attribution-s2-PASS-c23.provx" title="unification-attribution-s2-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   965
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   966
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   967
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   968
    <td id="unification-attribution-s3-PASS-c23"><a class="internalDFN" href="#unification-attribution-s3-PASS-c23">unification-attribution-s3-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   969
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   970
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   971
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   972
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   973
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   974
      <a href="constraints/unification-attribution-s3-PASS-c23.ttl" title="unification-attribution-s3-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   975
      <a href="constraints/unification-attribution-s3-PASS-c23.provn" title="unification-attribution-s3-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   976
      <a href="constraints/unification-attribution-s3-PASS-c23.provx" title="unification-attribution-s3-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   977
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   978
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   979
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   980
    <td id="unification-attribution-s4-PASS-c23"><a class="internalDFN" href="#unification-attribution-s4-PASS-c23">unification-attribution-s4-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   981
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   982
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   983
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   984
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   985
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   986
      <a href="constraints/unification-attribution-s4-PASS-c23.ttl" title="unification-attribution-s4-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   987
      <a href="constraints/unification-attribution-s4-PASS-c23.provn" title="unification-attribution-s4-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   988
      <a href="constraints/unification-attribution-s4-PASS-c23.provx" title="unification-attribution-s4-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   989
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   990
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   991
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   992
    <td id="unification-bundle-f1-FAIL-c55-c56"><a class="internalDFN" href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   993
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   994
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a><br>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   995
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection">Constraint 56 (membership-empty-collection)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   996
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   997
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
   998
    <td>
5314
15fb26f712d9 Added a trig file for a test case with bundle constructs
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5313
diff changeset
   999
      <a href="constraints/unification-bundle-f1-FAIL-c55-c56.trig" title="unification-bundle-f1-FAIL-c55-c56.trig">RDF</a>
5304
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1000
      <a href="constraints/unification-bundle-f1-FAIL-c55-c56.provn" title="unification-bundle-f1-FAIL-c55-c56.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1001
      <a href="constraints/unification-bundle-f1-FAIL-c55-c56.provx" title="unification-bundle-f1-FAIL-c55-c56.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1002
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1003
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1004
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1005
    <td id="unification-communication-f1-FAIL-DM"><a class="internalDFN" href="#unification-communication-f1-FAIL-DM">unification-communication-f1-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1006
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1007
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1008
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1009
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1010
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1011
      <a href="constraints/unification-communication-f1-FAIL-DM.ttl" title="unification-communication-f1-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1012
      <a href="constraints/unification-communication-f1-FAIL-DM.provn" title="unification-communication-f1-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1013
      <a href="constraints/unification-communication-f1-FAIL-DM.provx" title="unification-communication-f1-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1014
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1015
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1016
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1017
    <td id="unification-communication-f2-FAIL-DM"><a class="internalDFN" href="#unification-communication-f2-FAIL-DM">unification-communication-f2-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1018
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1019
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1020
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1021
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1022
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1023
      <a href="constraints/unification-communication-f2-FAIL-DM.ttl" title="unification-communication-f2-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1024
      <a href="constraints/unification-communication-f2-FAIL-DM.provn" title="unification-communication-f2-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1025
      <a href="constraints/unification-communication-f2-FAIL-DM.provx" title="unification-communication-f2-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1026
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1027
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1028
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1029
    <td id="unification-communication-s1-PASS-c23"><a class="internalDFN" href="#unification-communication-s1-PASS-c23">unification-communication-s1-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1030
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1031
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1032
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1033
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1034
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1035
      <a href="constraints/unification-communication-s1-PASS-c23.ttl" title="unification-communication-s1-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1036
      <a href="constraints/unification-communication-s1-PASS-c23.provn" title="unification-communication-s1-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1037
      <a href="constraints/unification-communication-s1-PASS-c23.provx" title="unification-communication-s1-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1038
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1039
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1040
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1041
    <td id="unification-communication-s2-PASS-c23"><a class="internalDFN" href="#unification-communication-s2-PASS-c23">unification-communication-s2-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1042
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1043
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1044
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1045
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1046
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1047
      <a href="constraints/unification-communication-s2-PASS-c23.ttl" title="unification-communication-s2-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1048
      <a href="constraints/unification-communication-s2-PASS-c23.provn" title="unification-communication-s2-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1049
      <a href="constraints/unification-communication-s2-PASS-c23.provx" title="unification-communication-s2-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1050
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1051
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1052
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1053
    <td id="unification-communication-s3-PASS-c23"><a class="internalDFN" href="#unification-communication-s3-PASS-c23">unification-communication-s3-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1054
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1055
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1056
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1057
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1058
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1059
      <a href="constraints/unification-communication-s3-PASS-c23.ttl" title="unification-communication-s3-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1060
      <a href="constraints/unification-communication-s3-PASS-c23.provn" title="unification-communication-s3-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1061
      <a href="constraints/unification-communication-s3-PASS-c23.provx" title="unification-communication-s3-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1062
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1063
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1064
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1065
    <td id="unification-communication-s4-PASS-c23"><a class="internalDFN" href="#unification-communication-s4-PASS-c23">unification-communication-s4-PASS-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1066
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1067
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1068
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1069
    <td>PASS</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1070
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1071
      <a href="constraints/unification-communication-s4-PASS-c23.ttl" title="unification-communication-s4-PASS-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1072
      <a href="constraints/unification-communication-s4-PASS-c23.provn" title="unification-communication-s4-PASS-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1073
      <a href="constraints/unification-communication-s4-PASS-c23.provx" title="unification-communication-s4-PASS-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1074
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1075
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1076
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1077
    <td id="unification-delegation-f1-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f1-FAIL-c23">unification-delegation-f1-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1078
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1079
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1080
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1081
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1082
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1083
      <a href="constraints/unification-delegation-f1-FAIL-c23.ttl" title="unification-delegation-f1-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1084
      <a href="constraints/unification-delegation-f1-FAIL-c23.provn" title="unification-delegation-f1-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1085
      <a href="constraints/unification-delegation-f1-FAIL-c23.provx" title="unification-delegation-f1-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1086
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1087
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1088
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1089
    <td id="unification-delegation-f2-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f2-FAIL-c23">unification-delegation-f2-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1090
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1091
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1092
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1093
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1094
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1095
      <a href="constraints/unification-delegation-f2-FAIL-c23.ttl" title="unification-delegation-f2-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1096
      <a href="constraints/unification-delegation-f2-FAIL-c23.provn" title="unification-delegation-f2-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1097
      <a href="constraints/unification-delegation-f2-FAIL-c23.provx" title="unification-delegation-f2-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1098
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1099
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1100
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1101
    <td id="unification-delegation-f3-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f3-FAIL-c23">unification-delegation-f3-FAIL-c23</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1102
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1103
      <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1104
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1105
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1106
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1107
      <a href="constraints/unification-delegation-f3-FAIL-c23.ttl" title="unification-delegation-f3-FAIL-c23.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1108
      <a href="constraints/unification-delegation-f3-FAIL-c23.provn" title="unification-delegation-f3-FAIL-c23.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1109
      <a href="constraints/unification-delegation-f3-FAIL-c23.provx" title="unification-delegation-f3-FAIL-c23.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1110
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1111
  </tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1112
  <tr>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1113
    <td id="unification-delegation-f6-FAIL-DM"><a class="internalDFN" href="#unification-delegation-f6-FAIL-DM">unification-delegation-f6-FAIL-DM</a></td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1114
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1115
      <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#prov-dm-types-and-relations">Malformed statement(s)</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1116
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1117
    <td>FAIL</td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1118
    <td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1119
      <a href="constraints/unification-delegation-f6-FAIL-DM.ttl" title="unification-delegation-f6-FAIL-DM.ttl">RDF</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1120
      <a href="constraints/unification-delegation-f6-FAIL-DM.provn" title="unification-delegation-f6-FAIL-DM.provn">PROV-N</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1121
      <a href="constraints/unification-delegation-f6-FAIL-DM.provx" title="unification-delegation-f6-FAIL-DM.provx">XML</a>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: 5303
diff changeset
  1122
    </td>
37dca15d2b78 Updated C50 test cases. Changed absolute links to relative links in Table 2
T Dong Huynh <tdh@ecs.soton.ac.uk>
parents: