ISSUE-45 and ISSUE-67 removed.
Not wasDerivedFrom is not transitive (but dependedOn is)
--- a/ontology/ProvenanceFormalModel.html Mon Sep 26 11:22:55 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html Mon Sep 26 18:18:40 2011 +0100
@@ -317,10 +317,8 @@
</rdf:Description>
</pre>
</div>
- <div class='issue'>Is derivation transitive? If so, it should not be introduced as an assertion. This is <a href="http://www.w3.org/2011/prov/track/issues/45">ISSUE-45</a>.</div>
<div class='issue'>Should derivation have a time? Which time? This is <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
<div class='issue'>Should we specifically mention derivation of agents? This is <a href="http://www.w3.org/2011/prov/track/issues/42">ISSUE-42</a>.</div>
- <div class='resolved'> What's the difference between one step and multi-step derivation assertion. Justification of why one entity can be generated at most once. Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
</section>
<section>
<h4>dependedOn</h4>