fixed provn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 09 Jan 2013 12:58:20 +0000
changeset 5390 bb7a0d51a1eb
parent 5389 ade4e66162ec
child 5391 7eb359562f05
fixed provn
testcases/constraints/unification-membership-f1-FAIL-DM.provn
testcases/provo/prov-o-class-EntityInfluence-PASS.provn
testcases/provo/prov-o-class-Usage-PASS.provn
--- a/testcases/constraints/unification-membership-f1-FAIL-DM.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/constraints/unification-membership-f1-FAIL-DM.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -1,10 +1,10 @@
-document
-
-prefix ex <http://example.org/>
-
-entity(ex:e1)
-entity(ex:e2)
-
-hadMember(ex:e2, -)
-
+document
+
+prefix ex <http://example.org/>
+
+entity(ex:e1)
+entity(ex:e2)
+
+hadMember(ex:e2, -)
+
 endDocument
--- a/testcases/provo/prov-o-class-EntityInfluence-PASS.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/provo/prov-o-class-EntityInfluence-PASS.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -5,7 +5,5 @@
 entity(def:rawData)
 used(def:sortActivity,def:rawData,-)
 wasGeneratedBy(def:sortedData,def:sortActivity,-)
-used(def:sortActivity,def:datasetA,-,[prov:type='prov:EntityInfluence', prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="[email protected][
-  ref={http://example.com/}inputToBeSorted
-]" %% prov:unknownLiteral])
+used(def:sortActivity,def:datasetA,-,[prov:role='def:inputToBeSorted'])
 endDocument
--- a/testcases/provo/prov-o-class-Usage-PASS.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/provo/prov-o-class-Usage-PASS.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -8,7 +8,5 @@
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
-used(def:sortActivity,def:datasetA,-,[prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="[email protected][
-  ref={http://example.com/}inputToBeSorted
-]" %% prov:unknownLiteral])
+used(def:sortActivity,def:datasetA,-,[prov:role='def:inputToBeSorted'])
 endDocument