updated prov data types
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 13 Jun 2012 09:40:15 +0100
changeset 3291 441b77ce7549
parent 3290 4932773d3cc6 (current diff)
parent 3289 7a5b655ce1c9 (diff)
child 3292 ccd642ee6cae
updated prov data types
model/prov-dm.html
Binary file model/images/PROV-modelSketch.zargo has changed
--- a/model/prov-dm.html	Wed Jun 13 09:39:08 2012 +0100
+++ b/model/prov-dm.html	Wed Jun 13 09:40:15 2012 +0100
@@ -2995,7 +2995,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	Wed Jun 13 09:39:08 2012 +0100
+++ b/model/prov-n.html	Wed Jun 13 09:40:15 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)})