prov-n examples
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 21 Mar 2012 10:13:59 +0000
changeset 1947 afd052934ccd
parent 1946 b3ceda3cd966
child 1949 664fefcc7122
child 1950 1f4c895bc29a
prov-n examples
model/working-copy/wd5-prov-n.html
--- a/model/working-copy/wd5-prov-n.html	Wed Mar 21 10:01:59 2012 +0000
+++ b/model/working-copy/wd5-prov-n.html	Wed Mar 21 10:13:59 2012 +0000
@@ -501,10 +501,11 @@
 <pre class="codeexample">
 wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1, -)
 wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00)
+wasGeneratedBy(e2, a1, -, [ex:fct="save"])     
+wasGeneratedBy(e2, -, -, [ex:fct="save"])     
 wasGeneratedBy(ex:g1, tr:WD-prov-dm-20111215, ex:edit1, -)
 wasGeneratedBy(ex:g1, tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00)
-wasGeneratedBy(e2, a1, -, [ex:fct="save"])     
-wasGeneratedBy(e2, -, -, [ex:fct="save"])     
+wasGeneratedBy(-, tr:WD-prov-dm-20111215, ex:edit1, -)
 </pre>
 </div>
 
@@ -537,8 +538,9 @@
 <pre class="codeexample">
 used(ex:act2, ar3:0111, -)
 used(ex:act2, ar3:0111, 2011-11-16T16:00:00)
+used(a1,e1, -, [ex:fct="load"])
 used(ex:u1, ex:act2, ar3:0111, -)
-used(a1,e1, -, [ex:fct="load"])
+used(-, ex:act2, ar3:0111, -)
 </pre>
 </div>
 
@@ -572,6 +574,8 @@
 wasStartedBy(ex:act2, -, 2011-11-16T16:00:00)
 wasStartedBy(ex:act2, -, -)
 wasStartedBy(ex:act2, -, -, [ex:param="a"])
+wasStartedBy(s, ex:act2, ar3:0111, 2011-11-16T16:00:00)
+wasStartedBy(-, ex:act2, ar3:0111, 2011-11-16T16:00:00)
 </pre>
 </div>
 
@@ -606,6 +610,8 @@
 wasEndedBy(ex:act2, -, 2011-11-16T16:00:00)
 wasEndedBy(ex:act2, -, 2011-11-16T16:00:00, [ex:param="a"])
 wasEndedBy(e,ex:act2, -, -)
+wasEndedBy(e, ex:act2, ex:trigger, 2011-11-16T16:00:00)
+wasEndedBy(-, ex:act2, ex:trigger, 2011-11-16T16:00:00)
 </pre>
 </div>
 
@@ -720,6 +726,7 @@
 wasAttributedTo(e,ag)
 wasAttributedTo(e,ag,[ex:license="cc:attributionURL" %% "xsd:QName"])
 wasAttributedTo(id,e,ag,[ex:license="cc:attributionURL" %% "xsd:QName"])
+wasAttributedTo(-,e,ag,[ex:license="cc:attributionURL" %% "xsd:QName"])
 </pre>
 </div>
 
@@ -823,8 +830,16 @@
 
 <div class="anexample">
 <pre class="codeexample">
-wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
+wasDerivedFrom(e2, e1)
 wasDerivedFrom(e2, e1, a, g2, u1)
+wasDerivedFrom(e2, e1, -, g2, u1)
+wasDerivedFrom(e2, e1, a, -, u1)
+wasDerivedFrom(e2, e1, a, g2, -)
+wasDerivedFrom(e2, e1, a, -, -)
+wasDerivedFrom(e2, e1, -, -, u1)
+wasDerivedFrom(e2, e1, -, -, -)
+wasDerivedFrom(d, e2, e1, a, g2, u1)
+wasDerivedFrom(-, e2, e1, a, g2, u1)
 </pre>
 </div>
 
@@ -849,11 +864,12 @@
 
 <div class="anexample">
 <pre class="codeexample">
-wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
+wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
 wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium)
 wasRevisionOf(id,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium)
 wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
 wasRevisionOf(id,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
+wasRevisionOf(-,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
 </pre>
 </div>
 
@@ -887,8 +903,12 @@
 <pre class="codeexample">
 wasQuotedFrom(ex:blockQuote,ex:blog)
 wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
+wasQuotedFrom(ex:blockQuote,ex:blog,-,ex:Paul)
 wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul,[])
+wasQuotedFrom(ex:blockQuote,ex:blog, -, -)
 wasQuotedFrom(id,ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
+wasQuotedFrom(-,ex:blockQuote,ex:blog,ex:Luc,-)
+
 </pre>
 </div>
 
@@ -915,8 +935,10 @@
 
 <div class="anexample">
 <pre class="codeexample">
-hadOriginalSource(dm:term-original-source,go:credit-where-credit-is-due.html)
-hadOriginalSource(dm:term-original-source,go:credit-where-credit-is-due.html,[...])
+hadOriginalSource(ex:e1, ex:e2)
+hadOriginalSource(ex:e1, ex:e2,[ex:param="a"])
+hadOriginalSource(-,ex:e1, ex:e2,[ex:param="a"])
+hadOriginalSource(-,ex:e1, ex:e2)
 </pre>
 </div>
 
@@ -944,7 +966,9 @@
 <div class="anexample">
 <pre class="codeexample">
 tracedTo(e2,e1)
-tracedTo(e2,e1,[])
+tracedTo(e2,e1,[ex:param="a"])
+tracedTo(id,e2,e1,[ex:param="a"])
+tracedTo(-,e2,e1)
 </pre>
 </div>
 
@@ -1238,10 +1262,8 @@
 <span class="name">note</span>
 <span class="name">(</span>
 <span class="nonterminal">identifier</span>
-<span class="name">,</span>
-<span class="nonterminal">attribute-values</span>
-<span class="name">)</span><br/>
-<!-- -->
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
 </div>
 </div>
 
@@ -1267,7 +1289,6 @@
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">nIdentifier</span>
-<span class="nonterminal">optional-attribute-values</span>
 <span class="name">)</span>
 </div>