--- a/model/ProvenanceModel.html Thu Aug 25 10:26:45 2011 +0100
+++ b/model/ProvenanceModel.html Thu Aug 25 17:18:05 2011 +0100
@@ -731,11 +731,15 @@
this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>,
which at the minimum implies temporal ordering, specified as follows:</p>
-<p>Given two entities <b>e1</b> and <b>e2</b>, if the assertion <b>isEventuallyDerivedFrom(e2,e1)</b>
+<div class='constraint'>
+ <p>
+ <a name="PIL:0012">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>.
+the characterized thing denoted by <b>e2</b>.</a>
+ [<a href="../ontology/ProvenanceFormalModel.html#PIL:0012">PIL:0012</a>]
</p>
+ </div>
<p>Note that temporal ordering is between generations of <b>e1</b>
and <b>e2</b>, as opposed to process execution linked derivation,
@@ -758,7 +762,7 @@
<p>
If <b>isDerivedFrom(e2,e1)</b> holds because attribute <b>a2.1</b> of <b>e2</b> is determined by attribute <b>a1.1</b> of <b>e1</b>,
-and if <b>isDerivedFrom(e3,e2)</b> holds because attribute <b>a3.1</b>of <b>e3</b> is determined by attribute <b>a2.2</b> of <b>e1</b>, it is not necessary the case that an attribute of <b>e3</b> is determined by an attribute of <b>e1</b>, so, an asserter may not be able to assert <b>isDerivedFrom(e3,e1)</b>. Hence, constraints on attributes invalidate transitivity in the general case.
+and if <b>isDerivedFrom(e3,e2)</b> holds because attribute <b>a3.1</b>of <b>e3</b> is determined by attribute <b>a2.2</b> of <b>e1</b>, it is not necessarily the case that an attribute of <b>e3</b> is determined by an attribute of <b>e1</b>, so, an asserter may not be able to assert <b>isDerivedFrom(e3,e1)</b>. Hence, constraints on attributes invalidate transitivity in the general case.
</p>
<p>However, there is sense that <b>e3</b> still depends on <b>e1</b>, since <b>e3</b> could not be generated without <b>e1</b> existing. Hence, we introduce a weaker notion of derivation, which is transitive.</p>
@@ -892,15 +896,17 @@
</pre>
</p>
+<div class='constraint'>
+<p>
-<p>
-An assertion "isComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>:
+ <a name="PIL:0013">An assertion "isComplementOf(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>
+</li></ol></a>
+ [<a href="../ontology/ProvenanceFormalModel.html#PIL:0013">PIL:0013</a>]
</p>
-
+ </div>
<div class='issue'>Mutual ivpOf each other should be agreed. This is <a href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a></div>
@@ -930,7 +936,7 @@
<ol>
<li>Generation of an entity by a process execution: identifies the final instant of an entity's creation timespan, after which the characterized thing represented by an entity becomes available for use.</li>
<li>Use of an entity by a process execution: identifies the first instant of an entity's consumption timespan.</li>
-<li>Start of a process execution: identifies the instant an activity represented by a the process execution starts</li>
+<li>Start of a process execution: identifies the instant an activity represented by a process execution starts</li>
<li>End of a process execution: identifies the instant an activity represented by a process execution ends</li>
</ol>
</section>
@@ -1103,7 +1109,8 @@
<li> contains an entity <b>e</b>;
</ul>
-
+<div class='constraint'>
+<a name="PIL:0014">
Given a process execution <b>pe</b> and entity <b>e</b>, <b>hasParticipant(pe,e)</b> holds if and only if:
<ul>
<li> <b>uses(pe,e)</b> holds, or</li>
@@ -1111,6 +1118,9 @@
<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>
</ul>
+</a> [<a
+href="../ontology/ProvenanceFormalModel.html#PIL:0014">PIL:0014</a>]
+</div>
--- a/ontology/ProvenanceFormalModel.html Thu Aug 25 10:26:45 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Thu Aug 25 17:18:05 2011 +0100
@@ -301,9 +301,18 @@
<section>
<img src="http://www.w3.org/2011/prov/wiki/images/2/2d/Object_Properties_Cardinalities.PNG" />
<h4>Additional properties </h4>
-<div class="note">TODO: Number these and cross-reference with
- Provenance Model, to make it easier to keep the definitions
- consistent (and ensure we don't forget some properties).
+<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
+ insert formalizations of these constraints once the OWL
+ ontology/vocabulary is mature enough to permit this.
+
+ If a constraint is changed in the model document, please copy the
+ new version here, and check whether it is still consistent with the
+ formalization (if any).
+
+ If a constraint is dropped, please mark it as "defunct" - don't
+ delete it!
</div>
<ul><li> <a name="PIL:0001" href="#PIL:0001">PIL:0001</a> "From the
assertion of a process execution, one can infer that the start
@@ -352,9 +361,36 @@
</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>)
-</li><li><a name="PIL:XXXX" href="#PIL:XXXX">PIL:XXXX</a> "Template
+</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>:
+<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:
+<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>
+</ul>" (<a href="../model/ProvenanceModel.html#PIL:0014">link</a>)
+</li>
+<li><a name="PIL:XXXX" href="#PIL:XXXX">PIL:XXXX</a> "Template
for more constraints" (<a href="../model/ProvenanceModel.html#PIL:XXXX">link</a>)
-</li><li> Various things involving IVP-of
+</li>
+<li><div class='constraint'>
+ <p>
+ <a name="PIL:XXXX">Template for constraints in ConceptualModel</a>
+ [<a href="../ontology/ProvenanceFormalModel.html#PIL:XXXX">PIL:XXXX</a>]
+</p>
+ </div>
+<li> Various things involving IVP-of
</li></ul>
</section>