--- a/model/prov-dm.html Thu Jul 12 10:32:25 2012 +0100
+++ b/model/prov-dm.html Thu Jul 12 10:52:25 2012 +0100
@@ -1565,7 +1565,7 @@
<tr class="component6-color"><td class="provType"><a>Collection</a></td><td><a title="collection">... prov:type='prov:Collection' ...</a></td><td rowspan="3"><a href="#component6">Component 6: Collections</a></td></tr>
<tr class="component6-color"><td class="provType"><a title="empty collection">EmptyCollection</a></td><td><a title="empty collection">... prov:type='prov:EmptyCollection' ...</a></td></tr>
-<tr class="component6-color"><td><a>Collection Membership</a></td><td><a title="hadMembers">hadMembers(id; c, {e_1, ..., e_n}, cplt, attrs)</a></td></tr>
+<tr class="component6-color"><td><a>Membership</a></td><td><a title="hadMember">hadMember(c,e)</a></td></tr>
</table>
</div>
@@ -1967,14 +1967,14 @@
but the BBC news home page on the next day did not.
<pre class="codeexample">
entity(ex:bbcNews2012-04-03)
-hadMembers(ex:bbcNews2012-04-03, {bbc:news/uk-17595024})
+hadMember(ex:bbcNews2012-04-03, bbc:news/uk-17595024)
wasGeneratedBy (ex:bbcNews2012-04-03, -, 2012-04-03T00:00:01)
wasInvalidatedBy(ex:bbcNews2012-04-03, -, 2012-04-03T23:59:59)
</pre>
We refer to example
<a href="#anexample-specialization" class="anexample-ref"><span>Example REF</span></a>
- for further descriptions of the BBC Web site, and to <a href="#term-collection-membership">Section 5.6.2</a> for a description of the relation <a title="hadMembers">hadMembers</a>.
+ for further descriptions of the BBC Web site, and to <a href="#term-collection-membership">Section 5.6.2</a> for a description of the relation <a title="hadMember">hadMember</a>.
</div>
@@ -3158,7 +3158,7 @@
A collection is an entity that has some members. The members are themselves entities, and therefore their provenance can be expressed. Some applications need to be able to express the provenance of the collection itself: e.g. who maintains the collection (attribution), which members it contains as it evolves, and how it was assembled. The purpose of Component 6 is to define the types and relations that are useful to express the provenance of collections. </p>
<p><a href="#figure-component6">Figure 11</a> depicts
-the sixth component with two new classes (Collection, Empty Collection) and one association (HadMembers).
+the sixth component with two new classes (Collection, Empty Collection) and one association (HadMember).
</p>
@@ -3206,27 +3206,29 @@
<p>
-<div class="attributes" id="attributes-hadMembers">
- A <dfn title="hadMembers">membership</dfn> relation, written <span class="pnExpression">hadMembers(id; c, {e_1, ..., e_n}, cplt, attrs)</span>, has:
-<ul>
-<li><span class='attribute' id="membership.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute' id="membership.collection">collection</span>: an identifier (<span class="name">c</span>) for the collection whose members are asserted; </li>
-<li><span class='attribute' id="membership.entity-set">entity-set</span>: a set of entities <span class="name">e_1</span>, ..., <span class="name">e_n</span> that are members of the collection;</li>
-<li><span class='attribute' id="membership.complete">complete</span>: an OPTIONAL boolean
-<a title="value">Value</a> (<span class="name">cplt</span>). It is interpreted as follows:
+<div class="attributes" id="attributes-hadMember">
+ A <dfn title="hadMembers">membership</dfn> relation, written <span class="pnExpression">hadMember(c, e)</span>, has:
<ul>
-<li>if it is present and set to true, then
-<span class="name">c</span> is believed to include all and only the members specified in the entity-set;
-<li>if it is present and set to false or if it is not present, then <span class="name">c</span> is believed to include more members in addition to those specified in the entity-set.
+<li><span class='attribute' id="membership.collection">collection</span>: an identifier (<span class="name">c</span>) for the collection whose member is asserted; </li>
+<li><span class='attribute' id="membership.entity">entity</span>: the identifier <span class="name">e</span> of an entity that is member of the collection.</li>
</ul>
-
-<li><span class='attribute' id="membership.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
-</ul>
-
</div>
-<p id="complete-attribute-note">
-Note that the attribute <a href="#membership.complete">complete</a> indicates that the <a title="hadMembers">membership</a> relation provides a complete description of the collection membership. It is possible for different provenance descriptions to provide different membership statements regarding the same collection. The resolution of any potential conflict amongst such membership statements is defined by applications.</p>
+
+
+<div class="anexample" >
+<p>In this example, <span class="name">c</span> is a collection known to have <span class="name">e0</span>, <span class="name">e1</span>, and <span class="name">e2</span> as members, and may have other members.</p>
+<pre class="codeexample">
+entity(e0)
+entity(e1)
+entity(e2)
+
+entity(c, [prov:type='prov:Collection' ]) // c is a collection, with unknown content
+hadMember(c, e0)
+hadMember(c, e1)
+hadMember(c, e2)
+</pre>
+</div>
</section>