fixed provn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 09 Jan 2013 12:55:48 +0000
changeset 5389 ade4e66162ec
parent 5388 cf38a78f7e60
child 5390 bb7a0d51a1eb
fixed provn
testcases/provo/prov-o-property-hadRole-PASS.provn
--- a/testcases/provo/prov-o-property-hadRole-PASS.provn	Wed Jan 09 12:50:30 2013 +0000
+++ b/testcases/provo/prov-o-property-hadRole-PASS.provn	Wed Jan 09 12:55:48 2013 +0000
@@ -3,10 +3,6 @@
 activity(def:divideActivity,-,-)
 entity(def:variableB)
 entity(def:variableA)
-used(def:divideActivity,def:variableA,-,[prov:role="http://example.com/dividend" %% xsd:string, prov:role="[email protected][
-  ref={http://example.com/}dividend
-]" %% prov:unknownLiteral])
-used(def:divideActivity,def:variableB,-,[prov:role="http://example.com/divisor" %% xsd:string, prov:role="[email protected][
-  ref={http://example.com/}divisor
-]" %% prov:unknownLiteral])
+used(def:divideActivity,def:variableA,-,[prov:role='def:dividend'])
+used(def:divideActivity,def:variableB,-,[prov:role='def:divisor'])
 endDocument