Added constraints/unification-influence-f1-FAIL-DM.ttl and constraints/unification-influence-f2-FAIL-DM.ttl
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Wed, 05 Dec 2012 15:25:25 +0000
changeset 5296 d6fac342658e
parent 5295 d86a0e98d8c3
child 5297 4ae78a96b64a
Added constraints/unification-influence-f1-FAIL-DM.ttl and constraints/unification-influence-f2-FAIL-DM.ttl
testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn
testcases/constraints/unification-influence-f1-FAIL-DM.provn
testcases/constraints/unification-influence-f1-FAIL-DM.ttl
testcases/constraints/unification-influence-f2-FAIL-DM.provn
testcases/constraints/unification-influence-f2-FAIL-DM.ttl
--- a/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn	Wed Dec 05 14:51:44 2012 +0000
+++ b/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn	Wed Dec 05 15:25:25 2012 +0000
@@ -1,17 +1,16 @@
 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:e2)
+
 bundle ex:bundle1
-activity(ex:e1,-,-)
-entity(ex:e1)
+  activity(ex:e1,-,-)
+  entity(ex:e1)
 endBundle
+
 bundle ex:bundle2
-entity(ex:e1,[prov:type='prov:EmptyCollection'])
-hadMember(ex:e1,ex:e2)
+  entity(ex:e1,[prov:type='prov:EmptyCollection'])
+  hadMember(ex:e1,ex:e2)
 endBundle
+
 endDocument
\ No newline at end of file
--- a/testcases/constraints/unification-influence-f1-FAIL-DM.provn	Wed Dec 05 14:51:44 2012 +0000
+++ b/testcases/constraints/unification-influence-f1-FAIL-DM.provn	Wed Dec 05 15:25:25 2012 +0000
@@ -1,9 +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/>
-wasInfluencedBy(ex:infl1;ex:x1, -)
+  prefix ex <http://example.org/>
+  
+  wasInfluencedBy(ex:infl1; ex:x1, -)
 endDocument
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/unification-influence-f1-FAIL-DM.ttl	Wed Dec 05 15:25:25 2012 +0000
@@ -0,0 +1,5 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] ex:   <http://example.com/> .
+
+
+ex:x1 prov:qualifiedInfluence ex:infl1.
\ No newline at end of file
--- a/testcases/constraints/unification-influence-f2-FAIL-DM.provn	Wed Dec 05 14:51:44 2012 +0000
+++ b/testcases/constraints/unification-influence-f2-FAIL-DM.provn	Wed Dec 05 15:25:25 2012 +0000
@@ -1,9 +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/>
-wasInfluencedBy(ex:infl1;-, ex:x1)
+  prefix ex <http://example.org/>
+
+  wasInfluencedBy(ex:infl1;-, ex:x1)
 endDocument
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/unification-influence-f2-FAIL-DM.ttl	Wed Dec 05 15:25:25 2012 +0000
@@ -0,0 +1,8 @@
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] ex:   <http://example.com/> .
+
+
+ex:infl1
+	a prov:Influence;
+	prov:influencer ex:x1
+.
\ No newline at end of file