--- a/ontology/ProvenanceFormalModel.html Thu Sep 08 18:02:30 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Thu Sep 08 18:21:35 2011 +0100
@@ -98,6 +98,7 @@
<section>
<h2>OWL2 Encoding of the Provenance Model</h2>
<p>The PIL Conceptual Model document introduces an example <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> describing the creation of crime statistics file stored on a shared file system and edited by journalists Alice, Bob, Charles, David, and Edith. The example scenario can be encoded as a <a href = "http://www.w3.org/TR/rdf-primer/"> Resource Description Framework (RDF) </a> graph in <a href = "">Figure 1</a>:</p>
+ <div class='issue'>insert figure 1</div>
<p><a href = "">Figure 1</a> represents both the Provenance ontology schema and the instance information. For example,
<ul>
<li><a href="#agent">Agent</a>, e.g. alice, bob, and edith </li>
@@ -111,28 +112,28 @@
<?xml version="1.0"?>
<rdf:RDF
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
- xmlns:po="http://www.w3.org/TR/ProvenanceOntology.owl#"
+ xmlns:prov="http://www.w3.org/TR/ProvenanceOntology.owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:cf="http://www.w3.org/2011/prov/crimefile#">
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#e2">
<rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Entity"/>
- <po:isGeneratedBy>
+ <prov:wasGeneratedBy>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe1">
<rdf:type rdf:resource="http://www.w3.org/2011/prov/crimefile#FileAppend"/>
- <po:isControlledBy>
+ <prov:wasControlledBy>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#Bob">
<rdf:type rdf:resource="http://www.w3.org/TR/ProvenanceOntology.owl#Agent"/>
</rdf:Description>
- </po:isControlledBy>
+ </prov:wasControlledBy>
</rdf:Description>
- </po:isGeneratedBy>
- <po:isDerivedFrom rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ </prov:wasGeneratedBy>
+ <prov:wasDerivedFrom rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
<cf:hasFilePath rdf:datatype="http://www.w3.org/2001/XMLSchema#string">/share/crime.txt</cf:hasFilePath>
<cf:hasFileContent rdf:datatype="http://www.w3.org/2001/XMLSchema#string">There was a lot of crime in London last month.</cf:hasFileContent>
</rdf:Description>
<rdf:Description rdf:about="http://www.w3.org/2011/prov/crimefile#pe1">
- <po:Used rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
+ <prov:Used rdf:resource="http://www.w3.org/2011/prov/crimefile#e1"/>
</rdf:Description>
</rdf:RDF>
</pre>
@@ -145,6 +146,7 @@
<img src="http://www.w3.org/2011/prov/wiki/images/8/8d/CurrentHierarchy.png" />
<h4>Overview of the ontology</h4>
<img src="http://www.w3.org/2011/prov/wiki/images/a/a1/GlobalSchema1.png" />
+ <div class='issue'>update picture above to use properties in past tense</div>
</section>
<section>
<h3>Classes</h3>
@@ -254,15 +256,17 @@
<p>The Provenance Model consists of the following object properties. </p>
<p><i>Note: Names of properties starts with a verb in lower case followed by verb(s) starting with upper case </i></p>
<section>
- <h4>isGeneratedBy</h4>
- <p>isGeneratedBy links Entity with ProcessExecution representing that Entity was generated as a result of ProcessExecution</p>
+ <h4>wasGeneratedBy</h4>
+ <p>wasGeneratedBy links Entity with ProcessExecution representing that Entity was generated as a result of ProcessExecution</p>
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
<img src="http://www.w3.org/2011/prov/wiki/images/7/72/IsGeneratedBy.png" />
+ <div class='issue'>update picture above to use properties in past tense</div>
</section>
<section>
- <h4>isDerivedFrom</h4>
- <p>isDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."</p>
+ <h4>wasDerivedFrom</h4>
+ <p>wasDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."</p>
<img src="http://www.w3.org/2011/prov/wiki/images/3/30/IsDerivedFrom.png" />
+ <div class='issue'>update picture above to use properties in past tense</div>
</section>
<section>
<h4>Used</h4>
@@ -271,23 +275,25 @@
<img src="http://www.w3.org/2011/prov/wiki/images/2/2f/Used.png" />
</section>
<section>
- <h4>hasParticipant</h4>
- <p>hasParticipant links Entity to ProcessExecution, where Entity isUsedBy or isGeneratedBy ProcessExecution.
+ <h4>hadParticipant</h4>
+ <p>hadPariticipant links Entity to ProcessExecution, where Entity used or wasGeneratedBy ProcessExecution.
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
</section>
<section>
- <h4>isIVPOf</h4>
- <p> isIVPOf links two instances of Entity, where "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval." <i>(from the Provenance Conceptual Model)</i></p>
+ <h4>wasComplementOf</h4>
+ <p>wasComplementOf links two instances of Entity, where "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval." <i>(from the Provenance Conceptual Model)</i></p>
</section>
<section>
- <h4>isControlledBy</h4>
- <p>isControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a Entity in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
+ <h4>wasControlledBy</h4>
+ <p>wasControlledBy links ProcessExecution to Agent, where "Control represents the involvement of an agent or a Entity in a process execution"<i>(from the Provenance Conceptual Model)</i></p>
<img src="http://www.w3.org/2011/prov/wiki/images/6/64/IsControlledBy.png" />
+ <div class='issue'>update picture above to use properties in past tense</div>
</section>
<section>
- <h4>isPrecededBy</h4>
- <p>isPrecededBy links two instances of ProcessExecution, where "Ordering of processes execution (in provenance) needs to be modeled as a property linking process entities in specific order along a particular dimension (temporal or control flow)"</p>
+ <h4>preceded</h4>
+ <p>preceded links two instances of ProcessExecution, where "Ordering of processes execution (in provenance) needs to be modeled as a property linking process entities in specific order along a particular dimension (temporal or control flow)"</p>
<img src="http://www.w3.org/2011/prov/wiki/images/a/a7/IsPreceededBy.png" />
+ <div class='issue'>update picture above to show inverse property 'preceded'</div>
</section>
</section>
<section>
@@ -303,7 +309,7 @@
</p>
<h3>Characteristics of Object Properties </h3>
<p>
- The table below summarizes the characteristics of the object properties that are defined in the OWL schema. Some of them may be subject to discussion. In particular, regarding the object properties <i>isControlledBy</i>, <i>isGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>isGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
+ The table below summarizes the characteristics of the object properties that are defined in the OWL schema. Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
</p>
<table style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0">
@@ -319,7 +325,7 @@
</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Irreflexive
</th></tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isControlledBy
+<td style="border-style: solid; border-width: 0 1px 1px 0"> wasControlledBy
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
@@ -329,7 +335,7 @@
</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
</td></tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isDerivedFrom
+<td style="border-style: solid; border-width: 0 1px 1px 0"> wasDerivedFrom
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
@@ -340,7 +346,7 @@
</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
</td></tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isParticipantIn
+<td style="border-style: solid; border-width: 0 1px 1px 0"> hadParticipant
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
@@ -351,7 +357,7 @@
</td></tr>
<tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isGeneratedBy
+<td style="border-style: solid; border-width: 0 1px 1px 0"> wasGeneratedBy
</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
@@ -361,7 +367,7 @@
</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
</td></tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isUsedBy
+<td style="border-style: solid; border-width: 0 1px 1px 0"> used
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
@@ -371,7 +377,7 @@
</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
</td></tr>
<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> isPrecededBy
+<td style="border-style: solid; border-width: 0 1px 1px 0"> preceded
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
@@ -383,10 +389,11 @@
</td></tr></table>
<section>
<img src="http://www.w3.org/2011/prov/wiki/images/2/2d/Object_Properties_Cardinalities.PNG" />
+ <div class='issue'>update picture above to use properties in past tense</div>
<h4>Additional properties </h4>
<div class="note">The following constraints are extracted from the
ProvenanceModel document. The text below should be kept consistent
- with the otehr document, with bidirectional links. The plan is to
+ with the other document, with bidirectional links. The plan is to
insert formalizations of these constraints once the OWL
ontology/vocabulary is mature enough to permit this.
@@ -401,15 +408,15 @@
assertion of a process execution, one can infer that the start
precedes the end of the represented activity." (<a href="../model/ProvenanceModel.html#PIL:0001">link</a>)
</li><li> <a name="PIL:0002" href="#PIL:0002">PIL:0002</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
-if the assertion <b>isGeneratedBy(e,pe,r)</b>
-or <b>isGeneratedBy(e,pe,r,t)</b> holds, the values of <em>some</em> of <b>e</b>'s
+if the assertion <b>wasGeneratedBy(e,pe,r)</b>
+or <b>wasGeneratedBy(e,pe,r,t)</b> holds, the values of <em>some</em> of <b>e</b>'s
attributes are determined by the activity denoted by <b>pe</b> and the
entities used by <b>pe</b>.
Only some (possibly none) of the attributes values may be determined
since, in an open world, not all used entities may have been
asserted."
(<a href="../model/ProvenanceModel.html#PIL:0002">link</a>)
-</li><li><a name="PIL:0003" href="#PIL:0003">PIL:0003</a> "Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, one can
+</li><li><a name="PIL:0003" href="#PIL:0003">PIL:0003</a> "Given an assertion <b>wasGeneratedBy(x,pe,r)</b> or <b>wasGeneratedBy(x,pe,r,t)</b>, one can
infer that the generation of the thing denoted by <b>x</b> precedes the end
of <b>pe</b> and follows the beginning of <b>pe</b> "
(<a href="../model/ProvenanceModel.html#PIL:0003">link</a>)
@@ -419,49 +426,49 @@
(Defunct.)
</li><li><a name="PIL:0005" href="#PIL:0005">PIL:0005</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
- assertion <b>uses(pe,e,r)</b> or <b>uses(pe,e,r,t)</b> holds,
+ assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds,
the existence of the value of an attribute of <b>e</b>' is a pre-condition for the activity denoted by <b>pe</b> to terminate." (<a href="../model/ProvenanceModel.html#PIL:0005">link</a>)
</li><li><a name="PIL:0006" href="#PIL:0006">PIL:0006</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
- assertion <b>uses(pe,e,r)</b> or <b>uses(pe,e,r,t)</b> holds, one can
+ assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds, one can
infer that the use of the thing denoted by <b>e</b> precedes the end
of <b>pe</b> and follows the beginning of <b>pe</b>. Furthermore, we
can infer that the generation of the thing denoted by <b>e</b> always precedes
its use." (<a href="../model/ProvenanceModel.html#PIL:0006">link</a>)
-</li><li> <a name="PIL:0007" href="#PIL:0007">PIL:0007</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>
-or <b>isDerivedFrom(e2,e1)</b> holds, if and only if:
+</li><li> <a name="PIL:0007" href="#PIL:0007">PIL:0007</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
+or <b>wasDerivedFrom(e2,e1)</b> holds, if and only if:
the values of some attributes
of <b>e2</b> are partly or fully determined by the values of some
attributes of <b>e1</b>." (<a href="../model/ProvenanceModel.html#PIL:0007">link</a>)
-</li><li><a name="PIL:0008" href="#PIL:0008">PIL:0008</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>
-or <b>isDerivedFrom(e2,e1)</b> holds, then
+</li><li><a name="PIL:0008" href="#PIL:0008">PIL:0008</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
+or <b>wasDerivedFrom(e2,e1)</b> holds, then
the use
of characterized thing denoted by <b>e1</b> precedes the generation of
the characterized thing denoted by <b>e2</b>." (<a href="../model/ProvenanceModel.html#PIL:0008">link</a>)
-</li><li><a name="PIL:0009" href="#PIL:0009">PIL:0009</a> "If <b>isDerivedFrom(e2,e1)</b> holds, then there exists a process execution <b>pe</b>, and roles <b>r1</b>,<b>r2</b>,
+</li><li><a name="PIL:0009" href="#PIL:0009">PIL:0009</a> "If <b>wasDerivedFrom(e2,e1)</b> holds, then there exists a process execution <b>pe</b>, and roles <b>r1</b>,<b>r2</b>,
such that:
- <b>isGeneratedBy(e2,pe,r2)</b> and <b>uses(pe,e1,r1)</b>." (<a href="../model/ProvenanceModel.html#PIL:0009">link</a>)
-</li><li><a name="PIL:0010" href="#PIL:0010">PIL:0010</a> "If <b>isDerivedFrom(e2,e1,pe,r2,r1)</b> holds, then <b>isGeneratedBy(e2,pe,r2)</b> and <b>uses(pe,e1,r1)</b> also hold." (<a href="../model/ProvenanceModel.html#PIL:0010">link</a>)
+ <b>wasGeneratedBy(e2,pe,r2)</b> and <b>used(pe,e1,r1)</b>." (<a href="../model/ProvenanceModel.html#PIL:0009">link</a>)
+</li><li><a name="PIL:0010" href="#PIL:0010">PIL:0010</a> "If <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b> holds, then <b>wasGeneratedBy(e2,pe,r2)</b> and <b>used(pe,e1,r1)</b> also hold." (<a href="../model/ProvenanceModel.html#PIL:0010">link</a>)
</li><li><a name="PIL:0011" href="#PIL:0011">PIL:0011</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, and role <b>r2</b>,
-if <b>isDerivedFrom(e2,e1)</b> and <b>isGeneratedBy(e2,pe,r2)</b> hold, then there exists a role <b>r1</b>,
-such that <b>uses(pe,e1,r1)</b> also holds." (<a href="../model/ProvenanceModel.html#PIL:0011">link</a>)
+if <b>wasDerivedFrom(e2,e1)</b> and <b>wasGeneratedBy(e2,pe,r2)</b> hold, then there exists a role <b>r1</b>,
+such that <b>used(pe,e1,r1)</b> also holds." (<a href="../model/ProvenanceModel.html#PIL:0011">link</a>)
</li>
<li><a name="PIL:0012" href="#PIL:0012">PIL:0012</a> "Given two entities <b>e1</b> and <b>e2</b>, if the assertion <b>isEventuallyDerivedFrom(e2,e1)</b>
holds, then:
generation of the characterized thing denoted by <b>e1</b> precedes the generation of
the characterized thing denoted by <b>e2</b>." (<a href="../model/ProvenanceModel.html#PIL:0012">link</a>)
</li>
-<li><a name="PIL:0013" href="#PIL:0013">PIL:0013</a> "An assertion "isComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>:
+<li><a name="PIL:0013" href="#PIL:0013">PIL:0013</a> "An assertion "wasComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>:
<ol>
<li> if a mapping can be established from an attribute X of B to an attribute Y of A, then the values of A and B must be consistent with that mapping</em> </li>
<li>B has some attribute that A does not have
</li></ol>" (<a href="../model/ProvenanceModel.html#PIL:0013">link</a>)
</li>
-<li><a name="PIL:0014" href="#PIL:0014">PIL:0014</a> "Given a process execution <b>pe</b> and entity <b>e</b>, <b>hasParticipant(pe,e)</b> holds if and only if:
+<li><a name="PIL:0014" href="#PIL:0014">PIL:0014</a> "Given a process execution <b>pe</b> and entity <b>e</b>, <b>hadPariticipant(pe,e)</b> holds if and only if:
<ul>
-<li> <b>uses(pe,e)</b> holds, or</li>
-<li> <b>isControlledBy(pe,e)</b> holds, or</li>
-<li> <b>isComplementOf(e1,e)</b> holds for some entities <b>e1</b>, and
- <b>hasParticipant(pe,e1)</b> some process execution <b>pe</b>.</li>
+<li> <b>used(pe,e)</b> holds, or</li>
+<li> <b>wasControlledBy(pe,e)</b> holds, or</li>
+<li> <b>wasComplementOf(e1,e)</b> holds for some entities <b>e1</b>, and
+ <b>hadPariticipant(pe,e1)</b> some process execution <b>pe</b>.</li>
</ul>" (<a href="../model/ProvenanceModel.html#PIL:0014">link</a>)
</li>
<li><a name="PIL:XXXX" href="#PIL:XXXX">PIL:XXXX</a> "Template