Binary file model/images/PROV-modelSketch.zargo has changed
--- a/model/prov-dm.html Tue Jun 12 16:36:48 2012 +0100
+++ b/model/prov-dm.html Wed Jun 13 09:20:29 2012 +0100
@@ -2990,7 +2990,7 @@
-->
-<p>Following the earlier definition for generic collections, PROV-DM defines the following types related to dictionaries:</p>
+<p>Following the earlier definitions for generic collections, PROV-DM defines the following types related to dictionaries:</p>
<ul>
<li> <span class="name">prov:Dictionary</span> is a subtype of <span class="name">prov:Collection</span>. It denotes an entity of type dictionary, i.e. an entity that can participate in relations amongst dictionaries;
--- a/model/prov-n.html Tue Jun 12 16:36:48 2012 +0100
+++ b/model/prov-n.html Wed Jun 13 09:20:29 2012 +0100
@@ -2213,7 +2213,8 @@
<div class="anexample">
<pre class="codeexample">
- memberOf(mId, c, {("k4", v4), ("k5", v5)}, [])
+ memberOf(mId, c, {e1, e2, e3}, []) // Collection membership
+ memberOf(mId, c, {("k4", v4), ("k5", v5)}, []) // Dictionary membership
</pre>
<p> Here
<span class="name">mid</span> is the optional membership identifier,
@@ -2221,8 +2222,7 @@
<span class="name"> {("k4", v4), ("k5", v5)}</span> is the set of key-value pairs that are members of
<span class="name">c</span>,
and <span class="name">[]</span> is the optional (empty) set of attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
+The remaining examples show cases for Dictionaries, where some of the optionals are omitted. Key-entity sets are replaced with Entity sets for the corresponding generic Collections examples.
<pre class="codeexample">
memberOf(c3, {("k4", v4), ("k5", v5)})