--- a/model/prov-dm.html Tue May 15 16:32:56 2012 +0100
+++ b/model/prov-dm.html Tue May 15 16:59:04 2012 +0100
@@ -857,7 +857,7 @@
<ul>
<li>There was a document, a working draft (<a href="http://www.w3.org/2001/02pd/rec54#WD">rec54:WD</a>), which is an entity so that we can describe its provenance. Similar descriptions exist for all entities.
<pre>
-entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
</pre>
</li>
<li>There was a publication activity.
@@ -922,10 +922,10 @@
<p>No new mechanism is required to support this requirement. PROV-DM makes the assumption that provenance statements have been bundled up, and named, by some mechanism outside the scope of PROV-DM. For instance, in this case, provenance statements were put in a file and exposed on the Web, respectively at <a href="examples/w3c-publication1.pn">ex:w3c-publication1.pn</a> and <a href="examples/w3c-publication3.pn">ex:w3c-publication3.pn</a>. To express their respective provenance, these resources must be seen as entities, and all the constructs of PROV-DM are now available to characterize their provenance. In the example below, <span class="name">ex:w3c-publication1.pn</span> is attributed to the agent <span class="name">w3:Consortium</span>, whereas <span class="name">ex:w3c-publication3.pn</span> to <span class="name">ex:Simon</span>.
<pre>
-entity(ex:w3c-publication1.pn, [prov:type="prov:Account" %% xsd:QName ])
+entity(ex:w3c-publication1.pn, [prov:type='prov:Account' ])
wasAttributedTo(ex:w3c-publication1.pn, w3:Consortium)
-entity(ex:w3c-publication3.pn, [prov:type="prov:Account" %% xsd:QName ])
+entity(ex:w3c-publication3.pn, [prov:type='prov:Account' ])
wasAttributedTo(ex:w3c-publication3.pn, ex:Simon)
</pre>
@@ -1105,7 +1105,7 @@
The following expression</p>
<pre class="codeexample">
activity(a1,2011-11-16T16:05:00,2011-11-16T16:06:00,
- [ex:host="server.example.org",prov:type="ex:edit" %% xsd:QName])
+ [ ex:host="server.example.org", prov:type='ex:edit' ])
</pre>
<p>states the existence of an activity with identifier <span class="name">a1</span>, start time <span class="name">2011-11-16T16:05:00</span>, and end time <span
class="name">2011-11-16T16:06:00</span>, running on host <span class="name">server.example.org</span>, and of type <span class="name">edit</span>. The attribute <span class="name">host</span> is application specific (declared in some namespace with prefix <span class="name">ex</span>). The attribute <span
@@ -1276,7 +1276,7 @@
activity(ex:filling-fuel)
activity(ex:observing-low-fuel)
-agent(ex:driver, [ prov:type="prov:Person" %% xsd:QName )
+agent(ex:driver, [ prov:type='prov:Person' )
wasAssociatedWith(ex:filling-fuel, ex:driver)
wasAssociatedWith(ex:observing-low-fuel, ex:driver)
@@ -1513,7 +1513,7 @@
<div class="anexample">
<p>The following expression is about an agent identified by <span class="name">e1</span>, which is a person, named Alice, with employee number 1234.</p>
<pre class="codeexample">
-agent(e1, [ex:employee="1234", ex:name="Alice", prov:type="prov:Person" %% xsd:QName])
+agent(e1, [ex:employee="1234", ex:name="Alice", prov:type='prov:Person' ])
</pre>
<p>It is optional to specify the type of an agent. When present, it is expressed using the <span class="name">prov:type</span> attribute.</p>
</div>
@@ -1543,7 +1543,7 @@
<pre class="codeexample">
agent(ex:Paolo, [ prov:type="Person" ])
agent(ex:Simon, [ prov:type="Person" ])
-entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
wasAttributedTo(tr:WD-prov-dm-20111215, ex:Paolo, [prov:role="editor"])
wasAttributedTo(tr:WD-prov-dm-20111215, ex:Simon, [prov:role="contributor"])
</pre>
@@ -1578,7 +1578,7 @@
agent(ex:ag2, [prov:type="designer"])
wasAssociatedWith(ex:a, ex:ag1, -, [prov:role="loggedInUser", ex:how="webapp"])
wasAssociatedWith(ex:a, ex:ag2, ex:wf,[prov:role="designer", ex:context="project1"])
-entity(ex:wf, [prov:type="prov:Plan" %% xsd:QName, ex:label="Workflow 1",
+entity(ex:wf, [prov:type='prov:Plan' , ex:label="Workflow 1",
ex:url="http://example.org/workflow1.bpel" %% xsd:anyURI])
</pre>
Since the workflow <span class="name">ex:wf</span> is itself an entity, its provenance can also be expressed in PROV-DM: it can be generated by some activity and derived from other entities,
@@ -1590,7 +1590,7 @@
<pre class="codeexample">
activity(ex:a,[prov:type="workflow execution"])
wasAssociatedWith(ex:a,-,ex:wf)
-entity(ex:wf,[prov:type="prov:Plan"%% xsd:QName, ex:label="Workflow 1",
+entity(ex:wf,[prov:type='prov:Plan', ex:label="Workflow 1",
ex:url="http://example.org/workflow1.bpel" %% xsd:anyURI])
</pre>
In this case, it is assumed that an agent exists, but it has not been specified.
@@ -1764,8 +1764,8 @@
<span class="name">tr:WD-prov-dm-20111215</span> was a revision of
the report <span class="name">tr:WD-prov-dm-20111018</span>.
<pre class="codeexample">
-entity(tr:WD-prov-dm-20111215, [ prov:type="rec54:WD" %% xsd:QName ])
-entity(tr:WD-prov-dm-20111018, [ prov:type="rec54:WD" %% xsd:QName ])
+entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
+entity(tr:WD-prov-dm-20111018, [ prov:type='rec54:WD' ])
wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
</pre>
</div>
@@ -2089,8 +2089,8 @@
<div class="anexample">
<pre class="codeexample">
-entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName]) // d0 is an empty dictionary
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName]) // d1 is a dictionary, with unknown content
+entity(d0, [prov:type='prov:EmptyDictionary' ]) // d0 is an empty dictionary
+entity(d1, [prov:type='prov:Dictionary' ]) // d1 is a dictionary, with unknown content
</pre>
</div>
@@ -2132,12 +2132,12 @@
<div class="anexample">
<pre class="codeexample">
-entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName]) // d0 is an empty dictionary
+entity(d0, [prov:type='prov:EmptyDictionary' ]) // d0 is an empty dictionary
entity(e1)
entity(e2)
entity(e3)
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName])
-entity(d2, [prov:type="prov:Dictionary" %% xsd:QName])
+entity(d1, [prov:type='prov:Dictionary' ])
+entity(d2, [prov:type='prov:Dictionary' ])
derivedByInsertionFrom(d1, d0, {("k1", e1), ("k2", e2)})
derivedByInsertionFrom(d2, d1, {("k3", e3)})
@@ -2155,12 +2155,12 @@
<div class="anexample">
<pre class="codeexample">
-entity(d0, [prov:type="prov:EmptyDictionary" %% xsd:QName]) // d0 is an empty dictionary
+entity(d0, [prov:type='prov:EmptyDictionary' ]) // d0 is an empty dictionary
entity(e1)
entity(e2)
entity(e3)
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName])
-entity(d2, [prov:type="prov:Dictionary" %% xsd:QName])
+entity(d1, [prov:type='prov:Dictionary' ])
+entity(d2, [prov:type='prov:Dictionary' ])
derivedByInsertionFrom(d1, d0, {("k1", e1), ("k2", e2)})
derivedByInsertionFrom(d2, d1, {("k1", e3)})
@@ -2255,8 +2255,8 @@
<div class="anexample">
<pre class="codeexample">
-entity(d1, [prov:type="prov:Dictionary" %% xsd:QName]) // d1 is a dictionary, with unknown content
-entity(d2, [prov:type="prov:Dictionary" %% xsd:QName]) // d2 is a dictionary, with unknown content
+entity(d1, [prov:type='prov:Dictionary' ]) // d1 is a dictionary, with unknown content
+entity(d2, [prov:type='prov:Dictionary' ]) // d2 is a dictionary, with unknown content
entity(e1)
entity(e2)
@@ -2265,7 +2265,7 @@
memberOf(d2, {("k1", e1), ("k2", e2)}, true)
entity(e3)
-entity(d3, [prov:type="prov:Dictionary" %% xsd:QName])
+entity(d3, [prov:type='prov:Dictionary' ])
derivedByInsertionFrom(d3, d1, {("k3", e3)})
</pre>
@@ -2555,7 +2555,7 @@
<div class="anexample">
<p>The following describes an agent of type software agent.</p>
<pre class="codeexample">
- agent(ag, [prov:type="prov:SoftwareAgent" %% xsd:QName])
+ agent(ag, [prov:type='prov:SoftwareAgent' ])
</pre>
</div>
@@ -2637,8 +2637,8 @@
<table border="1" style="margin-left: auto; margin-right: auto;">
<caption id="prov-dm-data-types">Table 6: PROV-DM Data Types</caption>
<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#decimal">xsd:decimal</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#double">xsd:double</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#dateTime">xsd:dateTime</a></td> </tr>
-<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#integer">xsd:integer</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#float">xsd:float</a></td><td></td> </tr>
-<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger">xsd:nonNegativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#string">xsd:string</a></td> <td><a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-XMLLiteral">rdf:XMLLiteral</a></td> </tr>
+<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#integer">xsd:integer</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#float">xsd:float</a></td><td><a href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-XMLLiteral">rdf:XMLLiteral</a></td> </tr>
+<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger">xsd:nonNegativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#string">xsd:string</a></td> <td><a href="http://www.w3.org/TR/prov-n/#prod-QUALNAME">prov:QUALNAME</a></td> </tr>
<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#nonPositiveInteger">xsd:nonPositiveInteger</a></td><td><a href="http://www.w3.org/TR/xmlschema-2/#normalizedString">xsd:normalizedString</a></td> <td></td></tr>
<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#positiveInteger">xsd:positiveInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#token">xsd:token</a></td> <td></td></tr>
<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#negativeInteger">xsd:negativeInteger</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#language">xsd:language</a></td> <td></td></tr>
@@ -2718,7 +2718,7 @@
In the following example, <span class="name">e2</span> is a translation of <span class="name">e1</span>,
expressed as a sub-type of derivation.
<pre class="codeexample">
- wasDerivedFrom(e2,e1, [prov:type="ex:Translation" %% xsd:QName])
+ wasDerivedFrom(e2,e1, [prov:type='ex:Translation' ])
</pre>
</div>
@@ -2726,7 +2726,7 @@
<p>
In the following example, <span class="name">e</span> is described as a Car, a type of entity.
<pre class="codeexample">
- entity(e, [prov:type="ex:Car" %% xsd:QName])
+ entity(e, [prov:type='ex:Car' ])
</pre>
</div>