getting prov-constraints ready for release
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 29 Apr 2012 14:14:12 +0100
changeset 2643 076b7ce128ad
parent 2642 1697d5043da5
child 2644 aa401578941a
getting prov-constraints ready for release
model/prov-constraints.html
--- a/model/prov-constraints.html	Sun Apr 29 14:12:52 2012 +0100
+++ b/model/prov-constraints.html	Sun Apr 29 14:14:12 2012 +0100
@@ -281,28 +281,6 @@
  href="#collection-constraints" class="sectionRef"></a> and <a
  href="#account-constraints" class="sectionRef"></a>).  </p>
 
-<<<<<<< local
-<!--
-<div class="note">Question to James: The term 'PROV Instance' seems to have a precise meaning. I read this as a PROV Description Set. Should we define it? Every where it occurs, there is a link to its first occurrence.</div>
--->
-=======
->>>>>>> other
-
-<<<<<<< local
-<p>
-The specification also describes how the inferences, definitions, and
-constraints should be used (<a href="#compliance"
-class="sectionRef"></a>).  Briefly, a PROV compliant application is
-allowed (but not required) to treat two PROV descriptions the same
-if they are equal after applying the inference rules and possibly
-reordering expressions, and we can define a canonical form for <a title="PROV instance">PROV
-instances</a> obtained by applying all possible inference rules.  In
-addition, a validating PROV application is required to check that
-the constraints are satisfied in (the normal form of) provenance data generated or consumed by the application.
-</p>
-=======
-
->>>>>>> other
 
 <p>
 Finally, the specification includes a section (<a