--- a/model/ProvenanceModel.html Tue Dec 20 11:18:35 2011 +0000
+++ b/model/ProvenanceModel.html Tue Dec 20 11:21:26 2011 +0000
@@ -3223,7 +3223,7 @@
<p>A revision record needs to satisfy the following constraint, linking the two entity records by a derivation, and stating them to be a complement of a third entity record.</p>
-<div class='constraint' id='wasRevision'>
+<div class='inference' id='wasRevision'>
Given two identifiers <span class="name">old</span> and <span class="name">new</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
<span class='conditional'>if</span> a record <span class="name">wasRevisionOf(new,old,ag)</span> is asserted, <span class='conditional'>then</span>
there exists an entity record identifier <span class="name">e</span> and attribute-values <span class="name">eAttrs</span>, <span class="name">dAttrs</span>, such that the following records hold:
@@ -3256,8 +3256,6 @@
</div>
-<div class='pending'>Revision should be a class not a property. This is <a href="http://www.w3.org/2011/prov/track/issues/48">ISSUE-48</a>.</div>
-
</section>
@@ -3277,7 +3275,7 @@
<p>Attribution models the notion of an activity generating an entity identified by <span class="name">e</span> being associated with an agent <span class="name">ag</span>, which takes responsibility for generating <span class="name">e</span>. Formally, this is expressed as the following necessary condition.</p>
-<div class='constraint' id='attribution-implication'>
+<div class='inference' id='attribution-implication'>
<span class='conditional'>If</span>
<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
<span class="name">e</span> and <span class="name">ag</span>,
@@ -3343,7 +3341,7 @@
-<div class='constraint' id='quotation-implication'>
+<div class='inference' id='quotation-implication'>
<span class='conditional'>If</span>
<span class="name">wasQuotedFrom(e2,e1,ag2,ag1,attrs)</span> holds for some identifiers
<span class="name">e2</span>, <span class="name">e1</span>, <span class="name">ag2</span>, <span class="name">ag1</span>,