--- a/model/prov-n.html Mon May 28 15:27:49 2012 +0100
+++ b/model/prov-n.html Mon May 28 15:35:06 2012 +0100
@@ -1685,9 +1685,20 @@
<div class="anexample">
-<div class="note">Needs updating</div>
<pre class="codeexample">
- hasProvenanceIn(ex:report1, bob:bundle4, -)
+ hasProvenanceIn(id; ex:report1, bob:bundle4, bob:r1, [ex:param="a"])
+</pre>
+<p> Here
+ <span class="name">id</span> is the optional provenance locator identifier,
+ <span class="name">ex:report1</span> is an entity identifier,
+ <span class="name">bob:bundle4</span> is the identifier for a bundle
+ <span class="name">bob:r1</span> is the identifier for an identifier
+ and <span class="name">[ex:param="a"]</span> is the optional set of attributes. </p>
+The remaining examples show cases where some of the optionals are omitted.
+ <pre class="codeexample">
+hasProvenanceIn(id; ex:report1, bob:bundle4, -)
+hasProvenanceIn(id; ex:report1, -, -, [ prov:service-uri="http://example.com/service" %% xsd:anyURI ])
+hasProvenanceIn(id; ex:report1, -, bob:r1, [ prov:service-uri="http://example.com/service" %% xsd:anyURI ])
</pre>
</div>
@@ -1868,10 +1879,13 @@
The remaining examples show cases where some of the optionals are omitted.
- <pre class="codeexample">
- memberOf(c3, {("k4", v4), ("k5", v5)})
- memberOf(c3, {("k4", v4)})
- memberOf(c3, {("k4", v4), ("k5", v5)},[])
+<pre class="codeexample">
+memberOf(c3, {("k4", v4), ("k5", v5)})
+memberOf(c3, {("k4", v4)})
+memberOf(c3, {("k4", v4)}, false)
+memberOf(c3, {("k4", v4)}, true)
+memberOf(c3, {("k4", v4), ("k5", v5)},[])
+memberOf(c3, {("k4", v4), ("k5", v5)},true, [])
</pre>
</div>
@@ -2232,7 +2246,7 @@
</ol>
<div class="anexample" id="anexample-types">
-<p>The entity <span class="name">ag</span> is a person (type: <span class="name">prov:Person</span>), whereas the entity
+<p>The agent <span class="name">ag</span> is a person (type: <span class="name">prov:Person</span>), whereas the entity
<span class="name">pl</span> is a plan (type: <span class="name">prov:Plan</span>).</p>
<pre class="codeexample">
agent(ag, [ prov:type='prov:Person' ])