Converting PROV-DM examples to test cases
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Tue, 27 Nov 2012 22:07:01 +0000
changeset 5180 54b7b66e90a0
parent 5179 ce2e8199e2b3
child 5181 1ebd4dd6f376
Converting PROV-DM examples to test cases
testcases/constraints/type-f4-FAIL-c53.provn
testcases/prov-dm/prov-dm-ex16_provenance_notation-PASS.provn
testcases/prov-dm/prov-dm-ex17_entity-PASS.provn
testcases/prov-dm/prov-dm-ex18_acivity-PASS.provn
testcases/prov-dm/prov-dm-ex19_generation-PASS.provn
testcases/prov-dm/prov-dm-ex20_generation-PASS.provn
testcases/prov-dm/prov-dm-ex21_usage-PASS.provn
testcases/prov-dm/prov-dm-ex22-PASS.provn
testcases/prov-dm/prov-dm-ex22-PASS.provx
testcases/prov-dm/prov-dm-ex22-PASS.ttl
testcases/prov-dm/prov-dm-ex22_communication-PASS.provn
testcases/prov-dm/prov-dm-ex23_start-PASS.provn
testcases/prov-dm/prov-dm-ex24_start-PASS.provn
testcases/prov-dm/prov-dm-ex25_start-PASS.provn
testcases/prov-dm/prov-dm-ex26_end-PASS.provn
testcases/prov-dm/prov-dm-ex27_invalidation-PASS.provn
testcases/prov-dm/prov-dm-ex28_invalidation-PASS.provn
testcases/prov-dm/prov-dm-ex29_invalidation-PASS.provn
testcases/prov-dm/prov-dm-ex30_derivation-PASS.provn
testcases/prov-dm/prov-dm-ex31_revision-PASS.provn
testcases/prov-dm/prov-dm-ex32_quotation-PASS.provn
testcases/prov-dm/prov-dm-ex33_primary_source-PASS.provn
testcases/prov-dm/prov-dm-ex34_agent-PASS.provn
testcases/prov-dm/prov-dm-ex35_attribution-PASS.provn
testcases/prov-dm/prov-dm-ex36_association-PASS.provn
testcases/prov-dm/prov-dm-ex37_association-PASS.provn
testcases/prov-dm/prov-dm-ex38_delegation-PASS.provn
testcases/prov-dm/prov-dm-ex39_influence-PASS.provn
testcases/prov-dm/prov-dm-ex40_bundle-PASS.provn
testcases/prov-dm/prov-dm-ex41_bundle-PASS.provn
testcases/prov-dm/prov-dm-ex43_specialization-PASS.provn
testcases/prov-dm/prov-dm-ex44_alternate-PASS.provn
testcases/prov-dm/prov-dm-ex45_alternate-PASS.provn
testcases/prov-dm/prov-dm-ex46_collection-PASS.provn
testcases/prov-dm/prov-dm-ex47_membership-PASS.provn
testcases/prov-dm/prov-dm-ex48_label_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex49_location_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex50_role_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex51_type_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex52_value_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex53_value_attribute-PASS.provn
testcases/prov-dm/prov-dm-ex55_value_time_instant-PASS.provn
testcases/prov-dm/prov-dm-ex56_extensibility_points-PASS.provn
testcases/prov-dm/prov-dm-ex57_extensibility_points-PASS.provn
testcases/prov-dm/prov-dm-ex58_extensibility_points-PASS.provn
testcases/prov-dm/prov-dm-ex6_communication-PASS.provn
testcases/prov-dm/prov-dm-ex_author_view-PASS.provn
testcases/prov-dm/prov-dm-ex_process_view-PASS.provn
testcases/prov-dm/prov-dm-ex_provenance_attribution-PASS.provn
testcases/prov-dm/w3c-publication1-PASS.provn
testcases/prov-dm/w3c-publication1-PASS.provx
testcases/prov-dm/w3c-publication1-PASS.ttl
testcases/prov-dm/w3c-publication2-PASS.provn
testcases/prov-dm/w3c-publication2-PASS.provx
testcases/prov-dm/w3c-publication2-PASS.ttl
--- a/testcases/constraints/type-f4-FAIL-c53.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/constraints/type-f4-FAIL-c53.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,10 +1,12 @@
 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:e3)
+entity(ex:e5)
+activity(ex:a4)
+
 wasGeneratedBy(ex:gen;ex:e3,ex:a4,-)
 used(ex:gen;ex:a4,ex:e5,-)
+
 endBundle
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex16_provenance_notation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex16_provenance_notation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://example.org/>
+
 // An activity with identifier a1 and an attribute type with value createFile.
 
 activity(a1, [ prov:type="createFile" ])
@@ -12,7 +16,9 @@
 used(a1, e1)
 wasGeneratedBy(e2, a1)
 
-// The same descriptions, but with an explicit identifier u1 for the usage, and the syntactic marker '-' to mark the absence of identifier in the // generation. Both are followed by ';'.
+// The same descriptions, but with an explicit identifier u1 for the usage, and the syntactic marker '-' to mark the absence of identifier in the generation. Both are followed by ';'.
 
 used(u1; a1, e1)
 wasGeneratedBy(-; e2, a1)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex17_entity-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex17_entity-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix ex <http://example.org/>
+prefix tr  <http://www.w3.org/TR/2011/> 
+
 // The following expression
 
 	entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
@@ -6,3 +11,4 @@
 // The attribute ex:version is application specific, whereas the attribute type (see Section 5.7.4.4) is reserved in the PROV namespace. 
 
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex18_acivity-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex18_acivity-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix ex <http://example.org/>
+default <http://www.example.org/> 
+
 // The following expression
 
 	activity(a1, 2011-11-16T16:05:00, 2011-11-16T16:06:00, [ ex:host="server.example.org", prov:type='ex:edit' ])
@@ -7,3 +12,4 @@
 // The attribute type is a reserved attribute of PROV-DM, allowing for sub-typing to be expressed (see Section 5.7.4.4).
 
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex19_generation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex19_generation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+default <http://www.example.org/> 
 //  The following expressions
 
   wasGeneratedBy(e1, a1, 2001-10-26T21:32:52, [ ex:port="p1" ])
@@ -8,3 +12,4 @@
 //  available on port p2. The semantics of port are application specific. 
 
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex20_generation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex20_generation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,6 @@
+document
+
+default <http://www.example.org/> 
 // In some cases, we may want to record the time at which an entity was generated without having to specify the activity that generated it. 
 // To support this requirement, the activity element in generation is optional. Hence, the following expression indicates the time at which 
 // an entity is generated, without naming the activity that did it.
@@ -5,3 +8,4 @@
   wasGeneratedBy(e, -, 2001-10-26T21:32:52)
 
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex21_usage-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex21_usage-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+default <http://www.example.org/> 
 // The following usages
 
   used(a1, e1, 2011-11-16T16:00:00, [ ex:parameter="p1" ])
@@ -7,3 +11,4 @@
 //  2011-11-16T16:00:01, respectively; the first one was found as the value of parameter p1, whereas the second was found as value 
 // of parameter p2. The semantics of parameter is application specific.
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex22-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-bundle
-
-prefix ex <http://example.org/>
-
-activity(ex:a1, [ prov:type="traffic regulations enforcing" ])
-activity(ex:a2, [ prov:type="fine paying" ])
-wasInformedBy(ex:a2, ex:a1)
-
-endBundle
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex22-PASS.provx	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
-    <prov:activity xmlns:ex="http://example.org/" prov:id="ex:a1">
-        <prov:type xsi:type="xsd:string">traffic regulations enforcing</prov:type>
-    </prov:activity>
-    <prov:activity xmlns:ex="http://example.org/" prov:id="ex:a2">
-        <prov:type xsi:type="xsd:string">fine paying</prov:type>
-    </prov:activity>
-    <prov:wasInformedBy>
-        <prov:effect xmlns:ex="http://example.org/" prov:ref="ex:a2"/>
-        <prov:cause xmlns:ex="http://example.org/" prov:ref="ex:a1"/>
-    </prov:wasInformedBy>
-</prov:document>
--- a/testcases/prov-dm/prov-dm-ex22-PASS.ttl	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] prim: <http://openprovenance.org/primitives#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
[email protected] ex: <http://example.org/> .
[email protected] xsi: <http://www.w3.org/2001/XMLSchema-instance> .
[email protected] pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:a1 a prov:Activity ;
-	prov:type "traffic regulations enforcing"^^xsd:string .
-
-ex:a2 a prov:Activity ;
-	prov:type "fine paying"^^xsd:string ;
-	prov:wasInformedBy ex:a1 .
--- a/testcases/prov-dm/prov-dm-ex22_communication-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex22_communication-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,6 @@
+document
+
+default <http://www.example.org/> 
 // Consider two activities a1 and a2, the former performed by a government agency, and the latter by a driver caught speeding.
 
 activity(a1, [ prov:type="traffic regulations enforcing" ])
@@ -5,4 +8,6 @@
 wasInformedBy(a2, a1)
 
 // The last line indicates that some implicit entity was generated by a1 and used by a2; this entity may be a traffic ticket that had 
-// a notice of fine, amount, and payment mailing details. 
\ No newline at end of file
+// a notice of fine, amount, and payment mailing details. 
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex23_start-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex23_start-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://www.example.org/> 
+
 // The following example contains the description of an activity a1 (a discussion), which was started at a specific time, 
 // and was triggered by an email message e1.
 
@@ -18,3 +22,5 @@
 // If e1 is not known, it would also be valid to write:
 
 wasStartedBy(a1, -, a0, 2011-11-16T16:05:00)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex24_start-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex24_start-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 //In the following example, a race is started by a bang, and responsibility for this trigger is attributed to an agent ex:Bob.
 
 activity(ex:foot_race)
@@ -5,3 +9,5 @@
 wasStartedBy(ex:foot_race, ex:bang, -, 2012-03-09T08:05:08-05:00)
 agent(ex:Bob)
 wasAttributedTo(ex:bang, ex:Bob)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex25_start-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex25_start-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 // In this example, filling the fuel tank was started as a consequence of observing low fuel. 
 // The trigger entity is unspecified, it could for instance have been the low fuel warning light, 
 // the fuel tank indicator needle position, or the engine not running properly.
@@ -11,3 +15,4 @@
 
 wasStartedBy(ex:filling-fuel, -, ex:observing-low-fuel, -)
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex26_end-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex26_end-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,5 +1,11 @@
+document
+
+default ex <http://www.example.org/>
+
 // The following example is a description of an activity a1 (editing) that was ended following an approval document e1.
 
 entity(e1, [ prov:type="approval document" ])
 activity(a1, [ prov:type="Editing" ])
 wasEndedBy(a1, e1)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex27_invalidation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex27_invalidation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 // The Painter, a Picasso painting, is known to have been destroyed in a plane accident.
 
 entity(ex:The-Painter)
@@ -5,3 +9,5 @@
 wasAttributedTo(ex:The-Painter, ex:Picasso)
 activity(ex:crash)
 wasInvalidatedBy(ex:The-Painter, ex:crash, 1998-09-03T01:31:00, [ ex:circumstances="plane accident" ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex28_invalidation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex28_invalidation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix ex <http://example.org/>
+prefix bbc <http://www.bbc.co.uk/>
+
 // The BBC news home page on 2012-04-03 ex:bbcNews2012-04-03 contained a reference to a given news item bbc:news/uk-17595024, 
 // but the BBC news home page on the next day did not.
 
@@ -7,4 +12,6 @@
 wasInvalidatedBy(ex:bbcNews2012-04-03, -, 2012-04-03T23:59:59)
 
 // We refer to example Example 43 for further descriptions of the BBC Web site, 
-// and to Section 5.6.2 for a description of the relation hadMember. 
\ No newline at end of file
+// and to Section 5.6.2 for a description of the relation hadMember. 
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex29_invalidation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex29_invalidation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://www.example.org/>
+
 // In this example, the "buy one beer, get one free" offer expired at the end of the happy hour.
 
 entity(buy_one_beer_get_one_free_offer_during_happy_hour)
@@ -22,4 +26,6 @@
 wasGeneratedBy(twoBeers,redeemOffer)
 
 // We see that the offer was both used to be converted into twoBeers and invalidated by the redeemOffer activity: 
-// in other words, the combined usage and invalidation indicate consumption of the offer.
\ No newline at end of file
+// in other words, the combined usage and invalidation indicate consumption of the offer.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex30_derivation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex30_derivation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://www.example.org/>
+
 // The following descriptions are about derivations between e2 and e1, but no information is provided as 
 // to the identity of the activity (and usage and generation) underpinning the derivation. In the second line, a type attribute is also provided.
 
@@ -14,4 +18,6 @@
 // With such a comprehensive description of derivation, a program that analyzes provenance can identify the activity underpinning 
 // the derivation, it can identify how the preceding entity e1 was used by the activity (e.g. for instance, which argument it was passed as, 
 // if the activity is the result of a function invocation), and which output the derived entity e2 was obtained from (say, 
-// for a function returning multiple results).
\ No newline at end of file
+// for a function returning multiple results).
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex31_revision-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex31_revision-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix tr  <http://www.w3.org/TR/2011/>
+prefix rec54 <http://www.w3.org/2001/02pd/rec54#>
+
 // Revisiting the example of Section 4.2, we can now state that the report tr:WD-prov-dm-20111215 was a revision 
 // of the report tr:WD-prov-dm-20111018.
 
@@ -6,3 +11,5 @@
 wasDerivedFrom(tr:WD-prov-dm-20111215, 
                tr:WD-prov-dm-20111018, 
                [ prov:type='prov:Revision' ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex32_quotation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex32_quotation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,10 @@
+document
+
+prefix ex <http://www.example.org/>
+prefix wp <http://thinklinks.wordpress.com/>
+prefix dm <http://www.w3.org/TR/prov-dm/#>
+ 
+
 // The following paragraph is a quote from one of the author's blogs.
 
 //     "During the workshop, it became clear to me that the consensus based models (which are often graphical in nature) can not only be
@@ -18,3 +25,4 @@
                [ prov:type='prov:Quotation' ])
 wasAttributedTo(dm:bl-dagstuhl, ex:Luc)
 wasAttributedTo(wp:thoughts-from-the-dagstuhl-principles-of-provenance-workshop/, ex:Paul)
+endDocument
--- a/testcases/prov-dm/prov-dm-ex33_primary_source-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex33_primary_source-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 // Let us consider Charles Joseph Minard's flow map of Napoleon's March in 1812, which was published in 1869. Although the map is not a
 //  primary source, Minard probably used the journal of Pierre-Irénée Jacob, pharmacist to Napoleon's army during the Russian campaign.
 // This primary source relation can be encoded as follows.
@@ -7,3 +11,5 @@
 wasDerivedFrom(ex:la-campagne-de-Russie-1812-1813,
                ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII,
                [ prov:type='prov:PrimarySource' ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex34_agent-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex34_agent-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,5 +1,12 @@
+document
+
+prefix ex <http://example.org/>
+default <http://www.example.org/>
+
 // The following expression is about an agent identified by e1, which is a person, named Alice, with employee number 1234.
 
 agent(e1, [ex:employee="1234", ex:name="Alice", prov:type='prov:Person' ])
 
-// It is optional to specify the type of an agent. When present, it is expressed using the prov:type attribute.
\ No newline at end of file
+// It is optional to specify the type of an agent. When present, it is expressed using the prov:type attribute.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex35_attribution-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex35_attribution-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,9 @@
+document
+
+prefix ex <http://example.org/>
+prefix tr  <http://www.w3.org/TR/2011/>
+prefix rec54 <http://www.w3.org/2001/02pd/rec54#>
+
 // Revisiting the example of Section 4.1, we can ascribe tr:WD-prov-dm-20111215 to some agents without an explicit activity.
 
 agent(ex:Paolo, [ prov:type='prov:Person' ])
@@ -5,3 +11,5 @@
 entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, [ prov:type="editorship" ])
 wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, [ prov:type="authorship" ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex36_association-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex36_association-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 // In the following example, a designer agent and an operator agent are associated with an activity. 
 // The designer's goals are achieved by a workflow ex:wf, described as an entity of type plan.
 
@@ -11,4 +15,6 @@
                 prov:location="http://example.org/workflow1.bpel" %% xsd:anyURI ])
 
 // Since the workflow ex:wf is itself an entity, its provenance can also be expressed in PROV: 
-//it can be generated by some activity and derived from other entities, for instance. 
\ No newline at end of file
+//it can be generated by some activity and derived from other entities, for instance.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex37_association-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex37_association-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://example.org/>
+
 // In some cases, one wants to indicate a plan was followed, without having to specify which agent was involved.
 
 activity(ex:a, [ prov:type="workflow execution" ])
@@ -6,4 +10,6 @@
                 ex:label="Workflow 1", 
                 ex:url="http://example.org/workflow1.bpel" %% xsd:anyURI])
 
-// In this case, it is assumed that an agent exists, but it has not been specified. 
\ No newline at end of file
+// In this case, it is assumed that an agent exists, but it has not been specified.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex38_delegation-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex38_delegation-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://example.org/>
+
 // The following fragment describes three agents: a programmer, a researcher, and a funder. The programmer and researcher are 
 // associated with a workflow activity. The programmer acts on behalf of the researcher (line-management) encoding the commands 
 // specified by the researcher; the researcher acts on behalf of the funder, who has a contractual agreement with the researcher. 
@@ -12,3 +16,5 @@
 wasAssociatedWith(a, ag3)
 actedOnBehalfOf(ag1, ag2, a, [ prov:type="line-management" ])
 actedOnBehalfOf(ag2, ag3, a, [ prov:type="contract" ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex39_influence-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex39_influence-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix tr  <http://www.w3.org/TR/2011/>
+prefix w3  <http://www.w3.org/>
+
 // We refer to the example of Section 4.2, and specifically to Figure 3. 
 // We could have expressed that the influence of w3:Consortium on tr:WD-prov-dm-20111215.
 
@@ -6,3 +11,5 @@
 // Instead, it is recommended to express the more specific description:
 
  wasAttributedTo(tr:WD-prov-dm-20111215, w3:Consortium)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex40_bundle-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex40_bundle-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,9 @@
+document
+
+prefix ex <http://example.org/>
+prefix bob <http://example.org/Bob/>
+prefix alice <http://example.org/Alice/>
+
 // Let us consider two entities ex:report1 and ex:report2.
 
  
@@ -39,3 +45,5 @@
 entity(alice:bundle2, [ prov:type='prov:Bundle' ])
 wasGeneratedBy(alice:bundle2, -, 2012-05-25T11:15:00)
 wasAttributedTo(alice:bundle2, ex:Alice)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex41_bundle-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex41_bundle-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,6 +1,11 @@
+document
+
+prefix ex <http://example.org/>
+prefix agg <http://example.org/aggregator>
+
 // A provenance aggregator could merge two bundles, resulting in a novel bundle, whose provenance is described as follows.
 
- 
+
 bundle agg:bundle3
   entity(ex:report1, [ prov:type="report", ex:version=1 ])
   wasGeneratedBy(ex:report1, -, 2012-05-24T10:00:01)
@@ -16,4 +21,6 @@
 wasDerivedFrom(agg:bundle3, bob:bundle1)
 wasDerivedFrom(agg:bundle3, alice:bundle2)
 
-// The new bundle is given a new identifier agg:bundle3 and is attributed to the ex:aggregator01 agent. 
\ No newline at end of file
+// The new bundle is given a new identifier agg:bundle3 and is attributed to the ex:aggregator01 agent.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex43_specialization-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex43_specialization-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,7 +1,14 @@
+document
+
+prefix ex <http://example.org/>
+prefix bbc <http://www.bbc.co.uk/>
+
 // The BBC news home page on 2012-03-23 ex:bbcNews2012-03-23 is a specialization of the BBC news page in general bbc:news/. 
 // This can be expressed as follows.
 
 specializationOf(ex:bbcNews2012-03-23, bbc:news/)
 
 // We have created a new qualified name, ex:bbcNews2012-03-23, in the namespace ex, to identify the specific page 
-// carrying this day's news, which would otherwise be the generic bbc:news/ page. 
\ No newline at end of file
+// carrying this day's news, which would otherwise be the generic bbc:news/ page.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex44_alternate-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex44_alternate-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix bbc <http://www.bbc.co.uk/>
+
 // A given news item on the BBC News site bbc:news/science-environment-17526723 for desktop is an alternate 
 // of a bbc:news/mobile/science-environment-17526723 for mobile devices.
 
@@ -7,3 +11,5 @@
        [ prov:type="a news item for mobile devices"])
 alternateOf(bbc:news/science-environment-17526723, 
             bbc:news/mobile/science-environment-17526723)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex45_alternate-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex45_alternate-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,6 @@
+document
+
+prefix tr  <http://www.w3.org/TR/2011/>
 // Considering again the two versions of the technical report tr:WD-prov-dm-20111215 (second working draft) 
 // and tr:WD-prov-dm-20111018 (first working draft). They are alternates of each other.
 
@@ -5,4 +8,6 @@
 entity(tr:WD-prov-dm-20111215)
 alternateOf(tr:WD-prov-dm-20111018, tr:WD-prov-dm-20111215)
 
-// They are both specialization of the page http://www.w3.org/TR/prov-dm/.
\ No newline at end of file
+// They are both specialization of the page http://www.w3.org/TR/prov-dm/.
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex46_collection-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex46_collection-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,2 +1,8 @@
+document
+
+default <http://www.example.org>
+
 entity(c0, [ prov:type='prov:EmptyCollection' ])  // c0 is an empty collection
-entity(c1, [ prov:type='prov:Collection'  ])      // c1 is a collection, with unknown content
\ No newline at end of file
+entity(c1, [ prov:type='prov:Collection'  ])      // c1 is a collection, with unknown content
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex47_membership-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex47_membership-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+default <http://www.example.org>
+
 // In this example, c is a collection known to have e0, e1, and e2 as members, and may have other members.
 
 entity(e0)
@@ -8,3 +12,5 @@
 hadMember(c, e0)
 hadMember(c, e1)
 hadMember(c, e2)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex48_label_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex48_label_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,5 +1,11 @@
+document
+
+prefix ex <http://www.example.org>
+ 
 // The following entity is provided with a label attribute.
  	entity(ex:e1, [ prov:label="This is a human-readable label" ])
 
 // The following entity has two label attributes, in French and English.
  	entity(ex:car01, [ prov:label="Voiture 01"@fr, prov:label="Car 01"@en ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex49_location_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex49_location_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,5 +1,11 @@
+document
+
+prefix ex <http://www.example.org>
+
 // The following expression describes entity Mona Lisa, a painting, with a location attribute.
 	entity(ex:MonaLisa, [ prov:location="Le Louvre, Paris", prov:type="StillImage" ])
 
 // The following expression describes a cell, at coordinates (5,5), with value 10.
 	entity(ex:cell, [ prov:location="(5,5)", prov:value="10" %% xsd:integer ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex50_role_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex50_role_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,5 +1,12 @@
+document
+
+prefix ex <http://www.example.org>
+default <http://www.example.org>
+
 // The following activity is associated with an agent acting as the operator.
 	wasAssociatedWith(a, ag, [ prov:role="operator" ])
 
 // In the following expression, the activity ex:div01 used entity ex:cell in the role of divisor.
 	used(ex:div01, ex:cell, [ prov:role="divisor" ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex51_type_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex51_type_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,2 +1,8 @@
+document
+
+default <http://www.example.org> 
+
 // The following describes an agent of type software agent.
 	agent(ag, [ prov:type='prov:SoftwareAgent' ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex52_value_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex52_value_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://www.example.org>
+
 // The following example illustrates the provenance of the number 4 obtained by an activity that computed the length of 
 // an input string "abcd". The input and the output are expressed as entities ex:in and ex:out, respectively. 
 // They each have a prov:value attribute associated with the corresponding value.
@@ -8,3 +12,5 @@
 used(ex:len, ex:in)
 wasGeneratedBy(ex:out, ex:len)
 wasDerivedFrom(ex:out, ex:in)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex53_value_attribute-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex53_value_attribute-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://www.example.org>
+
 // Example 52 illustrates an entity with a given value 4. This examples shows that another entity with the same value 
 // may be computed differently (by an addition).
 
@@ -8,3 +12,5 @@
 used(ex:add1, ex:in1)
 used(ex:add1, ex:in2)
 wasGeneratedBy(ex:out2, ex:add1)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex55_value_time_instant-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex55_value_time_instant-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,2 +1,10 @@
+document
+
+default <http://www.example.org> 
+
 //In the following example, the generation time of entity e1 is expressed according to xsd:dateTime [XMLSCHEMA11-2].
+	entity(e1)
+	activity(a1)
 	wasGeneratedBy(e1,a1, 2001-10-26T21:32:52)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex56_extensibility_points-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex56_extensibility_points-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,2 +1,11 @@
+document
+
+	prefix ex <http://www.example.org>
+	default <http://www.example.org>
+	
+	entity(e1)
+	entity(e2)
 // In the following example, e2 is a translation of e1, expressed as a sub-type of derivation.
 	wasDerivedFrom(e2,e1, [prov:type='ex:Translation' ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex57_extensibility_points-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex57_extensibility_points-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,2 +1,8 @@
+document
+
+prefix ex <http://www.example.org>
+
 // In the following example, e is described as a Car, a type of entity.
 	entity(e, [prov:type='ex:Car' ])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex58_extensibility_points-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex58_extensibility_points-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,7 @@
+document
+
+prefix ex <http://www.example.org>
+
 // In the following example, two computers ex:laptop4 and ex:desktop9 are used in different roles in a work activity.
  
   activity(ex:work)
@@ -5,3 +9,5 @@
   entity(ex:desktop9)
   used(ex:work, ex:laptop4,  [prov:role="day-to-day machine"])
   used(ex:work, ex:desktop9, [prov:role="backup machine"])
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex6_communication-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-The activity of writing a celebrity article was informed by (a communication instance) the activity of intercepting voicemails. 
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex_author_view-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex_author_view-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix ex <http://example.org/>
+prefix tr  <http://www.w3.org/TR/2011/> 
+
 //There was a document tr:WD-prov-dm-20111215, which from the author's perspective was a document in its second version.
     entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
 
@@ -15,3 +20,4 @@
     wasAssociatedWith(ex:edit1, ex:Paolo, -, [ prov:role="editor" ])
     wasAssociatedWith(ex:edit1, ex:Simon, -, [ prov:role="contributor" ])
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex_process_view-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex_process_view-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,13 @@
+document
+
+prefix ex <http://example.org/>
+prefix w3  <http://www.w3.org/>
+prefix tr  <http://www.w3.org/TR/2011/> 
+prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
+prefix email   <https://lists.w3.org/Archives/Member/w3c-archive/>
+prefix trans   <http://www.w3.org/2005/08/01-transitions.html#>
+prefix rec54   <http://www.w3.org/2001/02pd/rec54#> 
+
 // There was a document, a working draft (rec54:WD), which is an entity so that we can describe its provenance. 
 // Similar descriptions exist for all entities.
 	entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
@@ -18,3 +28,4 @@
 	wasAssociatedWith(ex:act2, w3:Consortium, process:rec-advance)
 
 
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/prov-dm-ex_provenance_attribution-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ b/testcases/prov-dm/prov-dm-ex_provenance_attribution-PASS.provn	Tue Nov 27 22:07:01 2012 +0000
@@ -1,3 +1,8 @@
+document
+
+prefix ex <http://example.org/>
+prefix w3  <http://www.w3.org/>
+
 // PROV-DM offers a construct to name a bundle of provenance descriptions (full details: ex:author-view).
 
 bundle ex:author-view
@@ -27,3 +32,5 @@
 
 entity(ex:process-view, [ prov:type='prov:Bundle' ])
 wasAttributedTo(ex:process-view, w3:Consortium)
+
+endDocument
\ No newline at end of file
--- a/testcases/prov-dm/w3c-publication1-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,39 +0,0 @@
-bundle
-
-prefix ex <http://example.org/>
-prefix w3  <http://www.w3.org/>
-prefix tr  <http://www.w3.org/TR/2011/>
-
-entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
-
-agent(ex:Luc,     [ prov:type='prov:Person' ])
-agent(ex:Paolo,   [ prov:type='prov:Person' ])
-agent(ex:Khalid,  [ prov:type='prov:Person' ])
-agent(ex:Stephen, [ prov:type='prov:Person' ])
-agent(ex:Yolanda, [ prov:type='prov:Person' ])
-agent(ex:Ryan,    [ prov:type='prov:Person' ])
-agent(ex:Paul,    [ prov:type='prov:Person' ])
-agent(ex:Graham,  [ prov:type='prov:Person' ])
-agent(ex:Jim,     [ prov:type='prov:Person' ])
-agent(ex:Simon,   [ prov:type='prov:Person' ])
-agent(ex:James,   [ prov:type='prov:Person' ])
-agent(ex:Satya,   [ prov:type='prov:Person' ])
-
-activity(ex:edit1,[prov:type="edit"])
-
-wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1)
-
-wasAssociatedWith(ex:edit1, ex:Luc, -,     [prov:role="editor"])
-wasAssociatedWith(ex:edit1, ex:Paolo, -,   [prov:role="editor"])
-wasAssociatedWith(ex:edit1, ex:Khalid, -,  [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Stephen, -, [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Yolanda, -, [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Ryan, -,    [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Paul, -,    [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Graham, -,  [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Jim, -,     [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Simon, -,   [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:James, -,   [prov:role="contributor"])
-wasAssociatedWith(ex:edit1, ex:Satya, -,   [prov:role="contributor"])
-
-endBundle
\ No newline at end of file
--- a/testcases/prov-dm/w3c-publication1-PASS.provx	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,106 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
-    <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111215">
-        <prov:type xsi:type="xsd:string">document</prov:type>
-        <ex:version xmlns:ex="http://example.org/" xsi:type="xsd:string">2</ex:version>
-    </prov:entity>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Luc">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Paolo">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Khalid">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Stephen">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Yolanda">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Ryan">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Paul">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Graham">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Jim">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Simon">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:James">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:agent xmlns:ex="http://example.org/" prov:id="ex:Satya">
-        <prov:type xsi:type="xsd:QName">prov:Person</prov:type>
-    </prov:agent>
-    <prov:activity xmlns:ex="http://example.org/" prov:id="ex:edit1">
-        <prov:type xsi:type="xsd:string">edit</prov:type>
-    </prov:activity>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Luc"/>
-        <prov:role xsi:type="xsd:string">editor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Paolo"/>
-        <prov:role xsi:type="xsd:string">editor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Khalid"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Stephen"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Yolanda"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Ryan"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Paul"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Graham"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Jim"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Simon"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:James"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:edit1"/>
-        <prov:agent xmlns:ex="http://example.org/" prov:ref="ex:Satya"/>
-        <prov:role xsi:type="xsd:string">contributor</prov:role>
-    </prov:wasAssociatedWith>
-</prov:document>
--- a/testcases/prov-dm/w3c-publication1-PASS.ttl	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,159 +0,0 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] prim: <http://openprovenance.org/primitives#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
[email protected] ex: <http://example.org/> .
[email protected] tr: <http://www.w3.org/TR/2011/> .
[email protected] xsi: <http://www.w3.org/2001/XMLSchema-instance> .
[email protected] pc1: <http://www.ipaw.info/pc1/> .
-
-
-tr:WD-prov-dm-20111215 a prov:Entity ;
-	prov:type "document"^^xsd:string ;
-	ex:version "2"^^xsd:string .
-
-ex:Luc a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Paolo a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Khalid a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Stephen a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Yolanda a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Ryan a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Paul a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Graham a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Jim a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Simon a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:James a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:Satya a prov:Agent ;
-	prov:type "prov:Person"^^xsd:QName .
-
-ex:edit1 a prov:Activity ;
-	prov:type "edit"^^xsd:string .
-
-_:node17chb2nssx1 a prov:Association ;
-	prov:agent ex:Luc .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx1 .
-
-_:node17chb2nssx1 prov:role "editor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Luc .
-
-_:node17chb2nssx2 a prov:Association ;
-	prov:agent ex:Paolo .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx2 .
-
-_:node17chb2nssx2 prov:role "editor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Paolo .
-
-_:node17chb2nssx3 a prov:Association ;
-	prov:agent ex:Khalid .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx3 .
-
-_:node17chb2nssx3 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Khalid .
-
-_:node17chb2nssx4 a prov:Association ;
-	prov:agent ex:Stephen .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx4 .
-
-_:node17chb2nssx4 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Stephen .
-
-_:node17chb2nssx5 a prov:Association ;
-	prov:agent ex:Yolanda .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx5 .
-
-_:node17chb2nssx5 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Yolanda .
-
-_:node17chb2nssx6 a prov:Association ;
-	prov:agent ex:Ryan .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx6 .
-
-_:node17chb2nssx6 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Ryan .
-
-_:node17chb2nssx7 a prov:Association ;
-	prov:agent ex:Paul .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx7 .
-
-_:node17chb2nssx7 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Paul .
-
-_:node17chb2nssx8 a prov:Association ;
-	prov:agent ex:Graham .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx8 .
-
-_:node17chb2nssx8 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Graham .
-
-_:node17chb2nssx9 a prov:Association ;
-	prov:agent ex:Jim .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx9 .
-
-_:node17chb2nssx9 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Jim .
-
-_:node17chb2nssx10 a prov:Association ;
-	prov:agent ex:Simon .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx10 .
-
-_:node17chb2nssx10 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Simon .
-
-_:node17chb2nssx11 a prov:Association ;
-	prov:agent ex:James .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx11 .
-
-_:node17chb2nssx11 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:James .
-
-_:node17chb2nssx12 a prov:Association ;
-	prov:agent ex:Satya .
-
-ex:edit1 prov:qualifiedAssociation _:node17chb2nssx12 .
-
-_:node17chb2nssx12 prov:role "contributor"^^xsd:string .
-
-ex:edit1 prov:wasAssociatedWith ex:Satya .
--- a/testcases/prov-dm/w3c-publication2-PASS.provn	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-bundle
-
-prefix ex  <http://example.org/>
-
-prefix w3      <http://www.w3.org/>
-prefix tr      <http://www.w3.org/TR/2011/>
-prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
-prefix email   <https://lists.w3.org/Archives/Member/w3c-archive/>
-prefix chairs  <https://lists.w3.org/Archives/Member/chairs/>
-prefix trans   <http://www.w3.org/2005/08/01-transitions.html#>
-prefix rec54   <http://www.w3.org/2001/02pd/rec54#>
-
-
-  entity(tr:WD-prov-dm-20111018, [ prov:type='rec54:WD' ])
-  entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
-  entity(process:rec-advance,    [ prov:type='prov:Plan' ])
-
-
-  entity(chairs:2011OctDec/0004, [ prov:type='trans:transreq' ])
-  entity(email:2011Oct/0141,     [ prov:type='trans:pubreq' ])
-  entity(email:2011Dec/0111,     [ prov:type='trans:pubreq' ])
-
-
-  wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
-
-
-  activity(ex:act1,-,-,[prov:type="publish"])
-  activity(ex:act2,-,-,[prov:type="publish"])
-
-  wasGeneratedBy(tr:WD-prov-dm-20111018, ex:act1, -)
-  wasGeneratedBy(tr:WD-prov-dm-20111215, ex:act2, -)
-
-  used(ex:act1, chairs:2011OctDec/0004, -)
-  used(ex:act1, email:2011Oct/0141, -)
-  used(ex:act2, email:2011Dec/0111, -)
-
-  agent(w3:Consortium, [ prov:type='prov:Organization' ])
-
-  wasAssociatedWith(ex:act1, w3:Consortium, process:rec-advance)
-  wasAssociatedWith(ex:act2, w3:Consortium, process:rec-advance)
-
-endBundle
--- a/testcases/prov-dm/w3c-publication2-PASS.provx	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,64 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
-    <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111018">
-        <prov:type xmlns:rec54="http://www.w3.org/2001/02pd/rec54#" xsi:type="xsd:QName">rec54:WD</prov:type>
-    </prov:entity>
-    <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:id="tr:WD-prov-dm-20111215">
-        <prov:type xmlns:rec54="http://www.w3.org/2001/02pd/rec54#" xsi:type="xsd:QName">rec54:WD</prov:type>
-    </prov:entity>
-    <prov:entity xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:id="process:rec-advance">
-        <prov:type xsi:type="xsd:QName">prov:Plan</prov:type>
-    </prov:entity>
-    <prov:entity xmlns:chairs="https://lists.w3.org/Archives/Member/chairs/" prov:id="chairs:2011OctDec/0004">
-        <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:transreq</prov:type>
-    </prov:entity>
-    <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:id="email:2011Oct/0141">
-        <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:pubreq</prov:type>
-    </prov:entity>
-    <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:id="email:2011Dec/0111">
-        <prov:type xmlns:trans="http://www.w3.org/2005/08/01-transitions.html#" xsi:type="xsd:QName">trans:pubreq</prov:type>
-    </prov:entity>
-    <prov:wasDerivedFrom>
-        <prov:generatedEntity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111215"/>
-        <prov:usedEntity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111018"/>
-    </prov:wasDerivedFrom>
-    <prov:activity xmlns:ex="http://example.org/" prov:id="ex:act1">
-        <prov:type xsi:type="xsd:string">publish</prov:type>
-    </prov:activity>
-    <prov:activity xmlns:ex="http://example.org/" prov:id="ex:act2">
-        <prov:type xsi:type="xsd:string">publish</prov:type>
-    </prov:activity>
-    <prov:wasGeneratedBy>
-        <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111018"/>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
-    </prov:wasGeneratedBy>
-    <prov:wasGeneratedBy>
-        <prov:entity xmlns:tr="http://www.w3.org/TR/2011/" prov:ref="tr:WD-prov-dm-20111215"/>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
-    </prov:wasGeneratedBy>
-    <prov:used>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
-        <prov:entity xmlns:chairs="https://lists.w3.org/Archives/Member/chairs/" prov:ref="chairs:2011OctDec/0004"/>
-    </prov:used>
-    <prov:used>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
-        <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:ref="email:2011Oct/0141"/>
-    </prov:used>
-    <prov:used>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
-        <prov:entity xmlns:email="https://lists.w3.org/Archives/Member/w3c-archive/" prov:ref="email:2011Dec/0111"/>
-    </prov:used>
-    <prov:agent xmlns:w3="http://www.w3.org/" prov:id="w3:Consortium">
-        <prov:type xsi:type="xsd:QName">prov:Organization</prov:type>
-    </prov:agent>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act1"/>
-        <prov:agent xmlns:w3="http://www.w3.org/" prov:ref="w3:Consortium"/>
-        <prov:plan xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:ref="process:rec-advance"/>
-    </prov:wasAssociatedWith>
-    <prov:wasAssociatedWith>
-        <prov:activity xmlns:ex="http://example.org/" prov:ref="ex:act2"/>
-        <prov:agent xmlns:w3="http://www.w3.org/" prov:ref="w3:Consortium"/>
-        <prov:plan xmlns:process="http://www.w3.org/2005/10/Process-20051014/tr.html#" prov:ref="process:rec-advance"/>
-    </prov:wasAssociatedWith>
-</prov:document>
--- a/testcases/prov-dm/w3c-publication2-PASS.ttl	Tue Nov 27 15:42:30 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,71 +0,0 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] process: <http://www.w3.org/2005/10/Process-20051014/tr.html#> .
[email protected] chairs: <https://lists.w3.org/Archives/Member/chairs/> .
[email protected] prim: <http://openprovenance.org/primitives#> .
[email protected] w3: <http://www.w3.org/> .
[email protected] xsi: <http://www.w3.org/2001/XMLSchema-instance> .
[email protected] rec54: <http://www.w3.org/2001/02pd/rec54#> .
[email protected] ex: <http://example.org/> .
[email protected] email: <https://lists.w3.org/Archives/Member/w3c-archive/> .
[email protected] tr: <http://www.w3.org/TR/2011/> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
[email protected] pc1: <http://www.ipaw.info/pc1/> .
[email protected] trans: <http://www.w3.org/2005/08/01-transitions.html#> .
-
-
-tr:WD-prov-dm-20111018 a prov:Entity ;
-	prov:type "rec54:WD"^^xsd:QName .
-
-tr:WD-prov-dm-20111215 a prov:Entity ;
-	prov:type "rec54:WD"^^xsd:QName .
-
-process:rec-advance a prov:Entity ;
-	prov:type "prov:Plan"^^xsd:QName .
-
-<https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004> a prov:Entity ;
-	prov:type "trans:transreq"^^xsd:QName .
-
-<https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141> a prov:Entity ;
-	prov:type "trans:pubreq"^^xsd:QName .
-
-<https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111> a prov:Entity ;
-	prov:type "trans:pubreq"^^xsd:QName .
-
-tr:WD-prov-dm-20111215 prov:wasDerivedFrom tr:WD-prov-dm-20111018 .
-
-ex:act1 a prov:Activity ;
-	prov:type "publish"^^xsd:string .
-
-ex:act2 a prov:Activity ;
-	prov:type "publish"^^xsd:string .
-
-tr:WD-prov-dm-20111018 prov:wasGeneratedBy ex:act1 .
-
-tr:WD-prov-dm-20111215 prov:wasGeneratedBy ex:act2 .
-
-ex:act1 prov:used <https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004> , <https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141> .
-
-ex:act2 prov:used <https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111> .
-
-w3:Consortium a prov:Agent ;
-	prov:type "prov:Organization"^^xsd:QName .
-
-_:node17chbub73x1 a prov:Association ;
-	prov:agent w3:Consortium .
-
-ex:act1 prov:qualifiedAssociation _:node17chbub73x1 .
-
-process:rec-advance a prov:Plan .
-
-_:node17chbub73x1 prov:hadPlan process:rec-advance .
-
-ex:act1 prov:wasAssociatedWith w3:Consortium .
-
-_:node17chbub73x2 a prov:Association ;
-	prov:agent w3:Consortium .
-
-ex:act2 prov:qualifiedAssociation _:node17chbub73x2 .
-
-_:node17chbub73x2 prov:hadPlan process:rec-advance .
-
-ex:act2 prov:wasAssociatedWith w3:Consortium .