update the prov-dm examples in the testcases folder to make them provn compliant
--- a/links/prov-links.html Tue Nov 27 11:53:55 2012 +0000
+++ b/links/prov-links.html Tue Nov 27 11:54:24 2012 +0000
@@ -628,83 +628,11 @@
berjon.biblio[k] = extraReferences[k];
};
var extraReferences = {
- "CLOCK":
- "Lamport, L. "+
- "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
- "Communications of the ACM 21 (7): 558–565. 1978. "+
- "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
- "DOI: doi:10.1145/359545.359563.",
- "CSP":
- "Hoare, C. A. R. "+
- "<a href=\"http://www.usingcsp.com/cspbook.pdf\"><cite>Communicating Sequential Processes</cite></a>."+
- "Prentice-Hall. 1985"+
- "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
- "Logic":
- "W. E. Johnson "+
- "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
- "1924. "+
- "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
- "PROV-SEM":
- "James Cheney "+
- "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
- "2011, Work in progress. "+
- "URL: <a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
-
- "PROV-PRIMER":
- "Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href=\"http://www.w3.org/TR/prov-primer/\"><cite>Prov Model Primer</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-primer/\">http://www.w3.org/TR/prov-primer/</a>",
-
- "PROV-O":
- "Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik "+
- "<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-o/\">http://www.w3.org/TR/prov-o/</a>",
-
-
- "PROV-CONSTRAINTS":
- "James Cheney, Paolo Missier, and Luc Moreau (eds.) "+
- "<a href=\"http://www.w3.org/TR/prov-constraints/\"><cite>Constraints of the PROV Data Model</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-constraints/\">http://www.w3.org/TR/prov-constraints/</a>",
-
- "PROV-N":
- "Luc Moreau and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes "+
- "<a href=\"http://www.w3.org/TR/prov-n/\"><cite>PROV-N: The Provenance Notation</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-n/\">http://www.w3.org/TR/prov-n/</a>",
-
- "PROV-AQ":
- "Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles "+
- "<a href=\"http://www.w3.org/TR/prov-aq/\"><cite>Provenance Access and Query</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-aq/\">http://www.w3.org/TR/prov-aq/</a>",
-
- "UML":
- "Object Management Group "+
- "<a href=\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\"><cite>Unified Modeling Language: Superstructure</cite></a>. "+
- "version 2.0, 2005 "+
- "URL: <a href=\"http://www.omg.org/spec/UML/2.0/Superstructure/PDF/\">http://www.omg.org/spec/UML/2.0/Superstructure/PDF/</a>",
-
- "RDF-CONCEPTS11":
- "Richard Cyganiak and David Wood (eds.) " +
- "RDF 1.1 Concepts and Abstract Syntax "+
- "<a href=\"http://www.w3.org/TR/rdf11-concepts/\"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. "+
- "URL: <a href=\"http://www.w3.org/TR/rdf11-concepts/\">http://www.w3.org/TR/rdf11-concepts/</a>",
-
- "Mappings":
- "Satya Sahoo and Paul Groth and Olaf Hartig and Simon Miles and Sam Coppens and James Myers and Yolanda Gil and Luc Moreau and Jun Zhao and Michael Panzer and Daniel Garijo "+
- "<a href=\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\"><cite>Provenance Vocabulary Mappings</cite></a>. "+
- "August 2010 "+
- "URL: <a href=\"http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings\">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>",
-
-
};
var respecConfig = {
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
- specStatus: "ED",
+ specStatus: "ED", //FPWD-NOTE
// the specification's short name, as in http://www.w3.org/TR/short-name/
shortName: "prov-links",
@@ -782,11 +710,17 @@
Provenance is information about entities, activities, and people
involved in producing a piece of data or thing, which can be used to
form assessments about its quality, reliability or trustworthiness.
-Bundles, defined as sets of provenance descriptions, are a mechanism by
-which provenance of provenance can be expressed.</p>
+<a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#dfn-bundle">Bundles</a>,
+defined in [[!PROV-DM]] as sets of provenance descriptions, were
+introduced in PROV as the mechanism by which provenance of provenance
+can be expressed. Bundles, whose validity is established
+independently of each other [[!PROV-CONSTRAINTS]], are essentially
+independent of each other, acting as islands of provenance
+descriptions.
+</p>
<p>
-In applications where provenance is created by multiple parties over time, it is useful for provenance descriptions created by one party to link to provenance descriptions created by another party. To address this requirement, this document introduces a relation allowing an entity description to be linked to another entity description occurring in another bundle.
+In applications where provenance is created by multiple parties over time, it is useful for provenance descriptions created by one party to link to provenance descriptions created by another party. Such a mechanism would allow the "stitching" of provenance descriptions together. Given that provenance descriptions are expected to be contained in bundles, this would require a capability to link entity descriptions across bundles. To address this requirement, this document introduces a relation <a>Mention</a> allowing an entity description to be linked to another entity description occurring in another bundle.
</p>
<p>The <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
@@ -806,7 +740,7 @@
<li> <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/">PROV-CONSTRAINTS</a> (Candidate Recommendation), a set of constraints applying to the PROV data model [[!PROV-CONSTRAINTS]];</li>
<li> <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
<li> <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">PROV-XML</a> (To be published as Note), an XML schema for the PROV data model [[PROV-XML]];</li>
-<li> <a href="http://www.w3.org/TR/2012/WD-prov-link-20121211/">PROV-LINK</a> (To be published as Note), introduces a mechanism to link across bundles (this document).</li>
+<li> <a href="http://www.w3.org/TR/2012/WD-prov-links-20121211/">PROV-LINKS</a> (To be published as Note), introduces a mechanism to link across bundles (this document).</li>
</ul>
<h4>How to read the PROV Family of Documentation</h4>
@@ -841,10 +775,10 @@
represented in various representations, and interchanged between systems across the Web.
</p>
-<p>The provenance of information is crucial in deciding whether information is to be trusted, how it should be integrated with other diverse information sources, and how to give credit to its originators when reusing it. To support this, provenance should be trusted, and therefore, provenance of provenance is itself a critical aspect of an information infrastructure such as the Web. To this end, PROV introduces the concept of <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#concept-bundle">Bundle</a>: defined as a set of provenance descriptions, it is a mechanism by which provenance of provenance can be expressed (see also <a href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#Bundle">Bundle</a> [[!PROV-O]] and <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/#term-Bundle">Bundle</a> [[PROV-XML]]). With bundles, blobs of provenance descriptions can be given names and can themselves be regarded as entities, whose provenance can in turn be described using PROV. </p>
+<p>The provenance of information is crucial in deciding whether information is to be trusted, how it should be integrated with other diverse information sources, and how to give credit to its originators when reusing it. To support this, provenance itself should be trusted, and therefore, provenance of provenance is itself a critical aspect of an information infrastructure such as the Web. To this end, PROV introduces the concept of <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#concept-bundle">Bundle</a>: defined as a set of provenance descriptions, it is a mechanism by which provenance of provenance can be expressed (see also <a href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#Bundle">Bundle</a> [[!PROV-O]] and <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/#term-Bundle">Bundle</a> [[PROV-XML]]). With bundles, blobs of provenance descriptions can be given names and can themselves be regarded as entities, whose provenance can in turn be described using PROV. These blobs of provenance descriptions are independent of each other, as illustrated by [[!PROV-CONSTRAINTS]] which determines their <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#bundle-constraints">validity</a> by examining them in isolation of each other. </p>
-<p>In a distributed environment, it is common to encounter applications that involve multiple parties: it is a common situation that some party creates some data and its provenance, whereas another party consumes the data and its provenance. In such a situation, the consumer, when it in turn generates provenance, often wants to augment the descriptions of entities generated by another producer. For the consumer, it is not suitable to repeat the provenance created by the producer, and augment it according to their need. Instead, a consumer wants to <em>refer</em> to the description as created by the producer <em>in situ</em>, i.e. in its bundle, and <em>specialize it</em>, allowing the consumer to add their own view on this entity.</p>
+<p>In a distributed environment, it is common to encounter applications that involve multiple parties: it is a common situation that some party creates some data and its provenance, whereas another party consumes the data and its provenance. In such a situation, the consumer, when it in turn generates provenance, often wants to augment the descriptions of entities generated by another producer. For the consumer, it is not suitable to repeat the provenance created by the producer, and augment it according to their need. Instead, a consumer wants to <em>refer</em> to the description as created by the producer <em>in situ</em>, i.e. in its bundle, and <em>specialize it</em>, allowing the consumer to add their own view on this entity. Such a capability would allow parties to "stitch together" provenance descriptions that would otherwise be disconnected.</p>
<p>This document introduces a new concept <a>Mention</a> allowing an entity to be described as the specialization of another entity, itself described in another bundle. The document provides not only a conceptual definition of <a>Mention</a>, but also the corresponding ontological, schema, and notational definitions, for the various representations of PROV. It also includes constraints that apply to this construct specifically. It is our aim to promote inter-operability by defining <a>Mention</a> conceptually and in the representations of PROV.</p>
@@ -852,7 +786,7 @@
</div>
</section>
-<section id="mention-dm">
+<section id="term-mention">
<h2>Conceptual Definition of Mention</h2>
@@ -862,9 +796,9 @@
Other bundles may contain other descriptions about the same entity <span class="name">e1</span>.
Some applications may want to augment
the descriptions of entity <span class="name">e1</span> found in bundle <span class="name">b</span> with other information.
-To this end, PROV allows a new entity <span class="name">e2</span> to be created and defined as a specialization of the preceding entity <span class="name">e1</span>, and which presents an additional aspect: the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>. With this relation, applications that process <span class="name">e2</span>
+To this end, PROV allows a new entity <span class="name">e2</span> to be created and defined as a specialization of the preceding entity <span class="name">e1</span>, and which presents at least an additional aspect: the bundle <span class="name">b</span> containing some descriptions of <span class="name">e1</span>. With this relation, applications that process <span class="name">e2</span>
can know that the attributes of <span class="name">e2</span> may have been computed according to the descriptions of <span class="name">e1</span> in <span class="name">b</span>.
-Thus, the mentionOf relation cannot be inferred from knowing that <span class="name">e2</span> is a specialization of <span class="name">e1</span> that appears in bundle <span class="name">b</span>.</p>
+</p>
<p>
@@ -881,7 +815,7 @@
</div>
-<p>Thus, the following notion is a relation between two entities with regard to a bundle.
+<p>Thus, Mention is a relation between two entities with regard to a bundle.
It is a special case of specialization.</p>
@@ -912,14 +846,14 @@
</ul>
</div>
-<p>A mention is not, as defined here, an influence, and therefore does not have an id and attributes.
+<p>Like <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#dfn-specialization">specialization</a>, a mention is not, as defined here, an <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#dfn-influence">influence</a>, and therefore does not have an id and attributes.
Its grammar, in the provenance notation, is written as follows.</p>
<table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-mentionExpression" name="prod-mentionExpression"></a><span class="prodNo"></span> </td> <td><code class="production prod">mentionExpression</code></td> <td> ::= </td> <td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-bIdentifier" name="prod-bIdentifier"></a> </td> <td><code class="production prod">bIdentifier</code></td> <td> ::= </td> <td><code class="content"><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-identifier">identifier</a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr style="vertical-align: baseline; "> <td><a id="prod-mentionExpression" data-name="prod-mentionExpression"></a><span class="prodNo"></span> </td> <td><code class="production prod">mentionExpression</code></td> <td> ::= </td> <td><code class="content">"mentionOf" "(" <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></span> "," <span class="prod"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></span> ")"</code></td> </tr> </tbody>
+<tbody class="prod"> <tr style="vertical-align: baseline; "> <td><a id="prod-bIdentifier" data-name="prod-bIdentifier"></a> </td> <td><code class="production prod">bIdentifier</code></td> <td> ::= </td> <td><code class="content"><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-identifier">identifier</a></span></code></td> </tr> </tbody>
</table>
-</table>
+
<p>The following table summarizes how each constituent of a Mention maps to a syntax element, in the provenance notation.</p>
<div style="text-align: left; ">
@@ -928,17 +862,23 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a href="#mention.specificEntity"><span class='attribute' id="mention.specificEntity">specificEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+<tr><td><a href="#mention.specificEntity"><span class='attribute' data-id="mention.specificEntity">specificEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
-<tr><td><a href="#mention.generalEntity"><span class='attribute' id="mention.generalEntity">generalEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+<tr><td><a href="#mention.generalEntity"><span class='attribute' data-id="mention.generalEntity">generalEntity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2012/CR-prov-n-20121211/#prod-eIdentifier">eIdentifier</a></code></td></tr>
-<tr><td><a href="#mention.bundle"><span class='attribute' id="mention.bundle">bundle</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></code></td></tr>
+<tr><td><a href="#mention.bundle"><span class='attribute' data-id="mention.bundle">bundle</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-bIdentifier">bIdentifier</a></code></td></tr>
</table>
</div>
+<p>
+Let us consider a bundle and the expression <span class="name">specializationOf(e2,e1)</span> occuring in this bundle. The entity <span class="name">e1</span> may described im multiple other bundle <span class="name">b<sub>i</sub></span>.
+From <span class="name">specializationOf(e2,e1)</span>, one cannot infer <span class="name">mentionOf(e2,e1,b)</span> for a given <span class="name">b</span>, since it is unknown which <span class="name">b<sub>i</sub></span>'s descriptions were used to computed additional aspects of <span class="name">e2</span>. Hence, <span class="name">mentionOf</span> has to be asserted. </p>
+
+<p><a href="#mention-constraints" class="section-ref"><span>TBD</span></a> presents constraints applicable to <a>Mention</a>, and in particular, the fact that an entity can be a <a href="#mention.specificEntity">specific entity</a> of a <a>Mention</a> at most once.</p>
+
<div class="anexample" id="anexample-mention-rating">
<p>This example is concerned with a performance rating tool that reads and processes provenance to determine the performance of agents. To keep the example simple, an agent's performance is determined by the duration of the activities it is associated with. </p>
@@ -955,7 +895,7 @@
wasAssociatedWith(ex:a2, ex:Bob, [prov:role="controller"])
endBundle
</pre>
-<p>The performance rating tool reads these bundles, and rates the performance of the agent described in these bundles. The performance rating tool creates a new bundle <span class="name">tool:analysis01</span> containing the following. A new agent <span class="name">tool:Bob-2011-11-16</span> is declared as a mention of <span class="name">ex:Bob</span> as described in bundle <span class="name">ex:run1</span>, and likewise for <span class="name">tool:Bob-2011-11-17</span> with respect to <span class="name">ex:run2</span>. The tool adds a domain-specific performance attribute to each of these specialized entities as follows: the performance of the agent in the first bundle is judged to be good since the duration of <span class="name">ex:a1</span> is one hour, whereas it is judged to be bad in the second bundle since <span class="name">ex:a2</span>'s duration is seven hours.
+<p>The performance rating tool reads these bundles, and rates the performance of the agent described in these bundles. The performance rating tool creates a new bundle <span class="name">tool:analysis01</span> containing the following. A new agent <span class="name">tool:Bob-2011-11-16</span> is declared as a mention of <span class="name">ex:Bob</span> as described in bundle <span class="name">ex:run1</span>, and likewise for <span class="name">tool:Bob-2011-11-17</span> with respect to <span class="name">ex:run2</span>. The tool adds a domain-specific performance attribute to each of these specialized entities as follows: the performance of the agent in the first bundle is judged to be good since the duration of <span class="name">ex:a1</span> is one hour, whereas it is judged to be bad in the second bundle since <span class="name">ex:a2</span>'s duration is seven hours. The attribute <span class="name">perf:rating</span> is an example of additional attribute of the specialized agents <span class="name">tool:Bob-2011-11-16</span> and <span class="name">tool:Bob-2011-11-17</span>.</p>
<pre class="codeexample">
bundle tool:analysis01
@@ -969,6 +909,8 @@
</div>
+
+
<div class="anexample" id="aexample-mention-viz">
<p>Consider the following bundle of descriptions, in which derivation and generations have been identified.
<pre class="codeexample">
@@ -998,6 +940,8 @@
<p>In bundle <span class="name">tool:bundle2</span>, the prefix <span class="name">viz</span> is used for naming visualisation-specific attributes, types or values.</p>
+<p>This example is typical of a common situation in distributed environments, where the consumer and producer of provenance are different.</p>
+
<p>Bundle <span class="name">tool:bundle2</span> is given type <span class="name">viz:Configuration</span> to indicate that it consists of descriptions that pertain to the configuration of the visualisation tool. This type attribute can be used for searching bundles containing visualization-related descriptions.
</p>
@@ -1065,7 +1009,7 @@
<dt>PROV-DM term</dt>
<dd>
- <a href="http://www.w3.org/TR/2012/WD-prov-dm-20120724/Overview.html#term-mention" title="prov-dm">mention</a> </dd>
+ <a href="#term-mention" title="prov-dm">mention</a> </dd>
</dl>
</div>
@@ -1103,18 +1047,18 @@
<dt>PROV-DM term</dt>
<dd>
- <a href="http://www.w3.org/TR/2012/WD-prov-dm-20120724/Overview.html#term-mention" title="prov-dm">mention</a> </dd>
+ <a href="#term-mention" title="prov-dm">mention</a> </dd>
</dl>
</div>
</div>
- <div class="anexample" typeof="prov:Entity" about="#example-for-property-mentionOf">
- <span resource="http://www.w3.org/ns/prov#mentionOf" rel="dcterms:subject"></span>
+<div class="anexample" typeof="prov:Entity" data-about="#example-for-property-mentionOf">
+ <span resource="http://www.w3.org/ns/prov#mentionOf" data-rel="dcterms:subject"></span>
<p>We revisit <a href="#anexample-mention-rating" class="anexample-ref"><span>Example REF</span></a>, encoding in RDF the rating of Bob in the context of the second activity.</p>
- <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl" rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ <pre property="prov:value" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_mentionOf.ttl" data-rel="prov:wasQuotedFrom">@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@@ -1276,7 +1220,7 @@
<h2>Acknowledgements</h2>
<p>
-This document has been produced by the PROV Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman and Sandro Hawke (W3C/MIT).
+This document has been produced by the PROV Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman (W3C/ERCIM).
</p>
<p>
--- a/model/provbib.js Tue Nov 27 11:53:55 2012 +0000
+++ b/model/provbib.js Tue Nov 27 11:54:24 2012 +0000
@@ -16,7 +16,7 @@
"http://www.w3.org/TR/2012/WD-prov-aq-20120619",
"http://www.w3.org/TR/2012/WD-prov-dc-20121211",
"http://www.w3.org/TR/2012/WD-prov-xml-20121211",
- "http://www.w3.org/TR/2012/WD-prov-mention-20121211",
+ "http://www.w3.org/TR/2012/WD-prov-links-20121211",
"http://www.w3.org/2011/prov/wiki/FormalSemanticsED",
"http://lists.w3.org/Archives/Public/public-prov-comments/" ];
@@ -77,11 +77,11 @@
"19 June 2012, Working Draft. "+
"URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-aq-20120619/\">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>",
- "PROV-MENTION":
- "Timothy Lebo; Luc Moreau; eds. "+
- "<a href=\"http://www.w3.org/TR/2012/WD-prov-mention-20121211/\"><cite>MENTION</cite></a>. "+
+ "PROV-LINKS":
+ "Luc Moreau; Timothy Lebo; eds. "+
+ "<a href=\"http://www.w3.org/TR/2012/WD-prov-links-20121211/\"><cite>Linking Across Provenance Bundles</cite></a>. "+
"11 December 2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-mention-20121211/\">http://www.w3.org/TR/2012/WD-prov-mention-20121211/</a>",
+ "URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-links-20121211/\">http://www.w3.org/TR/2012/WD-prov-links-20121211/</a>",
"PROV-LAYOUT":
"W3C PROV Working Group. "+
--- a/testcases/constraints/derivation1-PASS.provn Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-bundle
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix ex <http://example.org/>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
-entity(ex:e1)
-entity(ex:e2)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endBundle
\ No newline at end of file
--- a/testcases/constraints/derivation1-PASS.provx Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
- <prov:entity prov:id="ex:e1">
- </prov:entity>
- <prov:entity prov:id="ex:e2">
- </prov:entity>
-
- <prov:wasGeneratedBy prov:id="ex:gen1">
- <prov:entity prov:ref="ex:e1"/>
- </prov:wasGeneratedBy>
- <prov:wasGeneratedBy prov:id="ex:gen2">
- <prov:entity prov:ref="ex:e2"/>
- </prov:wasGeneratedBy>
- <prov:wasDerivedFrom prov:id="ex:der1">
- <prov:generatedEntity prov:ref="ex:e2"/>
- <prov:usedEntity prov:ref="ex:e1"/>
- </prov:wasDerivedFrom>
-
-</prov:document>
--- a/testcases/constraints/derivation1-PASS.ttl Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:der1 a prov:Derivation ;
- prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
--- a/testcases/constraints/derivation2-FAIL-ordering.provn Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-bundle
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix ex <http://example.org/>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
-entity(ex:e1)
-entity(ex:e2)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-wasDerivedFrom(ex:der2;ex:e1, ex:e2)
-endBundle
\ No newline at end of file
--- a/testcases/constraints/derivation2-FAIL-ordering.provx Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
- <prov:entity prov:id="ex:e1">
- </prov:entity>
- <prov:entity prov:id="ex:e2">
- </prov:entity>
-
- <prov:wasGeneratedBy prov:id="ex:gen1">
- <prov:entity prov:ref="ex:e1"/>
- </prov:wasGeneratedBy>
- <prov:wasGeneratedBy prov:id="ex:gen2">
- <prov:entity prov:ref="ex:e2"/>
- </prov:wasGeneratedBy>
- <prov:wasDerivedFrom prov:id="ex:der1">
- <prov:generatedEntity prov:ref="ex:e2"/>
- <prov:usedEntity prov:ref="ex:e1"/>
- </prov:wasDerivedFrom>
- <prov:wasDerivedFrom prov:id="ex:der2">
- <prov:generatedEntity prov:ref="ex:e1"/>
- <prov:usedEntity prov:ref="ex:e2"/>
- </prov:wasDerivedFrom>
-
-</prov:document>
--- a/testcases/constraints/derivation2-FAIL-ordering.ttl Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:der1 a prov:Derivation ;
- prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:der2 a prov:Derivation ;
- prov:entity ex:e2 .
-
-ex:e1 prov:qualifiedDerivation ex:der2 .
--- a/testcases/constraints/derivation3-PASS.provn Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-bundle
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix ex <http://example.org/>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
-entity(ex:e1)
-entity(ex:e2)
-activity(ex:a1,-,-)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-used(ex:use1;ex:a1,ex:e1,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a1, ex:gen2, ex:use1)
-endBundle
\ No newline at end of file
--- a/testcases/constraints/derivation3-PASS.provx Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
- <prov:entity prov:id="ex:e1">
- </prov:entity>
- <prov:entity prov:id="ex:e2">
- </prov:entity>
- <prov:activity prov:id="ex:a1">
- </prov:activity>
-
-
- <prov:wasGeneratedBy prov:id="ex:gen1">
- <prov:entity prov:ref="ex:e1"/>
- </prov:wasGeneratedBy>
- <prov:wasGeneratedBy prov:id="ex:gen2">
- <prov:entity prov:ref="ex:e2"/>
- </prov:wasGeneratedBy>
- <prov:used prov:id="ex:use1">
- <prov:activity prov:ref="ex:a1"/>
- <prov:entity prov:ref="ex:e1"/>
- </prov:used>
- <prov:wasDerivedFrom prov:id="ex:der1">
- <prov:generatedEntity prov:ref="ex:e2"/>
- <prov:usedEntity prov:ref="ex:e1"/>
- <prov:activity prov:ref="ex:a1"/>
- <prov:generation prov:ref="ex:gen2"/>
- <prov:usage prov:ref="ex:use1"/>
- </prov:wasDerivedFrom>
-
-</prov:document>
--- a/testcases/constraints/derivation3-PASS.ttl Tue Nov 27 11:53:55 2012 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,35 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:a1 a prov:Activity .
-
-ex:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:use1 a prov:Usage ;
- prov:entity ex:e1 .
-
-ex:a1 prov:qualifiedUsage ex:use1 .
-
-ex:der1 a prov:Derivation ;
- prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:der1 prov:hadGeneration ex:gen2 ;
- prov:hadUsage ex:use1 ;
- prov:hadActivity ex:a1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,11 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasStartedBy>
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasEndedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,17 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+used(ex:use1;ex:a1,ex:e1,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasStartedBy>
+ <prov:used prov:id="ex:use1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:used>
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasEndedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,24 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:use1 a prov:Usage ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedUsage ex:use1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasStartedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasEndedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,24 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+entity(ex:e2)
+wasStartedBy(ex:start1;ex:a1,ex:e1,-,-)
+wasStartedBy(ex:start2;ex:a1,ex:e2,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasStartedBy>
+ <prov:wasStartedBy prov:id="ex:start2">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasStartedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,23 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:start1 a prov:Start ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:start2 a prov:Start ;
+ prov:entity ex:e2 .
+
+ex:a1 prov:qualifiedStart ex:start2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+entity(ex:e2)
+wasEndedBy(ex:end1;ex:a1,ex:e1,-,-)
+wasEndedBy(ex:end2;ex:a1,ex:e2,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+
+
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasEndedBy>
+ <prov:wasEndedBy prov:id="ex:end2">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasEndedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,23 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:end1 a prov:End ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
+
+ex:end2 a prov:End ;
+ prov:entity ex:e2 .
+
+ex:a1 prov:qualifiedEnd ex:end2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,20 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a,-,-)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e1)
+entity(ex:e2)
+wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
+wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
+wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
+wasInvalidatedBy(ex:inv1;ex:ag,ex:a2,-)
+wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,52 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a">
+ </prov:activity>
+
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+
+ <prov:entity prov:id="ex:ag">
+ </prov:entity>
+
+ <prov:agent prov:id="ex:ag">
+ </prov:agent>
+
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:wasAssociatedWith prov:id="ex:assoc">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:agent prov:ref="ex:ag"/>
+ </prov:wasAssociatedWith>
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasStartedBy>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:ag"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+
+
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:ag"/>
+ <prov:activity prov:ref="ex:a2"/>
+ </prov:wasInvalidatedBy>
+
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasEndedBy>
+
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,44 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a a prov:Activity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:assoc a prov:Association ;
+ prov:agent ex:ag .
+
+ex:a prov:qualifiedAssociation ex:assoc .
+
+ex:start1 a prov:Start ;
+ prov:entity ex:e1 .
+
+ex:a prov:qualifiedStart ex:start1 .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:ag prov:qualifiedGeneration ex:gen1 .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a2 .
+
+ex:ag prov:qualifiedInvalidation ex:inv1 .
+
+ex:end1 a prov:End ;
+ prov:entity ex:e2 .
+
+ex:a prov:qualifiedEnd ex:end1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,20 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e1)
+entity(ex:e2)
+entity(ex:e3)
+entity(ex:e4)
+wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
+wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
+wasStartedBy(ex:start2;ex:ag,ex:e3,-,-)
+wasEndedBy(ex:end2;ex:ag,ex:e4,-,-)
+wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,49 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a">
+ </prov:activity>
+
+ <prov:entity prov:id="ex:ag">
+ </prov:entity>
+
+ <prov:agent prov:id="ex:ag">
+ </prov:agent>
+
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:entity prov:id="ex:e3">
+ </prov:entity>
+
+ <prov:entity prov:id="ex:e4">
+ </prov:entity>
+
+ <prov:wasAssociatedWith prov:id="ex:assoc">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:agent prov:ref="ex:ag"/>
+ </prov:wasAssociatedWith>
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasStartedBy>
+
+ <prov:wasStartedBy prov:id="ex:start2">
+ <prov:activity prov:ref="ex:ag"/>
+ <prov:trigger prov:ref="ex:e3"/>
+ </prov:wasStartedBy>
+
+ <prov:wasEndedBy prov:id="ex:end2">
+ <prov:activity prov:ref="ex:ag"/>
+ <prov:trigger prov:ref="ex:e4"/>
+ </prov:wasEndedBy>
+
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasEndedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,46 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:e3 a prov:Entity .
+
+ex:e4 a prov:Entity .
+
+ex:assoc a prov:Association ;
+ prov:agent ex:ag .
+
+ex:a prov:qualifiedAssociation ex:assoc .
+
+ex:start1 a prov:Start ;
+ prov:entity ex:e1 .
+
+ex:a prov:qualifiedStart ex:start1 .
+
+ex:ag a prov:Activity .
+
+ex:start2 a prov:Start ;
+ prov:entity ex:e3 .
+
+ex:ag prov:qualifiedStart ex:start2 .
+
+ex:end2 a prov:End ;
+ prov:entity ex:e4 .
+
+ex:ag prov:qualifiedEnd ex:end2 .
+
+ex:end1 a prov:End ;
+ prov:entity ex:e2 .
+
+ex:a prov:qualifiedEnd ex:end1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,16 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e)
+wasAttributedTo(ex:attr;ex:e, ex:ag)
+wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+
+ <prov:entity prov:id="ex:ag">
+ </prov:entity>
+ <prov:agent prov:id="ex:ag">
+ </prov:agent>
+ <prov:entity prov:id="ex:e">
+ </prov:entity>
+
+
+
+
+
+ <prov:wasAttributedTo prov:id="ex:attr">
+ <prov:entity prov:ref="ex:e"/>
+ <prov:agent prov:ref="ex:ag"/>
+ </prov:wasAttributedTo>
+
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:ag"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e"/>
+ <prov:activity prov:ref="ex:a2"/>
+ </prov:wasGeneratedBy>
+
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,30 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e a prov:Entity .
+
+ex:attr a prov:Attribution ;
+ prov:agent ex:ag .
+
+ex:e prov:qualifiedAttribution ex:attr .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:ag prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation ;
+ prov:activity ex:a2 .
+
+ex:e prov:qualifiedGeneration ex:gen2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,16 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:ag,-,-)
+agent(ex:ag)
+entity(ex:e)
+wasAttributedTo(ex:attr;ex:e, ex:ag)
+wasStartedBy(ex:start1;ex:ag,-,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+
+ <prov:activity prov:id="ex:ag">
+ </prov:activity>
+ <prov:agent prov:id="ex:ag">
+ </prov:agent>
+ <prov:entity prov:id="ex:e">
+ </prov:entity>
+
+
+
+
+
+ <prov:wasAttributedTo prov:id="ex:attr">
+ <prov:entity prov:ref="ex:e"/>
+ <prov:agent prov:ref="ex:ag"/>
+ </prov:wasAttributedTo>
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:ag"/>
+ <prov:starter prov:ref="ex:a1"/>
+ </prov:wasStartedBy>
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e"/>
+ <prov:activity prov:ref="ex:a2"/>
+ </prov:wasGeneratedBy>
+
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,31 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Activity , prov:Agent .
+
+ex:e a prov:Entity .
+
+ex:attr a prov:Attribution ;
+ prov:agent ex:ag .
+
+ex:e prov:qualifiedAttribution ex:attr .
+
+ex:start1 a prov:Start .
+
+ex:ag prov:qualifiedStart ex:start1 .
+
+ex:start1 prov:hadActivity ex:a1 .
+
+ex:gen2 a prov:Generation ;
+ prov:activity ex:a2 .
+
+ex:e prov:qualifiedGeneration ex:gen2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:ag1)
+agent(ex:ag1)
+entity(ex:ag2)
+agent(ex:ag2)
+actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
+wasGeneratedBy(ex:gen1;ex:ag1,-,-)
+wasInvalidatedBy(ex:inv2;ex:ag2,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+
+ <prov:entity prov:id="ex:ag1">
+ </prov:entity>
+ <prov:agent prov:id="ex:ag1">
+ </prov:agent>
+
+ <prov:entity prov:id="ex:ag2">
+ </prov:entity>
+ <prov:agent prov:id="ex:ag2">
+ </prov:agent>
+
+
+
+
+
+ <prov:actedOnBehalfOf prov:id="ex:del">
+ <prov:subordinate prov:ref="ex:ag2"/>
+ <prov:responsible prov:ref="ex:ag1"/>
+ </prov:actedOnBehalfOf>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:ag1"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasInvalidatedBy prov:id="ex:inv2">
+ <prov:entity prov:ref="ex:ag2"/>
+ </prov:wasInvalidatedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,24 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:ag1 a prov:Entity , prov:Agent .
+
+ex:ag2 a prov:Entity , prov:Agent .
+
+ex:del a prov:Delegation ;
+ prov:agent ex:ag1 .
+
+ex:ag2 prov:qualifiedDelegation ex:del .
+
+ex:gen1 a prov:Generation .
+
+ex:ag1 prov:qualifiedGeneration ex:gen1 .
+
+ex:inv2 a prov:Invalidation .
+
+ex:ag2 prov:qualifiedInvalidation ex:inv2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:ag1,-,-)
+agent(ex:ag1)
+activity(ex:ag2,-,-)
+agent(ex:ag2)
+actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
+wasStartedBy(ex:start1;ex:ag1,-,-,-)
+wasEndedBy(ex:end2;ex:ag2,-,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+
+ <prov:activity prov:id="ex:ag1">
+ </prov:activity>
+ <prov:agent prov:id="ex:ag1">
+ </prov:agent>
+
+ <prov:activity prov:id="ex:ag2">
+ </prov:activity>
+ <prov:agent prov:id="ex:ag2">
+ </prov:agent>
+
+
+
+
+
+ <prov:actedOnBehalfOf prov:id="ex:del">
+ <prov:subordinate prov:ref="ex:ag2"/>
+ <prov:responsible prov:ref="ex:ag1"/>
+ </prov:actedOnBehalfOf>
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:ag1"/>
+ </prov:wasStartedBy>
+
+ <prov:wasEndedBy prov:id="ex:end2">
+ <prov:activity prov:ref="ex:ag2"/>
+ </prov:wasEndedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,24 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:ag1 a prov:Activity , prov:Agent .
+
+ex:ag2 a prov:Activity , prov:Agent .
+
+ex:del a prov:Delegation ;
+ prov:agent ex:ag1 .
+
+ex:ag2 prov:qualifiedDelegation ex:del .
+
+ex:start1 a prov:Start .
+
+ex:ag1 prov:qualifiedStart ex:start1 .
+
+ex:end2 a prov:End .
+
+ex:ag2 prov:qualifiedEnd ex:end2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+ <prov:wasDerivedFrom prov:id="ex:der1">
+ <prov:generatedEntity prov:ref="ex:e2"/>
+ <prov:usedEntity prov:ref="ex:e1"/>
+ </prov:wasDerivedFrom>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,24 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:der1 a prov:Derivation ;
+ prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+wasDerivedFrom(ex:der2;ex:e1, ex:e2)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+ <prov:wasDerivedFrom prov:id="ex:der1">
+ <prov:generatedEntity prov:ref="ex:e2"/>
+ <prov:usedEntity prov:ref="ex:e1"/>
+ </prov:wasDerivedFrom>
+ <prov:wasDerivedFrom prov:id="ex:der2">
+ <prov:generatedEntity prov:ref="ex:e1"/>
+ <prov:usedEntity prov:ref="ex:e2"/>
+ </prov:wasDerivedFrom>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,29 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:der1 a prov:Derivation ;
+ prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
+
+ex:der2 a prov:Derivation ;
+ prov:entity ex:e2 .
+
+ex:e1 prov:qualifiedDerivation ex:der2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+activity(ex:a1,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+used(ex:use1;ex:a1,ex:e1,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a1, ex:gen2, ex:use1)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,29 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+ <prov:used prov:id="ex:use1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:used>
+ <prov:wasDerivedFrom prov:id="ex:der1">
+ <prov:generatedEntity prov:ref="ex:e2"/>
+ <prov:usedEntity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:generation prov:ref="ex:gen2"/>
+ <prov:usage prov:ref="ex:use1"/>
+ </prov:wasDerivedFrom>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,35 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:use1 a prov:Usage ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedUsage ex:use1 .
+
+ex:der1 a prov:Derivation ;
+ prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
+
+ex:der1 prov:hadGeneration ex:gen2 ;
+ prov:hadUsage ex:use1 ;
+ prov:hadActivity ex:a1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,18 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+activity(ex:a4,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,ex:a3,-)
+wasEndedBy(ex:end2;ex:a2,ex:e2,-,-)
+wasEndedBy(ex:end1;ex:a1,ex:e1,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+ <prov:activity prov:id="ex:a3">
+ </prov:activity>
+ <prov:activity prov:id="ex:a4">
+ </prov:activity>
+
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ <prov:activity prov:ref="ex:a3"/>
+ </prov:wasGeneratedBy>
+ <prov:wasEndedBy prov:id="ex:end2">
+ <prov:activity prov:ref="ex:a2"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasEndedBy>
+
+
+ <prov:wasEndedBy prov:id="ex:end1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasEndedBy>
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a4"/>
+ </prov:wasInvalidatedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,39 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:a4 a prov:Activity .
+
+ex:gen2 a prov:Generation ;
+ prov:activity ex:a3 .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:end2 a prov:End ;
+ prov:entity ex:e2 .
+
+ex:a2 prov:qualifiedEnd ex:end2 .
+
+ex:end1 a prov:End ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a4 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+used(ex:use1;ex:a2,ex:e1,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a3,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+ <prov:activity prov:id="ex:a3">
+ </prov:activity>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+ <prov:used prov:id="ex:use1">
+ <prov:activity prov:ref="ex:a2"/>
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:used>
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a3"/>
+ </prov:wasInvalidatedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,30 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:use1 a prov:Usage ;
+ prov:entity ex:e1 .
+
+ex:a2 prov:qualifiedUsage ex:use1 .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a3 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a3,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+ <prov:activity prov:id="ex:a3">
+ </prov:activity>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a3"/>
+ </prov:wasInvalidatedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,25 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a3 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e1,ex:a2,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a2"/>
+ </prov:wasGeneratedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,23 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+ prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation ;
+ prov:activity ex:a2 .
+
+ex:e1 prov:qualifiedGeneration ex:gen2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a1,-)
+wasInvalidatedBy(ex:inv2;ex:e1,ex:a2,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a1"/>
+ </prov:wasInvalidatedBy>
+ <prov:wasInvalidatedBy prov:id="ex:inv2">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a2"/>
+ </prov:wasInvalidatedBy>
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,23 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
+
+ex:inv2 a prov:Invalidation ;
+ prov:activity ex:a2 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv2 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:specializationOf>
+ <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:generalEntity prov:ref="ex:e1"/>
+ </prov:specializationOf>
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,20 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+ prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+specializationOf(ex:e2,ex:e1)
+wasInvalidatedBy(ex:inv2;ex:e2,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,-,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:specializationOf>
+ <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:generalEntity prov:ref="ex:e1"/>
+ </prov:specializationOf>
+
+ <prov:wasInvalidatedBy prov:id="ex:inv2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasInvalidatedBy>
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasInvalidatedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,20 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+ prov:specializationOf ex:e1 .
+
+ex:inv2 a prov:Invalidation .
+
+ex:e2 prov:qualifiedInvalidation ex:inv2 .
+
+ex:inv1 a prov:Invalidation .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:specializationOf>
+ <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:generalEntity prov:ref="ex:e1"/>
+ </prov:specializationOf>
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasDerivedFrom prov:id="ex:der1">
+ <prov:generatedEntity prov:ref="ex:e2"/>
+ <prov:usedEntity prov:ref="ex:e1"/>
+ </prov:wasDerivedFrom>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,25 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+ prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:der1 a prov:Derivation ;
+ prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasDerivedFrom(ex:der1;ex:e1, ex:e2)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+
+ <prov:specializationOf>
+ <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:generalEntity prov:ref="ex:e1"/>
+ </prov:specializationOf>
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasGeneratedBy prov:id="ex:gen1">
+ <prov:entity prov:ref="ex:e1"/>
+ </prov:wasGeneratedBy>
+
+ <prov:wasDerivedFrom prov:id="ex:der1">
+ <prov:generatedEntity prov:ref="ex:e1"/>
+ <prov:usedEntity prov:ref="ex:e2"/>
+ </prov:wasDerivedFrom>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,25 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+ prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:der1 a prov:Derivation ;
+ prov:entity ex:e2 .
+
+ex:e1 prov:qualifiedDerivation ex:der1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,18 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+entity(ex:e1)
+entity(ex:e2)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+activity(ex:a4,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,ex:a3,-)
+wasStartedBy(ex:start2;ex:a2,ex:e2,-,-)
+wasStartedBy(ex:start1;ex:a1,ex:e1,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
+endBundle
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.provx Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+ <prov:entity prov:id="ex:e1">
+ </prov:entity>
+ <prov:entity prov:id="ex:e2">
+ </prov:entity>
+ <prov:activity prov:id="ex:a1">
+ </prov:activity>
+ <prov:activity prov:id="ex:a2">
+ </prov:activity>
+ <prov:activity prov:id="ex:a3">
+ </prov:activity>
+ <prov:activity prov:id="ex:a4">
+ </prov:activity>
+
+
+ <prov:wasGeneratedBy prov:id="ex:gen2">
+ <prov:entity prov:ref="ex:e2"/>
+ <prov:activity prov:ref="ex:a3"/>
+ </prov:wasGeneratedBy>
+ <prov:wasStartedBy prov:id="ex:start2">
+ <prov:activity prov:ref="ex:a2"/>
+ <prov:trigger prov:ref="ex:e2"/>
+ </prov:wasStartedBy>
+
+
+ <prov:wasStartedBy prov:id="ex:start1">
+ <prov:activity prov:ref="ex:a1"/>
+ <prov:trigger prov:ref="ex:e1"/>
+ </prov:wasStartedBy>
+ <prov:wasInvalidatedBy prov:id="ex:inv1">
+ <prov:entity prov:ref="ex:e1"/>
+ <prov:activity prov:ref="ex:a4"/>
+ </prov:wasInvalidatedBy>
+
+
+</prov:document>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.ttl Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,39 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix prim: <http://openprovenance.org/primitives#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
+@prefix pc1: <http://www.ipaw.info/pc1/> .
+
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:a4 a prov:Activity .
+
+ex:gen2 a prov:Generation ;
+ prov:activity ex:a3 .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:start2 a prov:Start ;
+ prov:entity ex:e2 .
+
+ex:a2 prov:qualifiedStart ex:start2 .
+
+ex:start1 a prov:Start ;
+ prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:inv1 a prov:Invalidation ;
+ prov:activity ex:a4 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/test.provn Tue Nov 27 11:54:24 2012 +0000
@@ -0,0 +1,38 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+prefix <http://example.org/#>
+activity(:publicationActivity1123,2011-07-16T01:01:01Z,2011-07-16T01:52:02Z)
+agent(:postEditor,[foaf:name = "Post Editor 3000" %% xsd:string])
+agent(:derek,[foaf:givenName = "Derek" %% xsd:string, foaf:mbox = "mailto:derek@example.org" %% xsd:anyURI])
+agent(:government)
+agent(:national_newspaper_inc,[foaf:name = "National Newspaper, Inc." %% xsd:string])
+entity(:post9821v2,[prov:location="org.openprovenance.prov.xml.AnyRef@2d342ba4[
+ ref={http://example.org/#}more-crime-happens-in-cities
+]" %% prov:unknownLiteral, my:snapshotContent = "http://example.org/#postContent1" %% xsd:anyURI])
+entity(:post9821v1,[prov:location="org.openprovenance.prov.xml.AnyRef@32ef2c60[
+ ref={http://example.org/#}more-crime-happens-in-cities
+]" %% prov:unknownLiteral, my:snapshotContent = "http://example.org/#postContent0" %% xsd:anyURI, sioc:title = "More crime happens in cities" %% xsd:string])
+entity(:aggregatedByRegions,[prov:location="org.openprovenance.prov.xml.AnyRef@744a6cbf[
+ ref={file://Users/}aggr.txt
+]" %% prov:unknownLiteral])
+entity(:more-crime-happens-in-cities,[sioc:latest_version = "http://example.org/#post9821v2" %% xsd:anyURI, sioc:previous_version = "http://example.org/#post9821v1" %% xsd:anyURI])
+entity(:crimeData)
+entity(:prov-o-ex2-PASS,[ex:involvedUser = "http://example.org/#derek" %% xsd:anyURI])
+alternateOf(:post9821v2,:post9821v1)
+wasAttributedTo(:post9821v2, :derek)
+wasGeneratedBy(:post9821v1,:publicationActivity1123,-)
+wasAttributedTo(:post9821v1, :derek)
+wasAssociatedWith(:publicationActivity1123,:derek,-)
+wasAssociatedWith(:publicationActivity1123,:postEditor,-)
+used(:publicationActivity1123,:aggregatedByRegions,-)
+wasGeneratedBy(:post9821v1,:publicationActivity1123,-)
+wasStartedBy(:publicationActivity1123,:derek,-,-)
+wasEndedBy(:publicationActivity1123,:derek,-,-)
+actedOnBehalfOf(:derek,:national_newspaper_inc,-)
+wasAttributedTo(:crimeData, :government)
+wasAttributedTo(:prov-o-ex2-PASS, :postEditor)
+endBundle
\ No newline at end of file
--- a/testcases/process.html Tue Nov 27 11:53:55 2012 +0000
+++ b/testcases/process.html Tue Nov 27 11:54:24 2012 +0000
@@ -225,7 +225,7 @@
the validation results in <em>two plain text files</em>: <strong>pass.txt</strong> and
<strong>fail.txt</strong>.
The <b>pass.txt</b> file MUST contain all the identifiers (one on each line) of
-the test cases that have been successfully validated, and the <b>fail.txt</b>
+the test cases that have been successfully validated, and <b>fail.txt</b>
MUST contain the identifiers of all those that have failed the validation.
Test cases that are not supported by the implementation SHOULD NOT be included
in either of the files.</p>
@@ -278,35 +278,249 @@
<td><b>Download links</b></td>
</tr>
<tr>
- <td><b>derivation1-PASS</b></td>
+ <td><b>ordering-activity1-PASS</b></td>
<td> </td>
- <td>Pass</td>
- <td>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provn" title="derivation1-PASS.provn">PROV-N</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provx" title="derivation1-PASS.provx">PROV-XML</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.ttl" title="derivation1-PASS.ttl">PROV-RDF</a>
- </td>
- </tr>
- <tr>
- <td><b>derivation2-FAIL-ordering</b></td>
- <td>ordering</td>
- <td>Fail</td>
+ <td>PASS</td>
<td>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provn" title="derivation2-FAIL-ordering.provn">PROV-N</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provx" title="derivation2-FAIL-ordering.provx">PROV-XML</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.ttl" title="derivation2-FAIL-ordering.ttl">PROV-RDF</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.provn" title="ordering-activity1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.provx" title="ordering-activity1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.ttl" title="ordering-activity1-PASS.ttl">PROV-RDF</a>
</td>
- </tr>
+ </tr>
<tr>
- <td><b>derivation3-PASS</b></td>
+ <td><b>ordering-activity2-PASS</b></td>
<td> </td>
- <td>Pass</td>
+ <td>PASS</td>
<td>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provn" title="derivation3-PASS.provn">PROV-N</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provx" title="derivation3-PASS.provx">PROV-XML</a>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.ttl" title="derivation3-PASS.ttl">PROV-RDF</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.provn" title="ordering-activity2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.provx" title="ordering-activity2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.ttl" title="ordering-activity2-PASS.ttl">PROV-RDF</a>
</td>
- </tr>
+ </tr>
+ <tr>
+ <td><b>ordering-activity3-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.provn" title="ordering-activity3-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.provx" title="ordering-activity3-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.ttl" title="ordering-activity3-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-activity4-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.provn" title="ordering-activity4-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.provx" title="ordering-activity4-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.ttl" title="ordering-activity4-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-activity5-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.provn" title="ordering-activity5-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.provx" title="ordering-activity5-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.ttl" title="ordering-activity5-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-association1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.provn" title="ordering-association1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.provx" title="ordering-association1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.ttl" title="ordering-association1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-association2-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.provn" title="ordering-association2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.provx" title="ordering-association2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.ttl" title="ordering-association2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-attribution1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.provn" title="ordering-attribution1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.provx" title="ordering-attribution1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.ttl" title="ordering-attribution1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-attribution2-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.provn" title="ordering-attribution2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.provx" title="ordering-attribution2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.ttl" title="ordering-attribution2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-delegation1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.provn" title="ordering-delegation1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.provx" title="ordering-delegation1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.ttl" title="ordering-delegation1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-delegation2-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.provn" title="ordering-delegation2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.provx" title="ordering-delegation2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.ttl" title="ordering-delegation2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-derivation1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.provn" title="ordering-derivation1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.provx" title="ordering-derivation1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.ttl" title="ordering-derivation1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-derivation2-FAIL-c42</b></td>
+ <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a></td>
+ <td>FAIL</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provn" title="ordering-derivation2-FAIL-c42.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provx" title="ordering-derivation2-FAIL-c42.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.ttl" title="ordering-derivation2-FAIL-c42.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-derivation3-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.provn" title="ordering-derivation3-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.provx" title="ordering-derivation3-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.ttl" title="ordering-derivation3-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-ends1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.provn" title="ordering-ends1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.provx" title="ordering-ends1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.ttl" title="ordering-ends1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-entity1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.provn" title="ordering-entity1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.provx" title="ordering-entity1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.ttl" title="ordering-entity1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-entity2-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.provn" title="ordering-entity2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.provx" title="ordering-entity2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.ttl" title="ordering-entity2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-entity3-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.provn" title="ordering-entity3-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.provx" title="ordering-entity3-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.ttl" title="ordering-entity3-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-entity4-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.provn" title="ordering-entity4-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.provx" title="ordering-entity4-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.ttl" title="ordering-entity4-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-specialization1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.provn" title="ordering-specialization1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.provx" title="ordering-specialization1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.ttl" title="ordering-specialization1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-specialization2-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.provn" title="ordering-specialization2-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.provx" title="ordering-specialization2-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.ttl" title="ordering-specialization2-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-specialization3-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.provn" title="ordering-specialization3-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.provx" title="ordering-specialization3-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.ttl" title="ordering-specialization3-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-specialization4-FAIL-c42-c45</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a><br />
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
+ </td>
+ <td>FAIL</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn" title="ordering-specialization4-FAIL-c42-c45.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx" title="ordering-specialization4-FAIL-c42-c45.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl" title="ordering-specialization4-FAIL-c42-c45.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+ <tr>
+ <td><b>ordering-starts1-PASS</b></td>
+ <td> </td>
+ <td>PASS</td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.provn" title="ordering-starts1-PASS.provn">PROV-N</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.provx" title="ordering-starts1-PASS.provx">PROV-XML</a>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.ttl" title="ordering-starts1-PASS.ttl">PROV-RDF</a>
+ </td>
+ </tr>
+
<tr>
<td><b>w3c-publication1-PASS</b></td>
<td> </td>