Added a trig file for a test case with bundle constructs
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Fri, 07 Dec 2012 14:16:58 +0000
changeset 5314 15fb26f712d9
parent 5313 a53f63bbc275
child 5315 509085996df2
Added a trig file for a test case with bundle constructs
testcases/all-tests.txt
testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig
testcases/process.html
testcases/rdf-tests.txt
--- a/testcases/all-tests.txt	Fri Dec 07 00:36:04 2012 +0000
+++ b/testcases/all-tests.txt	Fri Dec 07 14:16:58 2012 +0000
@@ -187,7 +187,7 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.ttl
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig	Fri Dec 07 14:16:58 2012 +0000
@@ -0,0 +1,15 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] ex: <http://example.org/> .
+
+{ ex:e2 a prov:Entity . 
+  ex:bundle1 a prov:Bundle .
+  ex:bundle2 a prov:Bundle .
+}
+
+ex:bundle1 
+{ ex:e1 a prov:Activity , prov:Entity . }
+
+ex:bundle2 
+{ ex:e1 a prov:EmptyCollection .
+  ex:e1 prov:hadMember ex:e2 .
+}
\ No newline at end of file
--- a/testcases/process.html	Fri Dec 07 00:36:04 2012 +0000
+++ b/testcases/process.html	Fri Dec 07 14:16:58 2012 +0000
@@ -1003,7 +1003,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-bundle-f1-FAIL-c55-c56.ttl" title="unification-bundle-f1-FAIL-c55-c56.ttl">RDF</a>
+      <a href="constraints/unification-bundle-f1-FAIL-c55-c56.trig" title="unification-bundle-f1-FAIL-c55-c56.trig">RDF</a>
       <a href="constraints/unification-bundle-f1-FAIL-c55-c56.provn" title="unification-bundle-f1-FAIL-c55-c56.provn">PROV-N</a>
       <a href="constraints/unification-bundle-f1-FAIL-c55-c56.provx" title="unification-bundle-f1-FAIL-c55-c56.provx">XML</a>
     </td>
--- a/testcases/rdf-tests.txt	Fri Dec 07 00:36:04 2012 +0000
+++ b/testcases/rdf-tests.txt	Fri Dec 07 14:16:58 2012 +0000
@@ -61,7 +61,7 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.ttl
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.ttl