Ivan Herman of the W3C reports, "The W3C Provenance Working Group has published a Last Call Working Draft of Constraints of the Provenance Data Model. This document defines a subset of PROV instances called valid PROV instances. The intent of validation is ensure that a PROV instance represents a history of objects and their interactions which is consistent, and thus safe to use for the purpose of logical reasoning and other kinds of analysis. Valid PROV instances satisfy certain definitions, inferences, and constraints."
He goes on, "These definitions, inferences, and constraints provide a measure of consistency checking for provenance and reasoning over provenance. They can also be used to normalize PROV instances to forms that can easily be compared in order to determine whether two PROV instances are equivalent. Validity and equivalence are also defined for PROV bundles and documents. Comments are welcome through 10 October."
In a separate announcement, Luc Moreau noted, "The PROV-CONSTRAINTS document complements the first three [PROV-DM, PROV-O,PROV-N], and is focused on the notion of valid provenance. The intent of provenance validation is to ensure that a set of PROV statements represents a history of objects and their interactions which is consistent, and thus safe to use for the purpose of logical reasoning and other kinds of analysis. Thus, the document can be used to design a validator that can be used to check the consistency of a PROV statements."
Image: Courtesy W3C