--- a/ontology/ProvenanceFormalModel.html Mon Oct 10 18:50:23 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Mon Oct 10 18:56:44 2011 +0100
@@ -1324,21 +1324,20 @@
<div class='issue'>"From a process execution expression, one can infer that the start event precedes the end event of the represented activity." This is <a href="http://www.w3.org/2011/prov/track/issues/121">ISSUE-121</a></div>
</section>
<section>
- <h4>Provenance constraint on wasGeneratedBy</h4>
+ <h4>Provenance constraint on wasGeneratedBy (generation-affects-attributes)</h4>
<p>The PROV-DM describes a constraint on wasGeneratedBy that associates the values of attributes of an Entity with the ProcessExecution that generated the Entity.</p>
<div class='issue'>"Given a process execution pe, entity e, role r, and optional time t, if the assertion wasGeneratedBy(e,pe,r) or wasGeneratedBy(e,pe,r,t) holds, the values of some of e's attributes are determined by the activity denoted by pe and the entities used by pe. Only some (possibly none) of the attributes values may be determined since, in an open world, not all used entities may have been asserted." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122 </a> and <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
</section>
<section>
- <h4>Provenance constraint on wasGeneratedBy (II)</h4>
- <p>The second constraint on wasGeneratedBy associates an ordering of events associated with the generation of an Entity instance and the start, end time or event of the PE instance</p>
+ <h4>Provenance constraint on wasGeneratedBy (generation-pe-ordering)</h4>
+ <p>The second constraint on wasGeneratedBy associates an ordering of events associated with the generation of an Entity instance and the start, end time or event of the PE instance.</p>
<div class='issue'>"Given an assertion wasGeneratedBy(x,pe,r) or wasGeneratedBy(x,pe,r,t), one can infer that the generation of the thing denoted by x precedes the end of pe and follows the beginning of pe." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122</a> and <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
+ </section>
+ <section>
+ <h4>Provenance constraint on wasGeneratedBy (generation-unicity)</h4>
+ <p>The PROV-DM describes a constraint on wasGeneratedBy that asserts that given an account, only one PE instance can be associated to an Entity instance by the property wasGeneratedBy.</p>
+ <div class='issue'>"Given an entity expression denoted by e, two process execution expressions denoted by pe1 and pe2, and two qualifiers q1 and q2, if the expressions wasGeneratedBy(e,pe1,q1) and wasGeneratedBy(e,pe2,q2) exist in the scope of a given account, then pe1=pe2 and q1=q2." This is <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
</section>
-<li><a name="PROV:0003" href="#PROV:0003">PROV: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#PROV:0003">link</a>)
-</li>
-
<li><a name="PROV:0005" href="#PROV:0005">PROV: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>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#PROV:0005">link</a>)
Binary file ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf has changed
Binary file ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.pdf has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.png has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.pdf has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.png has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.properties.pdf has changed
Binary file ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.properties.png has changed