--- a/testcases/constraints/ordering-activity1-PASS-c30.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-activity1-PASS-c30.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,7 @@
document
-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,-,-,-)
-endDocument
\ No newline at end of file
+ prefix ex <http://example.org/>
+
+ activity(ex:a1,-,-)
+ wasStartedBy(ex:start1;ex:a1,-,-,-)
+ wasEndedBy(ex:end1;ex:a1,-,-,-)
+endDocument
--- a/testcases/constraints/ordering-activity2-PASS-c33.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-activity2-PASS-c33.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,10 @@
document
-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,-,-,-)
-endDocument
\ No newline at end of file
+ prefix ex <http://example.org/>
+
+ activity(ex:a1,-,-)
+ entity(ex:e1)
+
+ wasStartedBy(ex:start1;ex:a1,-,-,-)
+ used(ex:use1;ex:a1,ex:e1,-)
+ wasEndedBy(ex:end1;ex:a1,-,-,-)
+endDocument
--- a/testcases/constraints/ordering-activity3-PASS-c34.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-activity3-PASS-c34.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,9 @@
document
-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,-,-,-)
-endDocument
\ No newline at end of file
+ prefix ex <http://example.org/>
+
+ activity(ex:a1,-,-)
+ entity(ex:e1)
+ wasStartedBy(ex:start1;ex:a1,-,-,-)
+ wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+ wasEndedBy(ex:end1;ex:a1,-,-,-)
+endDocument
--- a/testcases/constraints/ordering-activity4-PASS-c31.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-activity4-PASS-c31.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-activity5-PASS-c32.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-activity5-PASS-c32.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-association1-PASS-c47.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-association1-PASS-c47.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -17,4 +12,4 @@
wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
wasInvalidatedBy(ex:inv1;ex:ag,ex:a2,-)
wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-association2-PASS-c47.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-association2-PASS-c47.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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)
@@ -17,4 +12,4 @@
wasStartedBy(ex:start2;ex:ag,ex:e3,-,-)
wasEndedBy(ex:end2;ex:ag,ex:e4,-,-)
wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-attribution1-PASS-c48.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS-c48.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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)
@@ -13,4 +8,4 @@
wasAttributedTo(ex:attr;ex:e, ex:ag)
wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-attribution2-PASS-c48.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS-c48.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -13,4 +8,4 @@
wasAttributedTo(ex:attr;ex:e, ex:ag)
wasStartedBy(ex:start1;ex:ag,-,ex:a1,-)
wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-communication-PASS-c35.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-communication-PASS-c35.provn Mon Dec 17 16:38:35 2012 +0000
@@ -4,4 +4,4 @@
activity(ex:a1,-,-)
activity(ex:a2,-,-)
wasInformedBy(ex:inf1; ex:a1, ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-delegation1-PASS-c49.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS-c49.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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)
@@ -12,4 +7,4 @@
actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
wasGeneratedBy(ex:gen1;ex:ag1,-,-)
wasInvalidatedBy(ex:inv2;ex:ag2,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-delegation2-PASS-c49.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS-c49.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -12,4 +7,4 @@
actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
wasStartedBy(ex:start1;ex:ag1,-,-,-)
wasEndedBy(ex:end2;ex:ag2,-,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-derivation1-PASS-c42.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS-c42.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-derivation2-FAIL-c42.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-derivation3-PASS-c41-c42.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS-c41-c42.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -12,4 +7,4 @@
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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-ends1-PASS-c44.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-ends1-PASS-c44.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -15,4 +10,4 @@
wasEndedBy(ex:end2;ex:a2,ex:e2,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,-,-)
wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -12,4 +7,4 @@
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
used(ex:use1;ex:a2,ex:e1,-)
wasInvalidatedBy(ex:inv1;ex:e1,ex:a3,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-entity2-PASS-c36.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-entity2-PASS-c36.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-entity3-PASS-c39.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-entity3-PASS-c39.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-entity4-PASS-c40.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-entity4-PASS-c40.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-specialization1-PASS-c45.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS-c45.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-specialization2-PASS-c46.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS-c46.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-specialization3-PASS-c42-c45.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS-c42-c45.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/ordering-starts1-PASS-c43.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/ordering-starts1-PASS-c43.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,-)
@@ -15,4 +10,4 @@
wasStartedBy(ex:start2;ex:a2,ex:e2,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,-,-)
wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
entity(def:bar_chart,[prov:type='ex:Chart'])
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, -, def:illustration, -)
wasGeneratedBy(def:illustration;-,def:illustrationActivity,2012-04-03T00:00:11Z,[prov:type='prov:InstantaneousEvent'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
wasDerivedFrom(digestedProteinSample1, proteinSample, -)
wasDerivedFrom(digestedProteinSample1, -, -, u1)
used(u1; -, Trypsin, -,[prov:role='treatmentEnzyme'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-collection-FAIL-c56.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-collection-FAIL-c56.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
entity(ex:e2,[prov:type='prov:EmptyCollection'])
hadMember(ex:e2,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-f1-FAIL-c50-c55.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-f1-FAIL-c50-c55.provn Mon Dec 17 16:38:35 2012 +0000
@@ -3,4 +3,4 @@
entity(ex:e1, [prov:type='ex:test1'])
activity(ex:e1, -, -, [prov:type='ex:test2'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-f2-FAIL-c50-c55.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-f2-FAIL-c50-c55.provn Mon Dec 17 16:38:35 2012 +0000
@@ -4,4 +4,4 @@
entity(ex:e1, [prov:type='ex:test1'])
entity(ex:e2, [prov:type='ex:test2'])
wasGeneratedBy(ex:gen1; ex:e1, ex:e2, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-f3-FAIL-c54.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-f3-FAIL-c54.provn Mon Dec 17 16:38:35 2012 +0000
@@ -4,4 +4,4 @@
entity(ex:e1, [prov:type='ex:test1'])
entity(ex:e2, [prov:type='ex:test2'])
wasGeneratedBy(ex:e1; ex:e3, ex:a4, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-f4-FAIL-c53.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-f4-FAIL-c53.provn Mon Dec 17 16:38:35 2012 +0000
@@ -3,4 +3,4 @@
wasGeneratedBy(ex:gen; ex:e3, ex:a4, -)
used(ex:gen; ex:a4, ex:e5, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-s1-PASS-c50-c55.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-s1-PASS-c50-c55.provn Mon Dec 17 16:38:35 2012 +0000
@@ -3,4 +3,4 @@
entity(ex:e1, [prov:type='ex:test1'])
activity(ex:a1, -, -, [prov:type='ex:test2'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/type-s2-PASS-c50-c55.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/type-s2-PASS-c50-c55.provn Mon Dec 17 16:38:35 2012 +0000
@@ -3,4 +3,4 @@
entity(ex:e1, [prov:type='ex:test1', prov:type='prov:Bundle'])
agent(ex:e1, [prov:type='ex:test2', prov:type='prov:SoftwareAgent', prov:type="http://www.w3.org/ns/prov#Person" %% xsd:anyURI, prov:type="http://openprovenance.org/validation/type/Organization" %% xsd:anyURI, prov:type="prov:Activity" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-end-f1-FAIL-c29.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-end-f1-FAIL-c29.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,2012-11-16T17:05:00)
wasEndedBy(ex:end1;ex:a1,-,-,2111-11-11T11:11:11)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-end-s1-PASS-c29.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-end-s1-PASS-c29.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,2012-11-16T17:05:00)
wasEndedBy(ex:end1;ex:a1,-,-,2012-11-16T17:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-s1-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-s1-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,6 @@
document
-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:a1,-,-)
-endDocument
\ No newline at end of file
+ prefix ex <http://example.org/>
+
+ activity(ex:a1,-,-)
+ activity(ex:a1,-,-)
+endDocument
--- a/testcases/constraints/unification-activity-s2-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-s2-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-s3-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-s3-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,-,2012-11-16T17:05:00)
activity(ex:a1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-s4-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-s4-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,2012-11-16T17:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-start-f1-FAIL-c28.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-start-f1-FAIL-c28.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,2012-11-16T17:05:00)
wasStartedBy(ex:start1;ex:a1,-,-,2111-11-11T11:11:11)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-activity-start-s1-PASS-c28.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-activity-start-s1-PASS-c28.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,2012-11-16T16:05:00,-)
activity(ex:a1,-,2012-11-16T17:05:00)
wasStartedBy(ex:start1;ex:a1,-,-,2012-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f1-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f1-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1-other,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1-other,ex:ag1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1-other)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f4-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f4-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f5-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f5-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-f6-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-f6-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;-,ex:ag1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc2;ex:a1,ex:ag1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-s3-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-s3-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,-,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-s4-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-s4-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:assoc1;ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:assoc1;ex:a1,-,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-association-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-association-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,[prov:type='prov:Plan'])
activity(ex:a1,-,-)
agent(ex:ag1)
wasAssociatedWith(ex:a1,ex:ag1,ex:e1)
wasAssociatedWith(ex:a1,ex:ag1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,-,-,[prov:type='ex:test1'])
activity(ex:a1,-,-,[prov:type='ex:test2'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-end-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-end-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-,[prov:type='ex:test1'])
wasEndedBy(ex:a1,ex:e1,ex:a2,-,[prov:type='ex:test2'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-end-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-end-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,-,-,2011-11-16T16:05:00,[prov:type='ex:test1'])
wasEndedBy(ex:a1,ex:e1,ex:a2,-,[prov:type="ex:test1" %% xsd:string])
wasEndedBy(ex:end1;ex:a1,-,ex:a2,-,[prov:type="1" %% xsd:int])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,[prov:type='ex:test1'])
entity(ex:e1,[prov:type='ex:test2'])
activity(ex:a1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-start-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-start-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-,[prov:type='ex:test1'])
wasStartedBy(ex:a1,ex:e1,ex:a2,-,[prov:type='ex:test2'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attributes-start-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attributes-start-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00,[prov:type='ex:test1'])
wasStartedBy(ex:a1,ex:e1,ex:a2,-,[prov:type="ex:test1" %% xsd:string])
wasStartedBy(ex:start1;ex:a1,-,ex:a2,-,[prov:type="1" %% xsd:int])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-f1-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-f1-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:del1;ex:e1, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-f2-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-f2-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:del1;-, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:del1;ex:e1, ex:ag2)
wasAttributedTo(ex:del1;ex:e1, ex:ag2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:del1;ex:e1, ex:ag2)
wasAttributedTo(ex:del2;ex:e1, ex:ag2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-s3-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-s3-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:e1, ex:ag2)
wasAttributedTo(ex:del2;ex:e1, ex:ag2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-attribution-s4-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-attribution-s4-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
agent(ex:ag2)
wasAttributedTo(ex:e1, ex:ag2)
wasAttributedTo(ex:e1, ex:ag2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn Mon Dec 17 16:38:35 2012 +0000
@@ -13,4 +13,4 @@
hadMember(ex:e1,ex:e2)
endBundle
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-f1-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-f1-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,-,-)
wasInformedBy(ex:inf1;ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-f2-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-f2-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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,-,-)
wasInformedBy(ex:inf1;-,ex:a1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInformedBy(ex:inf1;ex:a1,ex:a2)
wasInformedBy(ex:inf1;ex:a1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInformedBy(ex:inf1;ex:a1,ex:a2)
wasInformedBy(ex:inf2;ex:a1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-s3-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-s3-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInformedBy(ex:a1,ex:a2)
wasInformedBy(ex:inf2;ex:a1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-communication-s4-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-communication-s4-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInformedBy(ex:a1,ex:a2)
wasInformedBy(ex:a1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-f1-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-f1-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1-other,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2-other,ex:ag1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2-other)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-f6-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-f6-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;-,ex:ag1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del2;ex:ag2,ex:ag1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-s3-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-s3-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2,-,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-s4-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-s4-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:del1;ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:del1;ex:ag2,-,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-delegation-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-delegation-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:a2,-,-)
agent(ex:ag2)
agent(ex:ag1)
actedOnBehalfOf(ex:ag2,ex:ag1,ex:a2)
actedOnBehalfOf(ex:ag2,ex:ag1,ex:a2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-f1-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-f1-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, ex:gen, ex:use)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, -)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, ex:gen, -)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-f4-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-f4-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, ex:use)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, -)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-s3-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-s3-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, ex:gen, -)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-s4-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-s4-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, ex:use)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, -, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-derivation-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-derivation-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, ex:gen, ex:use)
wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a, ex:gen, ex:use)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-f1-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-f1-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:end1;ex:a1-other,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:end1;ex:a1,ex:e1-other,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2-other,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-f4-FAIL-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-f4-FAIL-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:end1-other;ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-f5-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-f5-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,2012-11-16T16:05:00)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s1-PASS-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s1-PASS-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s2-PASS-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s2-PASS-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:a1,-,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s3-PASS-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s3-PASS-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:a1,-,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s4-PASS-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s4-PASS-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasEndedBy(ex:a1,-,ex:a2,-)
wasEndedBy(ex:end1;ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s5-PASS-c23-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s5-PASS-c23-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,-,ex:a2,-)
wasEndedBy(ex:end1;ex:a1,-,-,2011-11-16T16:05:00)
wasEndedBy(ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-end-s6-PASS-c23-c27.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-end-s6-PASS-c23-c27.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasEndedBy(ex:end1;ex:a1,-,-,2011-11-16T16:05:00)
wasEndedBy(ex:a1,ex:e1,ex:a2,-)
wasEndedBy(ex:end1;ex:a1,-,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f1-FAIL-c24.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f1-FAIL-c24.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1-other;ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1-other,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1-other,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f4-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f4-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2012-11-16T16:05:00)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f5-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f5-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:e1,ex:a1,2012-11-16T16:05:00)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f6-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f6-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:e1,ex:a1,2012-11-16T16:05:00)
wasGeneratedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-f7-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-f7-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2012-11-16T16:05:00)
wasGeneratedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s3-PASS-c24.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s3-PASS-c24.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s6-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s6-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s7-PASS-c23-c24.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s7-PASS-c23-c24.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
wasGeneratedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-generation-s8-PASS-c23-c24.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-generation-s8-PASS-c23-c24.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
wasGeneratedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-influence-f1-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-influence-f1-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -2,4 +2,4 @@
prefix ex <http://example.org/>
wasInfluencedBy(ex:infl1; ex:x1, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-influence-f2-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-influence-f2-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -2,4 +2,4 @@
prefix ex <http://example.org/>
wasInfluencedBy(ex:infl1;-, ex:x1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-influence-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-influence-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -4,4 +4,4 @@
wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f1-FAIL-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f1-FAIL-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1-other;ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1-other,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1-other,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f4-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f4-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2012-11-16T16:05:00)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:e1,ex:a1,2012-11-16T16:05:00)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:e1,ex:a1,2012-11-16T16:05:00)
wasInvalidatedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2012-11-16T16:05:00)
wasInvalidatedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s3-PASS-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s3-PASS-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s6-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s6-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,2011-11-16T16:05:00)
wasInvalidatedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:gen1;ex:e1,ex:a1,-)
wasInvalidatedBy(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-membership-f1-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-membership-f1-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -7,4 +7,4 @@
hadMember(ex:e2, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-f1-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-f1-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -7,4 +7,4 @@
specializationOf(ex:e2, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-f2-FAIL-DM.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-f2-FAIL-DM.provn Mon Dec 17 16:38:35 2012 +0000
@@ -7,4 +7,4 @@
specializationOf(-, ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-f3-FAIL-c52.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-f3-FAIL-c52.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-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)
specializationOf(ex:e1,ex:e1)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-f4-FAIL-c52.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-f4-FAIL-c52.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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)
specializationOf(ex:e1,ex:e2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-s1-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-s1-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-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)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-specialization-s2-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-specialization-s2-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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)
entity(ex:e3)
specializationOf(ex:e2,ex:e1)
specializationOf(ex:e3,ex:e2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f1-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f1-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1;ex:a1-other,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,ex:e1-other,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2-other,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f4-FAIL-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f4-FAIL-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1-other;ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f5-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f5-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,2012-11-16T16:05:00)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f6-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f6-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,2012-11-16T16:05:00)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f7-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f7-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,2012-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-f8-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-f8-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,2013-11-16T16:05:00)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,2012-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s1-PASS-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s1-PASS-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s2-PASS-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s2-PASS-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:a1,-,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s3-PASS-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s3-PASS-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:a1,-,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s4-PASS-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s4-PASS-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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,-,-)
wasStartedBy(ex:a1,-,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s5-PASS-c23-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s5-PASS-c23-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s6-PASS-c23-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s6-PASS-c23-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s7-PASS-c23-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s7-PASS-c23-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,2011-11-16T16:05:00)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s8-PASS-c23-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s8-PASS-c23-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
wasStartedBy(ex:a1,ex:e1,ex:a2,-)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-start-s9-PASS-c23-c26.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-start-s9-PASS-c23-c26.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-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,-,-)
wasStartedBy(ex:start1;ex:a1,-,-,-)
wasStartedBy(ex:a1,ex:e1,ex:a2,2011-11-16T16:05:00)
wasStartedBy(ex:start1;ex:a1,-,ex:a2,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f2-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f2-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1-other,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f3-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f3-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1-other,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f4-FAIL-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f4-FAIL-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,2012-11-16T16:05:00)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:e1,ex:a1,2012-11-16T16:05:00)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f6-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f6-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:e1,ex:a1,2012-11-16T16:05:00)
used(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-f7-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-f7-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1,2012-11-16T16:05:00)
used(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s1-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s1-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s2-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s2-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,-,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s5-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s5-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s6-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s6-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s7-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s7-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1,2011-11-16T16:05:00)
used(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/constraints/unification-usage-s8-PASS-c23.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/constraints/unification-usage-s8-PASS-c23.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-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:e1,-,-)
entity(ex:a1)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:use1;ex:e1,ex:a1,-)
used(ex:e1,ex:a1,2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex16_provenance_notation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex16_provenance_notation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -21,4 +21,4 @@
used(u1; a1, e1, -)
wasGeneratedBy(-; e2, a1, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex17_entity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex17_entity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -11,4 +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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex18_activity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex18_activity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex19_generation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex19_generation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -13,4 +13,4 @@
// available on port p2. The semantics of port are application specific.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex20_generation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex20_generation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -9,4 +9,4 @@
wasGeneratedBy(e, -, 2001-10-26T21:32:52)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex21_usage-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex21_usage-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex22_communication-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex22_communication-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -11,4 +11,4 @@
// 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.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex23_start-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex23_start-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -23,4 +23,4 @@
wasStartedBy(a1, -, a0, 2011-11-16T16:05:00)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex24_start-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex24_start-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -10,4 +10,4 @@
agent(ex:Bob)
wasAttributedTo(ex:bang, ex:Bob)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex25_start-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex25_start-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -15,4 +15,4 @@
wasStartedBy(ex:filling-fuel, -, ex:observing-low-fuel, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex26_end-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex26_end-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -8,4 +8,4 @@
activity(a1, [ prov:type="Editing" ])
wasEndedBy(a1, e1, -, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex27_invalidation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex27_invalidation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -10,4 +10,4 @@
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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex28_invalidation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex28_invalidation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -14,4 +14,4 @@
// 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.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex29_invalidation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex29_invalidation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -28,4 +28,4 @@
// 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.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex30_derivation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex30_derivation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -20,4 +20,4 @@
// 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).
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex31_revision-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex31_revision-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,4 @@
tr:WD-prov-dm-20111018,
[ prov:type='prov:Revision' ])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex33_primary_source-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex33_primary_source-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,4 @@
ex:revue-d-Histoire-de-la-Pharmacie-t-XVIII,
[ prov:type='prov:PrimarySource' ])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex34_agent-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex34_agent-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -9,4 +9,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex35_attribution-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex35_attribution-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,4 @@
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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex36_association-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex36_association-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -17,4 +17,4 @@
// 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.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex37_association-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex37_association-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,4 @@
// In this case, it is assumed that an agent exists, but it has not been specified.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex38_delegation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex38_delegation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -17,4 +17,4 @@
actedOnBehalfOf(ag1, ag2, a, [ prov:type="line-management" ])
actedOnBehalfOf(ag2, ag3, a, [ prov:type="contract" ])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex39_influence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex39_influence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -15,4 +15,4 @@
wasAttributedTo(tr:WD-prov-dm-20111215, w3:Consortium)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex40_bundle-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex40_bundle-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -36,4 +36,4 @@
wasDerivedFrom(ex:report2, ex:report1)
endBundle
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex41_bundle-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex41_bundle-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -20,4 +20,4 @@
wasDerivedFrom(ex:report2, ex:report1)
endBundle
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex43_specialization-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex43_specialization-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -11,4 +11,4 @@
// 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.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex44_alternate-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex44_alternate-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -12,4 +12,4 @@
alternateOf(bbc:news/science-environment-17526723,
bbc:news/mobile/science-environment-17526723)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex45_alternate-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex45_alternate-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -10,4 +10,4 @@
// They are both specialization of the page http://www.w3.org/TR/prov-dm/.
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex46_collection-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex46_collection-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -5,4 +5,4 @@
entity(c0, [ prov:type='prov:EmptyCollection' ]) // c0 is an empty collection
entity(c1, [ prov:type='prov:Collection' ]) // c1 is a collection, with unknown content
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex47_membership-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex47_membership-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -13,4 +13,4 @@
hadMember(c, e1)
hadMember(c, e2)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex48_label_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex48_label_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -8,4 +8,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex49_location_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex49_location_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -8,4 +8,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex50_role_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex50_role_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -9,4 +9,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex51_type_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex51_type_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -5,4 +5,4 @@
// The following describes an agent of type software agent.
agent(ag, [ prov:type='prov:SoftwareAgent' ])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex52_value_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex52_value_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -13,4 +13,4 @@
wasGeneratedBy(ex:out, ex:len, -)
wasDerivedFrom(ex:out, ex:in)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex53_value_attribute-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex53_value_attribute-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -13,4 +13,4 @@
used(ex:add1, ex:in2, -)
wasGeneratedBy(ex:out2, ex:add1, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex55_value_time_instant-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex55_value_time_instant-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -7,4 +7,4 @@
activity(a1)
wasGeneratedBy(e1,a1, 2001-10-26T21:32:52)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex56_extensibility_points-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex56_extensibility_points-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -9,4 +9,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex57_extensibility_points-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex57_extensibility_points-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
// 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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex58_extensibility_points-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex58_extensibility_points-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -10,4 +10,4 @@
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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex_author_view-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex_author_view-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -20,4 +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
+endDocument
--- a/testcases/prov-dm/prov-dm-ex_process_view-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex_process_view-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -28,4 +28,4 @@
wasAssociatedWith(ex:act2, w3:Consortium, process:rec-advance)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/prov-dm/prov-dm-ex_provenance_attribution-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/prov-dm/prov-dm-ex_provenance_attribution-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -24,4 +24,4 @@
// ...
endBundle
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Activity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Activity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:graduation,2012-04-15T13:00:00-04:00,2012-04-15T14:30:00-04:00,[prov:type='def:Graduation'])
entity(def:doctor_smith)
entity(def:ms_smith)
used(def:graduation,def:ms_smith,-)
wasGeneratedBy(def:doctor_smith,def:graduation,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-ActivityInfluence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-ActivityInfluence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:bar_chart)
wasGeneratedBy(def:making-bar-chart;def:bar_chart,def:illustrating,-,[prov:type='prov:ActivityInfluence', rdfs:comment = "Ended up with bar chart as line chart looked ugly."@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Agent-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Agent-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:derek,[prov:type='prov:Person', foaf:givenName = "Derek" %% xsd:string, foaf:mbox = "mailto:derek@example.org" %% xsd:anyURI, foaf:homePage = "http://derek.example.com" %% xsd:anyURI])
agent(def:national_newspaper_inc,[prov:type='prov:Organization', foaf:name = "National Newspaper, Inc." %% xsd:string])
actedOnBehalfOf(def:derek,def:national_newspaper_inc,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-AgentInfluence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-AgentInfluence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
agent(def:derek,[prov:type='prov:Person', prov:type='prov:Entity'])
entity(def:derek,[prov:type='prov:Person', prov:type='prov:Agent'])
wasAssociatedWith(def:illustrating,def:derek,-)
wasAssociatedWith(def:illustrating,def:derek,-,[prov:type='prov:AgentInfluence', prov:role="http://example.com/illustrationist" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Association-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Association-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
agent(def:steve,[prov:type='prov:Person', prov:type='prov:Entity'])
agent(def:derek,[prov:type='prov:Person', prov:type='prov:Entity'])
@@ -15,4 +10,4 @@
wasAssociatedWith(def:illustrating,def:steve,-)
wasAssociatedWith(def:illustrating,def:steve,def:style-guide,[prov:role="http://example.com/stylist" %% xsd:string, rdfs:comment = "Steve helped Derek conform with the publisher's style guide."@en %% xsd:string])
wasAssociatedWith(def:illustrating,def:derek,-,[prov:role="http://example.com/illustrationist" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Attribution-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Attribution-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix -814366433 <http://dbpedia.org/resource/>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(-814366433:Frank_Lloyd_Wright,[prov:type='prov:Person'])
agent(def:western-Pennsylvania-Conservancy,[prov:type='prov:Organization'])
agent(-814366433:Edgar_J._Kaufmann,[prov:type='prov:Person'])
@@ -16,4 +11,4 @@
wasAttributedTo(-814366433:Fallingwater, def:western-Pennsylvania-Conservancy,[ex:hadRole = "http://example.com/conserver" %% xsd:anyURI])
wasAttributedTo(-814366433:Fallingwater, -814366433:Edgar_J._Kaufmann,[ex:hadRole = "http://example.com/owner" %% xsd:anyURI])
wasAttributedTo(-814366433:Fallingwater, -814366433:Frank_Lloyd_Wright,[ex:hadRole = "http://example.com/architect" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Bundle-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Bundle-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix 349493723 <http://www.example.com/>
prefix def <http://example.com/#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
prefix my <http://example.com/my#>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(349493723:example.ttl,[prov:type='prov:Bundle'])
entity(def:report1,[prov:type='my:Report', my:version = "1" %% xsd:string])
wasAttributedTo(349493723:example.ttl, def:bob)
wasAttributedTo(def:report1, def:bob)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Collection-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -31,4 +31,4 @@
specializationOf(page-by-composition, twc:wikipedia/us-supreme-court-by-composition)
wasGeneratedBy(page-by-composition, -, 2012-05-16T14:33)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Communication-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Communication-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:writing-celebrity-gossip,-,-)
activity(def:voicemail-interception,-,-)
wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception)
wasInformedBy(def:informing-the-journalist;def:writing-celebrity-gossip,def:voicemail-interception,[ex:mediaType = "email" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Delegation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Delegation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:policySale,-,-)
agent(def:insuranceAgent_Frank,[prov:type='prov:Person'])
wasAssociatedWith(def:policySale,def:insuranceAgent_Frank,-)
actedOnBehalfOf(def:insuranceAgent_Frank,def:insuranceCompany_A,-)
actedOnBehalfOf(def:insuranceAgent_Frank,def:insuranceCompany_A,def:policySale,[ex:rewardScheme = "commission" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Derivation-FAIL.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Derivation-FAIL.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:create_the_chart,2012-04-03T00:00:00Z,2012-04-03T00:00:10Z)
entity(def:bar_chart)
entity(def:bar_chart)
@@ -12,4 +7,4 @@
wasGeneratedBy(def:plot_the_chart;-,-,2012-04-03T00:00:01Z,[prov:type='prov:InstantaneousEvent'])
used(def:data_loading;-,-,2012-04-03T00:00:00Z)
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, def:create_the_chart, def:plot_the_chart, def:data_loading)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-EmptyCollection-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-EmptyCollection-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,7 +1,2 @@
document
-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/>
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-End-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-End-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:analyse_intermediate_result,2011-07-15T12:52:02Z,2011-07-16T01:52:02Z)
activity(def:experiment,-,-)
entity(def:inconsistentResult)
wasEndedBy(def:experiment,def:inconsistentResult,-,-)
wasEndedBy(def:experiment,def:inconsistentResult,def:analyse_intermediate_result,2011-07-16T01:52:02Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Entity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Entity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:derek)
entity(def:bar_chart,[dcterms:title = "Aggregated statistics from the crime file" %% xsd:string])
wasAttributedTo(def:bar_chart, def:derek)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-EntityInfluence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-EntityInfluence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:sortActivity,-,-)
entity(def:sortedData)
entity(def:rawData)
@@ -13,4 +8,4 @@
used(def:sortActivity,def:datasetA,-,[prov:type='prov:EntityInfluence', prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="org.openprovenance.prov.xml.AnyRef@5b4975d2[
ref={http://example.com/}inputToBeSorted
]" %% prov:unknownLiteral])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Generation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Generation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
prefix eg <http://example.com/vocab#>
activity(def:publishingActivity,-,-)
entity(def:bbcNews2012-04-03,[prov:type='eg:DailyNews', rdfs:comment = "The BBC news home page on 2012-04-03 contained a reference to a given news item, but the BBC news home page on the next day did not." %% xsd:string])
wasGeneratedBy(def:bbcNews2012-04-03,def:publishingActivity,2012-04-03T00:00:01Z,[prov:type='prov:InstantaneousEvent'])
wasInvalidatedBy(def:bbcNews2012-04-03,-,2012-04-03T23:59:59Z,[prov:type='prov:InstantaneousEvent'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Influence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Influence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:conductingSurgery_1,-,-,[my:wasConductedBy = "http://example.com/bob" %% xsd:anyURI])
agent(def:bob)
wasAssociatedWith(def:conductingSurgery_1,def:bob,-,[prov:type='prov:AgentInfluence', prov:type='prov:Influence', prov:role="http://example.com/ontology#surgeon" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:bbcNews2012-04-03,[prov:type='def:DailyNews', rdfs:comment = "The BBC news home page on 2012-04-03 contained a reference to a given news item, but the BBC news home page on the next day did not." %% xsd:string])
wasGeneratedBy(def:bbcNews2012-04-03,-,2012-04-03T00:00:01Z,[prov:type='prov:InstantaneousEvent'])
wasInvalidatedBy(def:bbcNews2012-04-03,-,2012-04-03T23:59:59Z,[prov:type='prov:InstantaneousEvent'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Invalidation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -18,4 +18,4 @@
activity(swissair_Flight_111_crash, 1998-09-02T01:31:00Z, -, [prov:location='dbpedia:Atlantic_ocean'])
used(swissair_Flight_111_crash, dbpedia:Swissair_Flight_111)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Location-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Location-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix sioc <http://rdfs.org/sioc/ns#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:publicationActivity1123,-,-)
entity(def:post9821,[prov:type='sioc:Post', prov:location="http://example.com/more-crime-happens-in-cities" %% xsd:anyURI])
wasGeneratedBy(def:post9821,def:publicationActivity1123,2011-07-16T01:52:02Z,[prov:location="http://dbpedia.org/resource/Madrid" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Organization-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Organization-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,9 +1,4 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:W3C,[prov:type='prov:Organization', foaf:name = "World Wide Web Consortium" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Person-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Person-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,9 +1,4 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix db <http://dbpedia.org/resource/>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(db:Pablo_Picasso,[prov:type='prov:Person', foaf:depiction = "http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Plan-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Plan-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:style-guide,[prov:type='prov:Plan', rdfs:comment = "Use blue graphs for positive spin, red for negative"@en %% xsd:string])
wasAssociatedWith(def:steve-checking-style-guide;def:illustrating,def:steve,def:style-guide,[rdfs:comment = "Steve followed the publisher's style guide"@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-PrimarySource-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-PrimarySource-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:donQuixote)
entity(def:myPost)
wasDerivedFrom(def:myPost, def:donQuixote,[prov:type='prov:PrimarySource', def:confidenceValue = "6" %% xsd:integer, rdfs:comment = "Not sure if Don Quixote was the original source, so asserting a confidence value of 6 out of 10." %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Quotation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Quotation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix 1268498941 <http://data.semanticweb.org/person/>
prefix 762852969 <http://purl.org/twc/page/>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(1268498941:luc-moreau,[prov:type='prov:Person'])
agent(1268498941:paul-groth,[prov:type='prov:Person'])
entity(762852969:thoughts-from-the-dagstuhl-workshop)
@@ -14,4 +9,4 @@
wasAttributedTo(762852969:thoughts-from-the-dagstuhl-workshop, 1268498941:paul-groth)
wasAttributedTo(def:dagstuhl-quote, 1268498941:luc-moreau)
wasDerivedFrom(def:dagstuhl-quote, 762852969:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation', ex:fromSection = "2" %% xsd:integer])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Revision-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Revision-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:edward,[prov:type='prov:Person'])
entity(def:draft2)
entity(def:draft1)
wasAttributedTo(def:draft2, def:edward)
wasAttributedTo(def:draft2, def:edward)
wasDerivedFrom(def:draft2, def:draft1,[prov:type='prov:Revision', ex:peerReviewed = "false" %% xsd:boolean])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Role-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Role-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,7 +1,5 @@
document
default <http://example.com/>
- prefix xsd <http://www.w3.org/2001/XMLSchema>
- prefix prim <http://openprovenance.org/primitives#>
activity(divideActivity,-,-)
@@ -12,4 +10,4 @@
wasGeneratedBy(result_112234, divideActivity,-)
used(divideActivity, variableA, -, [prov:role='dividend'])
used(divideActivity, variableB, -, [prov:role='divisor'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-SoftwareAgent-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-SoftwareAgent-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,9 +1,4 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:googlebot,[prov:type='prov:SoftwareAgent', rdfs:label = "Googlebot" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Start-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Start-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:consistency_checking,-,-)
activity(def:syntax_checking,2011-07-06T01:48:36Z,2011-07-06T02:12:36Z)
agent(def:syntax_checker,[prov:type='prov:SoftwareAgent'])
@@ -12,4 +7,4 @@
wasStartedBy(def:consistency_checking,def:updated_data_record,-,-)
wasAssociatedWith(def:syntax_checking,def:syntax_checker,-)
wasStartedBy(def:consistency_checking,def:updated_data_record,def:syntax_checking,2011-07-06T01:48:36Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-class-Usage-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-class-Usage-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:sortActivity,2011-07-16T01:52:02Z,-)
activity(def:sortActivity,2011-07-16T01:52:02Z,-)
entity(def:datasetB)
@@ -16,4 +11,4 @@
used(def:sortActivity,def:datasetA,-,[prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="org.openprovenance.prov.xml.AnyRef@4586793e[
ref={http://example.com/}inputToBeSorted
]" %% prov:unknownLiteral])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:national_newspaper_inc,[prov:type='prov:Organization', foaf:name = "National Newspaper, Inc." %% xsd:string])
agent(def:derek,[foaf:givenName = "Derek" %% xsd:string, foaf:mbox = "mailto:derek@example.org" %% xsd:anyURI])
actedOnBehalfOf(def:derek,def:national_newspaper_inc,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-activity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-activity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:bar_chart)
wasGeneratedBy(def:making-bar-chart;def:bar_chart,def:illustrating,-,[prov:type='prov:ActivityInfluence', rdfs:comment = "Ended up with bar chart as line chart looked ugly."@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-agent-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-agent-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix db <http://dbpedia.org/resource/>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:world_flight_1937,-,-,[rdfs:seeAlso = "http://en.wikipedia.org/wiki/Amelia_Earhart#1937_world_flight" %% xsd:anyURI])
agent(db:Amelia_Earhart,[prov:type='prov:Person'])
agent(db:Lockheed_Aircraft_Company,[prov:type='prov:Organization'])
@@ -16,4 +11,4 @@
wasAssociatedWith(def:world_flight_1937,db:Amelia_Earhart,-,[prov:role="http://example.com/pilot" %% xsd:string])
wasAssociatedWith(def:world_flight_1937,db:Purdue_University,-,[prov:role="http://example.com/financer" %% xsd:string])
wasAssociatedWith(def:world_flight_1937,db:Lockheed_Aircraft_Company,-,[prov:role="http://example.com/plane_builder" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-alternateOf-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-alternateOf-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
default <>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(node17d8sus61x2,-,2012-04-13T00:00:00-04:00)
activity(node17d8sus61x1,-,2012-04-12T00:00:00-04:00)
agent(def:bbc)
@@ -21,4 +16,4 @@
alternateOf(def:london_forecast_0413,def:london_forecast_0412)
specializationOf(def:london_forecast_0413,def:london_forecast)
wasAttributedTo(def:london_forecast, def:bbc)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-atLocation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-atLocation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix sioc <http://rdfs.org/sioc/ns#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:publicationActivity1123,-,-)
entity(def:post9821,[prov:type='sioc:Post', prov:location="http://example.com/more-crime-happens-in-cities" %% xsd:anyURI])
wasGeneratedBy(def:post9821,def:publicationActivity1123,2011-07-16T01:52:02Z,[prov:location="http://dbpedia.org/resource/Madrid" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-atTime-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-atTime-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,7 +1,2 @@
document
-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/>
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-endedAtTime-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-endedAtTime-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:geneSequencing,2012-04-25T01:30:00Z,2012-04-25T03:40:00Z)
agent(def:lab-technician-GH-32)
entity(def:drosophilaSample-84)
used(def:geneSequencing,def:drosophilaSample-84,-)
wasAssociatedWith(def:geneSequencing,def:lab-technician-GH-32,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-entity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-entity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:world-literature-homework-submission-32)
entity(def:donQuixote)
wasDerivedFrom(def:world-literature-homework-submission-32, def:donQuixote,[prov:type='prov:PrimarySource'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-generated-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-generated-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:proteinDigestion,-,-)
entity(def:peptideSample1)
wasGeneratedBy(def:peptideSample1,def:proteinDigestion,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-generatedAtTime-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-generatedAtTime-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,9 +1,4 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:widget-789532)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadActivity-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadActivity-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:make_bar_chart,-,-)
entity(def:bar_chart)
entity(def:aggregatedByRegions)
wasGeneratedBy(def:bar_chart,def:make_bar_chart,-)
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, def:make_bar_chart, -, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadGeneration-FAIL.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadGeneration-FAIL.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix ex <http://example.com/vocab#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrationActivity,2012-04-03T00:00:00Z,2012-04-03T00:00:25Z)
entity(def:bar_chart,[prov:type='ex:Chart'])
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, -, def:illustration, -)
wasGeneratedBy(def:illustration;-,def:illustrationActivity,2012-04-03T00:00:11Z,[prov:type='prov:InstantaneousEvent'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadMember-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -31,4 +31,4 @@
specializationOf(page-by-composition, twc:wikipedia/us-supreme-court-by-composition)
wasGeneratedBy(page-by-composition, -, 2012-05-16T14:33)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadPlan-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadPlan-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:style-guide,[prov:type='prov:Plan', rdfs:comment = "Use blue graphs for positive spin, red for negative"@en %% xsd:string])
wasAssociatedWith(def:illustrating,def:derek,-)
wasAssociatedWith(def:illustrating,def:steve,-)
wasAssociatedWith(def:illustrating,def:steve,def:style-guide,[prov:role="http://example.com/stylist" %% xsd:string, rdfs:comment = "Steve followed the style guide"@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
prefix frbr <http://purl.org/vocab/frbr/core#>
prefix def <http://example.com/>
-prefix prim <http://openprovenance.org/primitives#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix pc1 <http://www.ipaw.info/pc1/>
prefix 1949345547 <http://cultura.linkeddata.es/BNE/resource/C1001/>
-prefix prov <http://www.w3.org/ns/prov#>
prefix -1982045297 <http://www.gutenberg.org/ebooks/>
agent(def:cervantes,[prov:type='prov:Person', foaf:name = "Miguel de Cervantes" %% xsd:string])
agent(def:ormsby,[prov:type='prov:Person', foaf:name = "John Ormsby" %% xsd:string])
@@ -15,4 +10,4 @@
wasAttributedTo(1949345547:XX2197892, def:cervantes)
wasAttributedTo(-1982045297:996, def:ormsby)
wasDerivedFrom(-1982045297:996, 1949345547:XX2197892,[prov:type='prov:PrimarySource'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadRole-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadRole-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:divideActivity,-,-)
entity(def:variableB)
entity(def:variableA)
@@ -14,4 +9,4 @@
used(def:divideActivity,def:variableB,-,[prov:role="http://example.com/divisor" %% xsd:string, prov:role="org.openprovenance.prov.xml.AnyRef@2845b098[
ref={http://example.com/}divisor
]" %% prov:unknownLiteral])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadUsage-FAIL.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadUsage-FAIL.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
wasDerivedFrom(digestedProteinSample1, proteinSample, -)
wasDerivedFrom(digestedProteinSample1, -, -, u1)
used(u1; -, Trypsin, -,[prov:role='treatmentEnzyme'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-hadUsage-FAIL.ttl Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hadUsage-FAIL.ttl Mon Dec 17 16:38:35 2012 +0000
@@ -13,7 +13,7 @@
prov:entity :Trypsin;
prov:hadRole :treatmentEnzyme;
];
+ prov:entity :proteinSample;
];
- prov:entity :proteinSample;
.
:proteinSample a prov:Entity .
--- a/testcases/provo/prov-o-property-hasAnchor-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-hasAnchor-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,7 +1,2 @@
document
-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/>
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-influenced-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-influenced-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix tr <http://example.com/tech-report/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
prefix w3 <http://example.com/w3/>
agent(w3:Consortium)
wasInfluencedBy(tr:WD-prov-dm-20111215, w3:Consortium)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-influencer-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-influencer-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:aggregationActivity,-,-)
activity(def:illustrationActivity,-,-)
agent(def:derek)
@@ -12,4 +7,4 @@
wasInformedBy(def:illustration_communication;def:illustrationActivity,def:aggregationActivity)
used(def:illustration_usage;def:illustrationActivity,def:aggregatedByRegions,-)
wasAssociatedWith(def:illustration_association;def:illustrationActivity,def:derek,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-invalidated-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-invalidated-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,16 +1,11 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix db <http://dbpedia.org/resource/>
prefix ex <http://example.com/ontology#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:swissair_Flight_111_crash,-,-)
agent(db:Pablo_Picasso,[foaf:depiction = "http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg" %% xsd:anyURI])
entity(def:the-Painter,[prov:type='ex:Painting', rdfs:label = "Le Peintre"@fr %% xsd:string, rdfs:label = "The Painter"@en %% xsd:string])
wasAttributedTo(def:the-Painter, db:Pablo_Picasso)
wasInvalidatedBy(def:the-Painter,def:swissair_Flight_111_crash,-)
used(def:swissair_Flight_111_crash,db:Swissair_Flight_111,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix -814366433 <http://dbpedia.org/resource/>
prefix ex <http://example.com/ontology#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:the-Painter,[prov:type='ex:Painting', rdfs:label = "Le Peintre"@fr %% xsd:string, rdfs:label = "The Painter"@en %% xsd:string])
wasAttributedTo(def:the-Painter, -814366433:Pablo_Picasso)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
agent(def:steve,[prov:type='prov:Person'])
agent(def:derek,[prov:type='prov:Person'])
@@ -14,4 +9,4 @@
wasAssociatedWith(def:illustrating,def:derek,-,[prov:role="http://example.com/stylist" %% xsd:string, rdfs:comment = "But Derek also did some styling of his own."@en %% xsd:string])
wasAssociatedWith(def:illustrating,def:derek,-,[prov:role="http://example.com/illustrationist" %% xsd:string, rdfs:comment = "Derek made the illustration"@en %% xsd:string])
wasAssociatedWith(def:illustrating,def:steve,def:style-guide,[prov:role="http://example.com/stylist" %% xsd:string, rdfs:comment = "Steve helped Derek conform with the publisher's style guide."@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:civil_action_group)
entity(def:nationalRegionsList)
entity(def:nationalRegionsList)
wasAttributedTo(def:nationalRegionsList, def:civil_action_group)
wasAttributedTo(def:nationalRegionsList, def:civil_action_group)
wasAttributedTo(def:nationalRegionsList, def:civil_action_group,[ex:hadRole = "http://example.com/owner" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:writing-celebrity-gossip,-,-)
activity(def:voicemail-interception,-,-)
agent(def:journalist)
agent(def:private-investigator)
wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception)
wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception,[rdfs:comment = "The journalist was informed by the private investigator, but we don't know how or what he was told."@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:control-city-traffic,-,-)
activity(def:driving-during-the-year,2011-07-16T01:52:02Z,2012-07-16T01:52:02Z)
activity(def:traffic-stop,-,-)
@@ -20,4 +15,4 @@
wasAssociatedWith(def:traffic-stop,def:traffic-officer-34,-,[prov:role="http://example.com/enforcer" %% xsd:string])
actedOnBehalfOf(def:chauffeur,def:celebrity-in-car,def:driving-during-the-year)
wasAssociatedWith(def:traffic-stop,def:chauffeur,-,[prov:role="http://example.com/violator" %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:chart_creation,2011-07-16T01:52:02Z,2011-07-16T03:00:02Z)
entity(def:bar_chart)
wasAssociatedWith(def:chart_creation,def:derek,-)
wasGeneratedBy(def:chat_plotting;-,-,2011-07-16T03:00:02Z)
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions, def:chart_creation, def:chat_plotting, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedEnd-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedEnd-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:analyse_intermediate_result,2011-07-15T12:52:02Z,2011-07-16T01:52:02Z)
activity(def:experiment,-,-)
entity(def:inconsistentResult)
wasEndedBy(def:experiment,def:inconsistentResult,-,-)
wasEndedBy(def:experiment,def:inconsistentResult,def:analyse_intermediate_result,2011-07-16T01:52:02Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:bar_chart)
wasGeneratedBy(def:bar_chart,def:illustrating,-,[rdfs:comment = "Ended up with bar chart as line chart looked ugly."@en %% xsd:string])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:conductingSurgery_1,-,-,[my:wasConductedBy = "http://example.com/bob" %% xsd:anyURI])
agent(def:bob)
wasInfluencedBy(def:conductingSurgery_1, def:bob)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,14 +1,9 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix -814366433 <http://dbpedia.org/resource/>
prefix ex <http://example.com/ontology#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:swissair_Flight_111_crash,-,-)
entity(def:the-Painter,[prov:type='ex:Painting', rdfs:label = "Le Peintre"@fr %% xsd:string, rdfs:label = "The Painter"@en %% xsd:string])
wasAttributedTo(def:the-Painter, -814366433:Pablo_Picasso)
wasInvalidatedBy(def:the-Painter,def:swissair_Flight_111_crash,1998-09-02T01:31:00Z,[prov:location="http://purl.org/twc/location/Swissair-Flight-111-crash" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -6,4 +6,4 @@
entity(sensorReading20120510)
wasDerivedFrom(temperatureDisplay, sensorReading20120510, [prov:type='prov:PrimarySource', precisionLoss="true" %% xsd:boolean, rdfs:comment="The displayed temperature does not show the full precision\navailable in the reading."])
wasGeneratedBy(sensorReading20120510, temperatureSensor, -)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix 1268498941 <http://data.semanticweb.org/person/>
prefix 762852969 <http://purl.org/twc/page/>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(1268498941:luc-moreau,[prov:type='prov:Person'])
agent(1268498941:paul-groth,[prov:type='prov:Person'])
entity(def:bl-dagstuhl,[prov:value="During the workshop, it became clear to me that the consensus
@@ -19,4 +14,4 @@
entity(762852969:thoughts-from-the-dagstuhl-workshop)
wasAttributedTo(762852969:thoughts-from-the-dagstuhl-workshop, 1268498941:paul-groth)
wasDerivedFrom(def:bl-dagstuhl, 762852969:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation', my:fromSection = "1" %% xsd:integer])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
agent(def:eddie,[prov:type='prov:Person', prov:type='prov:Entity'])
entity(def:draft2)
entity(def:draft1)
entity(def:eddie,[prov:type='prov:Person', prov:type='prov:Agent'])
wasDerivedFrom(def:draft2, def:draft1,[prov:type='prov:Revision'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedStart-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedStart-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:consistency_checking,-,-)
activity(def:syntax_checking,2011-07-06T01:48:36Z,2011-07-06T02:12:36Z)
agent(def:syntax_checker,[prov:type='prov:SoftwareAgent'])
@@ -12,4 +7,4 @@
wasStartedBy(def:consistency_checking,def:updated_data_record,-,-)
wasAssociatedWith(def:syntax_checking,def:syntax_checker,-)
wasStartedBy(def:consistency_checking,def:updated_data_record,def:syntax_checking,2011-07-06T01:48:36Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-qualifiedUsage-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-qualifiedUsage-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:newsPublication,-,-)
agent(def:reuters)
entity(def:tsunami_image)
used(def:newsPublication,def:tsunami_image,-,[ex:hasCopyrightPermission = "http://example.com/licensedUse" %% xsd:anyURI, ex:hasOwner = "http://example.com/reuters" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-removed-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-removed-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,7 +1,2 @@
document
-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/>
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-specializationOf-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-specializationOf-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
default <>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(node17d8su6j2x2,-,2012-04-13T00:00:00-04:00)
activity(node17d8su6j2x1,-,2012-04-12T00:00:00-04:00)
entity(def:london_forecast_0412)
@@ -18,4 +13,4 @@
wasAttributedTo(def:london_forecast_0413, def:bbc)
wasGeneratedBy(def:london_forecast_0413,node17d8su6j2x2,-)
wasAttributedTo(def:london_forecast, def:bbc)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-startedAtTime-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-startedAtTime-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:geneSequencing,2012-04-25T01:30:00Z,2012-04-25T03:40:00Z)
agent(def:lab-technician-GH-32)
entity(def:drosophilaSample-84)
used(def:geneSequencing,def:drosophilaSample-84,-)
wasAssociatedWith(def:geneSequencing,def:lab-technician-GH-32,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-used-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-used-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:sortActivity,-,-)
entity(def:datasetB)
entity(def:datasetA)
used(def:sortActivity,def:datasetA,-)
wasGeneratedBy(def:datasetB,def:sortActivity,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
agent(def:derek,[prov:type='prov:Person', prov:type='prov:Entity'])
entity(def:derek,[prov:type='prov:Person', prov:type='prov:Agent'])
wasAssociatedWith(def:illustrating,def:derek,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasAttributedTo-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasAttributedTo-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:geneSequencing,2012-04-25T01:30:00Z,2012-04-25T03:40:00Z)
agent(def:lab-technician-GH-32)
agent(def:lab-technician-FE-56)
@@ -12,4 +7,4 @@
used(def:geneSequencing,def:drosophilaSample-84,-)
wasAssociatedWith(def:geneSequencing,def:lab-technician-GH-32,-)
wasAttributedTo(def:drosophilaSample-84, def:lab-technician-FE-56)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix ex <http://example.com/vocab#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:bar_chart,[prov:type='ex:Barchart'])
entity(def:aggregatedByRegions,[prov:type='ex:Dataset'])
wasDerivedFrom(def:bar_chart, def:aggregatedByRegions)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasEndedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasEndedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,12 +1,7 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:experiment,-,-)
entity(def:inconsistentResult)
wasEndedBy(def:experiment,def:inconsistentResult,-,-)
wasEndedBy(def:experiment,def:inconsistentResult,-,2011-07-16T01:52:02Z,[prov:location="http://example.com/scienceLab_003" %% xsd:anyURI])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:illustrating,-,-)
entity(def:bar_chart)
wasGeneratedBy(def:bar_chart,def:illustrating,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,10 +1,5 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:aggregationActivity,-,-)
activity(def:illustrationActivity,-,-)
activity(def:illustrationActivity,-,-)
@@ -22,4 +17,4 @@
used(def:illustrationActivity,def:aggregatedByRegions,-)
wasAssociatedWith(def:illustrationActivity,def:derek,-)
wasInformedBy(def:illustrationActivity,def:aggregationActivity)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasInformedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasInformedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:writing-celebrity-gossip,-,-)
activity(def:voicemail-interception,-,-)
wasInformedBy(def:writing-celebrity-gossip,def:voicemail-interception)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,15 +1,10 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
prefix dbp <http://dbpedia.org/resource/>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:Swissair_Flight_111_crash,-,-)
agent(dbp:Pablo_Picasso,[foaf:depiction = "http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg" %% xsd:anyURI])
entity(def:the-Painter,[prov:type='def:Painting', rdfs:label = "Le Peintre"@fr %% xsd:string, rdfs:label = "The Painter"@en %% xsd:string])
wasAttributedTo(def:the-Painter, dbp:Pablo_Picasso)
wasInvalidatedBy(def:the-Painter,def:Swissair_Flight_111_crash,-)
used(def:Swissair_Flight_111_crash,dbp:Swissair_Flight_111,-)
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix 762852969 <http://purl.org/twc/page/>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
entity(def:bl-dagstuhl,[prov:value="During the workshop, it became clear to me that the consensus
based models (which are often graphical in nature) can not only be
formalized but also be directly connected to these database focused
@@ -15,4 +10,4 @@
mathematical properties of this interconnection." %% xsd:string])
entity(762852969:thoughts-from-the-dagstuhl-workshop)
wasDerivedFrom(def:bl-dagstuhl, 762852969:thoughts-from-the-dagstuhl-workshop,[prov:type='prov:Quotation'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasRevisionOf-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasRevisionOf-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,13 +1,8 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix sioc <http://rdfs.org/sioc/ns#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
prefix rdfs <http://www.w3.org/2000/01/rdf-schema#>
entity(def:post9821v1,[prov:type='sioc:Post', rdfs:comment = ":post9821v1 is a post, which is a revision of the original post :post9821." %% xsd:string])
wasDerivedFrom(def:post9821v1, def:post9821,[prov:type='prov:Revision'])
-endDocument
\ No newline at end of file
+endDocument
--- a/testcases/provo/prov-o-property-wasStartedBy-PASS.provn Mon Dec 17 15:07:19 2012 +0000
+++ b/testcases/provo/prov-o-property-wasStartedBy-PASS.provn Mon Dec 17 16:38:35 2012 +0000
@@ -1,11 +1,6 @@
document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-prefix prov <http://www.w3.org/ns/prov#>
prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
activity(def:experiment,-,-)
agent(def:researcher)
wasStartedBy(def:experiment,def:researcher,-,-)
-endDocument
\ No newline at end of file
+endDocument