--- a/model/prov-table.html Thu Jul 12 12:03:48 2012 +0100
+++ b/model/prov-table.html Thu Jul 12 12:37:52 2012 +0100
@@ -567,38 +567,33 @@
<td><a>Derivation</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasDerivedFrom">provo:wasDerivedFrom</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Derivation">provo:Derivation</a></td>
<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-derivationExpression">derivationExpression</a></code></td>
-<td rowspan="5"><a href="#component2">Component 2:<br> Derivations</a></td>
+<td rowspan="4"><a href="#component2">Component 2:<br> Derivations</a></td>
</tr>
<tr class="component2-color"><td class="provType"><a>Revision</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasRevisionOf">provo:wasRevisionOf</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Revision">provo:Revision</a></td>
-<td></td>
+<td>type <code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#provn-type-Revision">Revision</a></code></td>
</tr>
<tr class="component2-color"><td class="provType"><a>Quotation</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasQuotedFrom">provo:wasQuotedFrom</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Quotation">provo:Quotation</a></td>
-<td></td>
+<td>type <code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#provn-type-Quotation">Quotation</a></code></td>
</tr>
<tr class="component2-color"><td class="provType"><a>Primary Source</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#hadPrimarySource">provo:hadPrimarySource</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Source">provo:Source</a></td>
-<td></td>
-</tr>
-
-<tr class="component2-color">
-<td><a>Influence</a></td>
-<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasInfluencedBy">provo:wasInfluencedBy</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Influence">provo:Influence</a></td>
-<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-influenceExpression">influenceExpression</a></code></td>
+<td>type <code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#provn-type-Primary-Source">PrimarySource</a></code></td>
</tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td>
</tr>
+
<tr class="component3-color" style="border-collapse: collapse; ">
<td><a title="Agent">provdm:Agent</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Agent">provo:Agent</a></td>
<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-agentExpression">agentExpression</a></code></td>
-<td rowspan="8"><a href="#component3">Component 3: <br>Agents, Responsibility, <br>Influence</a></td>
+<td rowspan="9"><a href="#component3">Component 3: <br>Agents, Responsibility, <br>Influence</a></td>
</tr>
<tr class="component3-color">
@@ -638,11 +633,17 @@
</tr>
<tr class="component3-color">
-<td><a title="SoftwareAgent">provdm:SoftwareAgent</a></td>
+<td><a title="software-agent">provdm:SoftwareAgent</a></td>
<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#SoftwareAgent">provo:SoftwareAgent</a></td>
<td></td>
</tr>
+<tr class="component3-color">
+<td><a title="Influence">provdm:Influence</a></td>
+<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#wasInfluencedBy">provo:wasInfluencedBy</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Influence">provo:Influence</a></td>
+<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-influenceExpression">influenceExpression</a></code></td>
+</tr>
+
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td>
</tr>
@@ -650,7 +651,7 @@
<tr class="component4-color">
<td><a title="bundle">Bundle constructor</a></td>
-<td>?</td>
+<td> <em>(link to prov-o text required here)</em> </td>
<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-namedBundle">namedBundle</a></code></td>
<td rowspan="2"><a href="#component5">Component 4: <br> Bundles</a></td>
</tr>
@@ -700,8 +701,8 @@
</tr>
<tr class="component6-color">
-<td><a title="Collection Membership">provdm:Membership</a></td>
-<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#hadMember">provo:hadMember</a>, <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#Membership">provo:Membership</a></td>
+<td><a title="Membership">provdm:Membership</a></td>
+<td><a href="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/last-call/2012-07-03-internal-review/Overview.html#hadMember">provo:hadMember</a></td>
<td><code><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-n-20120629/prov-n.html#prod-membershipExpression">membershipExpression</a></code></td>
</tr>
</table>
@@ -709,6 +710,129 @@
+<section id="data-model-components">
+
+<h2>PROV-DM Types and Relations</h2>
+
+<p>Provenance concepts, expressed as PROV-DM types and relations, are organized according to six components that are defined in this section.
+The components and their dependencies are illustrated in <a href="#prov-dm-components">Figure 4</a>. A component that relies on concepts defined in another is displayed above it in the figure. So, for example, component 5 (alternate) depends on concepts defined in component 4 (bundles), itself dependent on concepts defined in component 1 (entity and activity).
+</p>
+
+<div id="prov-dm-components-ul">
+<ul>
+<li><b>Component 1: entities and activities.</b> The first component consists of entities, activities, and concepts linking them, such as generation, usage, start, end. The first component is the only one comprising time-related concepts. </li>
+<li><b>Component 2: derivations.</b> The second component is formed with derivations and derivation subtypes.</li>
+<li><b>Component 3: agents, responsibility, and influence.</b> The third component consists of agents and concepts ascribing responsibility to agents.</li>
+<li><b>Component 4: bundles.</b> The fourth component is concerned with bundles, a mechanism to support provenance of provenance.</li>
+<li><b>Component 5: alternate.</b> The fifth component consists of relations linking entities referring to the same thing. </li>
+<li><b>Component 6: collections.</b> The sixth component is about collections. </li>
+</ul>
+</div>
+
+<!-- TODO: update map for linking -->
+
+<div style="text-align: center;">
+<figure style="max-width: 95%; ">
+<img usemap="#componentMap" src="images/components-dependencies.png" alt="PROV-DM Components" style="max-width: 90%; " />
+<map id="componentMap" name="componentMap">
+<area title="collections" href="#component5" coords="220,0,440,70" alt="collections" shape="rect"/>
+<area title="alternate" href="#component4" coords="450,0,510,140" alt="alternate" shape="rect"/>
+<area title="annotations" href="#component6" coords="530,0,590,220" alt="annotations" shape="rect"/>
+<area title="activities/entities" href="#component1" coords="80,150,510,220" alt="activities/entities" shape="rect"/>
+<area title="derivations" href="#component3" coords="80,0,210,70" alt="derivations" shape="rect"/>
+<area title="agents/responsibility" href="#component2" coords="0,0,70,220" alt="agents/responsibility" shape="rect"/>
+</map><br>
+<figcaption id="prov-dm-components">PROV-DM Components</figcaption> <!-- Figure 4 -->
+</figure>
+</div>
+
+<p>
+While not all PROV-DM relations are binary, they all involve two primary elements. Hence, <a href="#relations-at-a-glance">Table 4</a> indexes all relations according to their two primary elements (referred to as subject and object). The table adopts the same color scheme as <a href="#prov-dm-components">Figure 4</a>, allowing components to be readily identified.
+Note that for simplicity, this table does not include collection-oriented relations.
+Relation names appearing in bold correspond to the core structures introduced
+in <a href="#core-structures">Section 2.1</a>.</p>
+
+
+<div id="relations-at-a-glance-div" style="text-align: center;">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<caption id="relations-at-a-glance">PROV-DM Relations At a Glance</caption> <!-- Table 4 -->
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td colspan="6">Object</td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td colspan="2">Entity</td><td colspan="2">Activity</td><td colspan="2">Agent</td></tr>
+<tr><td rowspan="3">Subject</td><td>Entity</td><td colspan="2"><div class="component2-color"><a class="essential">WasDerivedFrom</a><br><a>Revision</a><br><a>Quotation</a><br><a>PrimarySource</a></div><div class="component5-color"><a>AlternateOf</a><br><a>SpecializationOf</a><br><a>MentionOf</a></div></td><td class="component1-color"><a class="essential"
+title="wasGeneratedBy">WasGeneratedBy</a><br><a
+title="wasInvalidatedBy">WasInvalidatedBy</a></td><td class="component1-color" style="font-style: italic; "><a title="role">R</a><br><a title="time">T</a><br><a title="location">L</a><br></td><td class="component3-color" colspan="2"><a class="essential">WasAttributedTo</a></td></tr>
+<tr><td>Activity</td><td class="component1-color"><a class="essential">Used</a><br><a>WasStartedBy</a><br><a>WasEndedBy</a></td><td class="component1-color" style="font-style: italic; "><a title="role">R</a><br><a title="time">T</a><br><a title="location">L</a><br></td><td colspan="2" class="component1-color"><a class="essential">WasInformedBy</a></td><td class="component3-color"><a class="essential">WasAssociatedWith</a></td><td class="component3-color" style="font-style: italic; "><a title="role">R</a><br></td></tr>
+<tr><td>Agent</td><td colspan="2">—</td><td colspan="2">—</td><td class="component3-color" colspan="2"><a class="essential">ActedOnBehalfOf</a></td></tr>
+</table>
+</div>
+
+<p>The letters 'R' and 'L' appearing in the right-hand side of some cells of <a href="#relations-at-a-glance">Table 4</a> indicate that attributes
+<a title="role">prov:role</a> (<a class="section-ref" href="#term-attribute-role"><span>TBD</span></a>)
+and
+<a title="location">prov:location</a> (<a class="section-ref" href="#term-attribute-location"><span>TBD</span></a>)
+are permitted for these relations.
+The letter 'T' indicates an OPTIONAL <a title="time">time</a> is also permitted.
+</p>
+
+<p><a href="#prov-dm-types-and-relations">Table 5</a> is a complete index of all the types and relations of PROV-DM, color-coded according to the component they belong to. In the first column, concept names link to their informal definition, whereas, in the second column, representations link to the information used to represent the concept. Concept names appearing in bold are the core structures introduced in <a href="#core-structures">Section 2.1</a>.</p>
+
+
+<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<caption id="prov-dm-types-and-relations">PROV-DM Types and Relations</caption> <!-- Table 5-->
+<tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td><td><b>Component</b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr class="component1-color"><td class="essential"><a>Entity</a></td><td><a title="dfn-Entity" class="essential">entity(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component1">Component 1: Entities/Activities</a></td></tr>
+<tr class="component1-color"><td class="essential"><a>Activity</a></td><td><a title="dfn-Activity" class="essential">activity(id, st, et, [ attr1=val1, ...])</a></td></tr>
+<tr class="component1-color"><td class="essential"><a>Generation</a></td><td><a title="WasGeneratedBy"><span class="essential">wasGeneratedBy(</span>id;<span class="essential">e,a</span>,t,attrs<span class="essential">)</span></a></td></tr>
+<tr class="component1-color"><td class="essential"><a>Usage</a></td><td><a title="used"><span class="essential">used(</span>id;<span class="essential">a,e</span>,t,attrs<span class="essential">)</span></a></td></tr>
+<tr class="component1-color"><td class="essential"><a>Communication</a></td><td><a title="wasInformedBy"><span class="essential">wasInformedBy(</span>id;<span class="essential">a2,a1</span>,attrs<span class="essential">)</span></a></td></tr>
+<tr class="component1-color"><td><a>Start</a></td><td><a title="wasStartedBy">wasStartedBy(id;a2,e,a1,t,attrs)</a></td></tr>
+<tr class="component1-color"><td><a>End</a></td><td><a title="wasEndedBy">wasEndedBy(id;a2,e,a1,t,attrs)</a></td></tr>
+<tr class="component1-color"><td><a>Invalidation</a></td><td><a title="wasInvalidatedBy">wasInvalidatedBy(id;e,a,t,attrs)</a></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<tr class="component2-color"><td class="essential"><a>Derivation</a></td><td><a title="wasDerivedFrom"><span class="essential">wasDerivedFrom(</span>id; <span class="essential">e2, e1</span>, a, g2, u1, attrs<span class="essential">)</span></a></td><td rowspan="5"><a href="#component2">Component 2: Derivations</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Revision</a></td><td><a title="Revision">... prov:type='prov:Revision' ...</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Quotation</a></td><td><a title="Quotation">... prov:type='prov:Quotation' ...</a></td></tr>
+<tr class="component2-color"><td class="provType"><a>Primary Source</a></td><td><a title="PrimarySource">... prov:type='prov:PrimarySource' ...</a></td></tr>
+<tr class="component2-color"><td><a>Influence</a></td><td><a title="wasInfluencedBy">wasInfluencedBy(id;e2,e1,attrs)</a></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr class="component3-color" style="border-collapse: collapse; "><td class="essential"><a>Agent</a></td><td><a title="dfn-agent" class="essential">agent(id, [ attr1=val1, ...])</a></td><td rowspan="8"><a href="#component3">Component 3: Agents, Responsibility, Influence</a></td></tr>
+<tr class="component3-color"><td class="essential"><a>Attribution</a></td><td><a title="wasAttributedTo"><span class="essential">wasAttributedTo(</span>id;<span class="essential">e,ag</span>,attr<span class="essential">)</span></a></td></tr>
+<tr class="component3-color"><td class="essential"><a>Association</a></td><td><a title="wasAssociatedWith"><span class="essential">wasAssociatedWith(</span>id;<span class="essential">a,ag</span>,pl,attrs<span class="essential">)</span></a></td></tr>
+<tr class="component3-color"><td class="essential"><a>Delegation</a></td><td><a title="actedOnBehalfOf"><span class="essential">actedOnBehalfOf(</span>id;<span class="essential">ag2,ag1</span>,a,attrs<span class="essential">)</span></a></td></tr>
+<tr class="component3-color"><td class="provType"><a>Plan</a></td><td><a title="plan">... prov:type='prov:Plan' ...</a></td></tr>
+<tr class="component3-color"><td class="provType"><a>Person</a></td><td><a title="person">... prov:type='prov:Person' ...</a></td></tr>
+<tr class="component3-color"><td class="provType"><a>Organization</a></td><td><a title="organization">... prov:type='prov:Organization' ...</a></td></tr>
+<tr class="component3-color"><td class="provType"><a title="software-agent">SoftwareAgent</a></td><td><a title="software-agent">... prov:type='prov:SoftwareAgent' ...</a></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<tr class="component4-color"><td><a title="bundle">Bundle constructor</a></td><td><a title="dfn-bundle">bundle id description_1 ... description_n endBundle</a></td><td rowspan="2"><a href="#component5">Component 4: Bundles</a></td></tr>
+<tr class="component4-color"><td class="provType"><a title="bundle">Bundle type</a></td><td><a title="bundle">... prov:type='prov:Bundle' ...</a></td></tr>
+
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr class="component5-color"><td><a>Alternate</a></td><td><a title="alternateOf">alternateOf(alt1, alt2)</a></td><td rowspan="3"><a href="#component4">Component 5: Alternate</a></td></tr>
+<tr class="component5-color"><td><a>Specialization</a></td><td><a title="specializationOf">specializationOf(infra, supra)</a></td></tr>
+<tr class="component5-color"><td><a>Mention</a></td><td><a title="mentionOf">mentionOf(infra, supra,bundle)</a></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<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>Membership</a></td><td><a title="hadMember">hadMember(c,e)</a></td></tr>
+</table>
+</div>
+
+<p>
+In the rest of the section, each type and relation is defined informally,
+ followed by a summary of the information used to represent the concept, and
+ illustrated with PROV-N examples.</p>
+
<section id="component1">
<h3>Component 1: Entities and Activities</h3>
@@ -1102,14 +1226,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>
@@ -2293,7 +2417,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>
@@ -2332,36 +2456,38 @@
</section>
-<section id="term-collection-membership">
-<h3>Collection Membership</h3>
-
-<p>A <strong>collection membership</strong> relation is defined, to allow stating the members of a Collection. </p>
-
-<span class="glossary-ref" data-ref="glossary-collection-membership"></span>
+<section id="term-membership">
+<h3>Membership</h3>
+
+<p>A <strong>membership</strong> relation is defined, to allow stating the members of a Collection. </p>
+
+<span class="glossary-ref" data-ref="glossary-membership"></span>
<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="hadMember">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>
@@ -2405,9 +2531,7 @@
<div id="attributes-at-a-glance-divz" style="text-align: left;">
<table class="thinborder" style="margin-left: auto; margin-right: auto;">
<caption id="attributes-at-a-glance">PROV-DM Attributes At a Glance</caption> <!-- Table 6 -->
-<tr>
-<td><b>Attribute</b></td>
-<td><b>Allowed In</b></td><td><b>value</b></td><td><b>Section</b></td></tr>
+<tr><td><b>Attribute</b></td><td><b>Allowed In</b></td><td><b>value</b></td><td><b>Section</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "><td style="border-width: 0px; "></td></tr>
<tr><td><a title="label">prov:label</a></td><td><em>any construct</em></td><td>A <a>Value</a> of type <a class="section-ref" href="http://www.w3.org/TR/xmlschema11-2/#string">xsd:string</a></td><td><a class="section-ref" href="#term-attribute-label"><span>TBD</span></a> </td></tr>
<tr><td><a title="location">prov:location</a></td><td><a>Entity</a>, <a>Activity</a>, <a>Agent</a>, <a>Usage</a>, <a>Generation</a>, <a>Invalidation</a>, <a>Start</a>, and <a>End</a></td><td>A <a title="value">Value</a></td><td><a class="section-ref" href="#term-attribute-location"><span>TBD</span></a> </td></tr>
@@ -2994,3 +3118,4 @@
</body>
</html>
+