--- a/model/ProvenanceModel.html Fri Nov 18 11:37:55 2011 +0000
+++ b/model/ProvenanceModel.html Fri Nov 18 13:56:45 2011 +0000
@@ -2392,6 +2392,7 @@
<div class="note">
Define a transitive closure of derivation, wascomplementof, wasAssociatedWith, etc.
+This definition is essentially a generalization of dependedOn, computing a transitive closure over more relations.
</div>
<p> A <dfn id="dfn-Traceability">traceability record</dfn> states the existence of a "dependency path" between two entities, indicating that one entity can be shown to be in the lineage of another, and may have influenced it in some way. </p>
@@ -2425,7 +2426,7 @@
<ul>
<li> <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, or</li>
<li> <span class="name">wasDerivedFrom(e2,e1)</span> holds, or</li>
-<li> <span class="name">wasBased(e2,e1)</span> holds, or</li>
+<li> <span class="name">wasBasedOn(e2,e1)</span> holds, or</li>
<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasAssociatedWith(a,e1)</span> hold, for some <span class="name">a</span> and <span class="name">gAttr</span>
<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasStartedBy(a,e1)</span> hold, for some <span class="name">a</span> and <span class="name">gAttr</span>
<li> <span class="name">tracedTo(e2,e)</span> and <span class="name">tracedTo(e,e1)</span> hold for some <span class="name">e</span>.</li>