Added constraints/type-collection-FAIL-c56.ttl
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Wed, 05 Dec 2012 11:26:08 +0000
changeset 5285 faa59aa4ce49
parent 5284 6b1bb65fee74
child 5287 f1b7eb314c5e
Added constraints/type-collection-FAIL-c56.ttl
testcases/constraints/type-collection-FAIL-c56.provn
testcases/constraints/type-collection-FAIL-c56.ttl
--- a/testcases/constraints/type-collection-FAIL-c56.provn	Wed Dec 05 08:24:53 2012 +0000
+++ b/testcases/constraints/type-collection-FAIL-c56.provn	Wed Dec 05 11:26:08 2012 +0000
@@ -1,11 +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,[prov:type='prov:EmptyCollection'])
 hadMember(ex:e2,ex:e1)
+
 endDocument
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/type-collection-FAIL-c56.ttl	Wed Dec 05 11:26:08 2012 +0000
@@ -0,0 +1,11 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
[email protected] ex: <http://example.org/> .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+	a prov:EmptyCollection;
+
+	prov:hadMember ex:e1;
+.