Added constraints/type-f4-FAIL-c53.ttl
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Wed, 05 Dec 2012 13:40:55 +0000
changeset 5290 420fcefa4f23
parent 5289 c66990c34df8
child 5292 e05d8d8cea5c
Added constraints/type-f4-FAIL-c53.ttl
testcases/constraints/type-f4-FAIL-c53.provn
testcases/constraints/type-f4-FAIL-c53.ttl
--- a/testcases/constraints/type-f4-FAIL-c53.provn	Wed Dec 05 12:55:25 2012 +0000
+++ b/testcases/constraints/type-f4-FAIL-c53.provn	Wed Dec 05 13:40:55 2012 +0000
@@ -1,10 +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/>
+
 wasGeneratedBy(ex:gen;ex:e3,ex:a4,-)
 used(ex:gen;ex:a4,ex:e5,-)
+
 endDocument
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/type-f4-FAIL-c53.ttl	Wed Dec 05 13:40:55 2012 +0000
@@ -0,0 +1,13 @@
[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:gen a prov:Generation ;
+	prov:entity ex:e3 .
+
+ex:a4 prov:qualifiedGeneration ex:gen .
+
+ex:gen a prov:Usage ;
+	prov:entity ex:ex5 .
+
+ex:a4 prov:qualifiedUsage ex:gen .