--- a/testcases/constraints/ordering-specialization1-PASS-c45.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/ordering-specialization1-PASS-c45.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/ordering-specialization2-PASS-c46.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/ordering-specialization2-PASS-c46.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/ordering-specialization3-PASS-c42-c45.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/ordering-specialization3-PASS-c42-c45.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/unification-specialization-f1-FAIL-DM.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/unification-specialization-f1-FAIL-DM.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
</prov:specializationOf>
</prov:document>
--- a/testcases/constraints/unification-specialization-f3-FAIL-c52.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/unification-specialization-f3-FAIL-c52.provx Fri Dec 21 09:07:50 2012 +0000
@@ -4,7 +4,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e1"/> <!-- reflexive -->
+ <prov:specificEntity prov:ref="ex:e1"/> <!-- reflexive -->
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/unification-specialization-f4-FAIL-c52.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/unification-specialization-f4-FAIL-c52.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,11 +6,11 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e1"/>
+ <prov:specificEntity prov:ref="ex:e1"/>
<prov:generalEntity prov:ref="ex:e2"/>
</prov:specializationOf>
--- a/testcases/constraints/unification-specialization-s1-PASS.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/unification-specialization-s1-PASS.provx Fri Dec 21 09:07:50 2012 +0000
@@ -6,7 +6,7 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
--- a/testcases/constraints/unification-specialization-s2-PASS.provx Tue Dec 18 16:35:25 2012 +0100
+++ b/testcases/constraints/unification-specialization-s2-PASS.provx Fri Dec 21 09:07:50 2012 +0000
@@ -8,11 +8,11 @@
</prov:entity>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e2"/>
+ <prov:specificEntity prov:ref="ex:e2"/>
<prov:generalEntity prov:ref="ex:e1"/>
</prov:specializationOf>
<prov:specializationOf>
- <prov:specializedEntity prov:ref="ex:e3"/>
+ <prov:specificEntity prov:ref="ex:e3"/>
<prov:generalEntity prov:ref="ex:e2"/>
</prov:specializationOf>