--- a/model/glossary.html Mon Apr 02 11:44:57 2012 +0100
+++ b/model/glossary.html Mon Apr 02 12:05:55 2012 +0100
@@ -164,8 +164,8 @@
</span>
<span class="glossary" id="glossary-specialization">
-An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they are both interpreted as some common thing
-but the former is a more constrained entity than the latter. The common thing and the interpretation do not need to be identified.
+An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they refer to some common thing
+but the former is a more constrained entity than the latter. The common thing do not need to be identified.
</span>
<span class="glossary" id="glossary-qualifiedName">
--- a/model/glossary.js Mon Apr 02 11:44:57 2012 +0100
+++ b/model/glossary.js Mon Apr 02 12:05:55 2012 +0100
@@ -3,7 +3,7 @@
// with <script src="glossary.js" class="remove"></script>
//Insert glossary definitions with the following
// <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/92848adfb4f0/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/6f7293364b17/model/glossary.html';
glossary_string=
' ' +
'<html> ' +
@@ -50,7 +50,7 @@
'</span> ' +
' ' +
'<span class="glossary" id="glossary-account"> ' +
-'An <dfn id="concept-account">account</dfn> is an entity that contains a bundle of provenance assertions. ' +
+'An <dfn id="concept-account">account</dfn> is an entity that contains a bundle of provenance descriptions. ' +
'</span> ' +
' ' +
'<span class="glossary" id="glossary-provenance"> ' +
@@ -171,8 +171,8 @@
'</span> ' +
' ' +
'<span class="glossary" id="glossary-specialization"> ' +
-'An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they are both interpreted as some common thing ' +
-'but the former is a more constrained entity than the latter. The common thing and the interpretation do not need to be identified. ' +
+'An entity is a <dfn id="concept-specialization">specialization</dfn> of another if they refer to some common thing ' +
+'but the former is a more constrained entity than the latter. The common thing do not need to be identified. ' +
'</span> ' +
' ' +
'<span class="glossary" id="glossary-qualifiedName"> ' +
--- a/model/prov-dm-constraints.html Mon Apr 02 11:44:57 2012 +0100
+++ b/model/prov-dm-constraints.html Mon Apr 02 12:05:55 2012 +0100
@@ -1025,7 +1025,7 @@
</div>
-<p>Specialization is <em>not transitive</em>. Indeed if <span class="name">specializationOf(e1,e2)</span> holds, then there is some common thing, say <span class="name">e1-2</span> they both are both interpreted as, under some interpretation. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">e2-3</span> they are both interpreted as, under some intepretation. It does not follow that <span class="name">e1</span> and <span class="name">e3</span> are interpreted as a same thing.</p>
+<p>Specialization is <em>transitive</em>. Indeed if <span class="name">specializationOf(e1,e2)</span> holds, then there is some common thing, say <span class="name">T1-2</span> they both refer to. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">T2-3</span> they both refer to. The Things <span class="name">T1-2</span> and <span class="name">T2-3</span> are the same since <span class="name">e2</span> refers to only one thing. </p>
<div class="anexample" id="anexample-specialization-not-transitive">