--- a/ontology/ProvenanceFormalModel.html Sat Oct 15 20:32:10 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html Sun Oct 16 20:31:50 2011 -0400
@@ -1466,63 +1466,24 @@
</p>
<div class='note'> Is this an equivalence constraint or can we assert a subPropertyOf property between wasDerivedFrom and wasEventuallyFrom?
</div>
- </section>
- <section id="remaining-constraints">
- <h4>Remaining constraints not yet addressed by PROV-O</h4>
- <ul>
-<li>
-<a
-id='wasComplementOf-necessary-cond'>wasComplementOf-necessary-cond</a>
-An assertion "wasComplementOf(B,A)" holds over the temporal intersection
-of A and B, <span class='conditional'>only if</span>:
-<ol>
-<li> if a mapping can be established from an attribute X of entity
-expression identified by B to an attribute Y of entity expression
-identified by A, then the values of A and B must be consistent with that
-mapping;</li>
- <li>entity expression identified by B has some attribute that entity
- expression identified by A does not have.
- </li></ol>
-(<a
-href="../model/ProvenanceModel.html#wasComplementOf-necessary-cond">definition</a>)
-</li>
-
-<li>
-<a id='participation'>participation</a>
-Given two identifiers <span class="name">pe</span> and <span
-class="name">e</span>, respectively identifying a process execution
-expression and an entity expression, the expression <span
-class="name">hadParticipant(pe,e)</span> holds <span
-class='conditional'>if and only if</span>:
-<ul>
-<li> <span class="name">used(pe,e)</span> holds, or</li>
-<li> <span class="name">wasControlledBy(pe,e)</span> holds, or</li>
-<li><span class="name">wasComplementOf(e1,e)</span> holds for some
-entity expression identified by <span class="name">e1</span>, and
- <span class="name">hadParticipant(pe,e1)</span> holds some process
- execution expression identified by <span class="name">pe</span>.</li>
- </ul>
-(<a
-href="../model/ProvenanceModel.html#participation">definition</a>)
-
-</li>
-
-</ul>
-
-<div class="note">The above constraints are extracted from the
- ProvenanceModel document. The text below should be kept consistent
- 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.
-
- 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>
-</section>
+ </section>
+ <section id ="provenance-constraint-on-complementof-necessary-cond">
+ <h4>Provenance constraint on wasComplementOf (wasComplementOf-necessary-cond)</h4>
+ <p>The PROV-DM describes a constraint that wasComplementOf property holds between two entities over a temporal intersection of the two entities.
+ </p>
+ <div class='note'> Without an explicit association of time value, this constraint cannot be stated or enforced in PROV ontology.
+ </div>
+ </section>
+ <section id ="provenance-constraint-on-hasParticipant-participant">
+ <h4>Provenance constraint on hadParticipant (participant)</h4>
+ <p>The PROV-DM describes a constraint that hadParticipant property holds between an instance of Entity and instance of ProcessExecution if the two instances are linked by "used" of "wasControlledBy" or "wasComplementOf".
+ </p>
+ <div class='issue'> "Given two identifiers pe and e, respectively identifying a process execution expression and an entity expression, the expression hadParticipant(pe,e) holds if and only if:
+ *used(pe,e) holds, or
+ *wasControlledBy(pe,e) holds, or
+ *wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe." This is <a href="http://www.w3.org/2011/prov/track/issues/127">ISSUE-127</a>
+ </div>
+ </section>
</section>
</section>