--- a/model/ProvenanceModel.html Thu Dec 15 13:00:38 2011 +0000
+++ b/model/ProvenanceModel.html Thu Dec 15 14:54:07 2011 +0000
@@ -1971,8 +1971,8 @@
In this case it may be desirable to assert that these two entity records indeed provide a different characterization of the same entity. Relation
<span class="name">ViewOf(e2,e1)</span>, where <span class="name">e1</span>, <span class="name">e2</span> are the two entity records involved, is introduced to convey this meaning. </br>
-As we know from [entity record], each of the two entity records involved in the relation is valid within a certain time interval. The relation <span class="name">ViewOf(e2,e1)</span> itself is only meaningful if those two intervals overlap, and then only for the extent of such overlap. If the entity records are valid in disjoint intervals, the <span class="name">ViewOf</span> assertion is meaningless by definition.<br/>
-Note that it is not necessary to assume that the validity interval of <span class="name">e1</span> be <em>contained</em> within the validity interval of <span class="name">e1</span>, which is a stronger requirement. Indeed, in the example given above one would like to assert <span class="name">ViewOf</span> in the more common case where the two intervals overlap, but there is no strict containment.<p/>
+As we know from [entity record], each of the two entity records involved in the relation is valid within a certain events interval. The relation <span class="name">ViewOf(e2,e1)</span> itself is only meaningful if those two intervals overlap, and then only for the extent of such overlap. If the entity records are valid in disjoint intervals, the <span class="name">ViewOf</span> assertion is meaningless by definition.<br/>
+Note that, as a particular case, the validity interval of <span class="name">e1</span> may be <em>contained</em> within the validity interval of <span class="name">e1</span>.<p/>
With these assumptions, the <span class="name">ViewOf</span> relation enjoys two properties:
@@ -1990,13 +1990,18 @@
<img src="viewOf.png" alt="illustration viewOf"/>
</div>
-<div class="note">this second part is optional and still subject to discussion</div>
+<p>
+An entity record identifier can optionally be accompanied by an account identifier. When this is the case, it becomes possible to use the <span class="name">ViewOf</span> relation to link two entity record identifiers that are appear in different accounts. (In particular, the entity record identifiers in two different account are allowed to be the same.). When account identifiers are not available, then the linking of entity records through <span class="name">ViewOf</span> can only take place within the scope of a single account.
+</p>
+
+
+<div class="note">This is a proposal to add a further relation strictViewOf, which however still subject to discussion. <p/>
It may be desirable to provide a stronger connotation of the notion of "different characterization", namely to state that an entity record <span class="name">e1</span> is <em>more constrained</em>, or provides a <em>more specific</em> characterization of a entity, relative to another entity record <span class="name">e2</span>. For example, one would like to assert that the entity record that describes "Bob, the holder of facebook account ABC" refers to the same entity as the entity record "Bob, the person", but offers a more specific characterization of such entity. To accommodate this stronger semantics, we introduce a variant of the <span class="name">ViewOf(e2,e1)</span> relation, denoted by
<span class="name">StrictViewOf(e2,e1)</span>. By definition, this relation is <strong>anti-symmetric</strong>, that is: <br/>
if <span class="name">strictViewOf(e2,e1)</span> then it follows that <span class="name">strictViewOf(e1,e2)</span> does not hold. <br/>
<span class="name">StrictViewOf(e2,e1)</span> also enjoys the pseudo-transitivity property, as specified above.
-
+</div>
<div class="anexample">
@@ -2005,7 +2010,7 @@
-<p>In PROV-ASN, a view (resp. strictView) record's text matches the <span class="nonterminal">viewRecord</span> (resp. <span class="nonterminal">strictViewRecord</span>) production of the grammar defined in this specification document.</p>
+<p>In PROV-ASN, a view record's text matches the <span class="nonterminal">viewRecord</span> (resp. <span class="nonterminal">strictViewRecord</span>) production of the grammar defined in this specification document.</p>
<div class='grammar'>
<span class="nonterminal">viewRecord</span> ::=
@@ -2014,9 +2019,11 @@
<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span> <br/>
-|
+<!--
+ |
<span class="name">strictViewOf</span>
<span class="name">(</span>
<span class="nonterminal">eIdentifier</span>
@@ -2024,6 +2031,7 @@
<span class="nonterminal">eIdentifier</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span> <br/>
+ -->
</div>