--- a/model/glossary.html Sun Apr 01 15:51:51 2012 -0600
+++ b/model/glossary.html Mon Apr 02 07:50:40 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 both refer to some common thing
-but the former is a more constrained entity than the latter. The common thing does not need to be identified.
+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.
</span>
<span class="glossary" id="glossary-qualifiedName">
--- a/model/glossary.js Sun Apr 01 15:51:51 2012 -0600
+++ b/model/glossary.js Mon Apr 02 07:50:40 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/ba195f6fa1bb/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/92848adfb4f0/model/glossary.html';
glossary_string=
' ' +
'<html> ' +
@@ -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 both refer to some common thing ' +
-'but the former is a more constrained entity than the latter. The common thing does not need to be identified. ' +
+'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. ' +
'</span> ' +
' ' +
'<span class="glossary" id="glossary-qualifiedName"> ' +
--- a/model/prov-dm-constraints.html Sun Apr 01 15:51:51 2012 -0600
+++ b/model/prov-dm-constraints.html Mon Apr 02 07:50:40 2012 +0100
@@ -1022,6 +1022,7 @@
<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 refer to. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">e2-3</span> they both refer to. It does not follow there is a common thing both <span class="name">e1</span> and <span class="name">e3</span> refer to.</p>
<div class="anexample" id="anexample-specialization-not-transitive">
+
???
</div>
@@ -1059,7 +1060,26 @@
that both <span class="name">e1</span> and <span class="name">e3</span> specialize.
</p>
-<div class="anexample" id="anexample-alternate-not-transitive">
+
+<div class="anexample" id="anexample-alternate-not-transitive1">
+<p>At 6pm, the customer in a chair is a woman in a red dress, who happens to be Alice. After she leaves, another customer arrives at 7pm, a man with glasses, who happens to be Bob. Transitivity does not hold since the <span class="name">womanInRedDress</span> is not alternate of <span class="name">customerInChairAt7pm</span>.
+<pre>
+alternate(womanInRedDress,customerInChairAt6pm)
+specialization(customerInChairAt6pm,Alice)
+specialization(womanInRedDress,Alice)
+
+alternate(manWithGlasses,customerInChairAt7pm)
+specialization(customerInChairAt7pm,Bob)
+specialization(manWithGlasses,Bob)
+
+alternate(customerInChairAt6pm, customerInChairAt7pm)
+specialization(customerInChairAt6pm, customerInChair)
+specialization(customerInChairAt7pm, customerInChair)
+</pre>
+</div>
+
+
+<div class="anexample" id="anexample-alternate-not-transitive2">
<p>
"Bob's blue car" is an alternate of "Bob's red car" (both specialization of "Bob's car").
"Bob's red car" is an alternate of "Alice's red car" (both specialization of the "red car in the garage").