Last Call: Constraints of the Provenance Data Model

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. 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.

About Ivan Herman

Ivan Herman is the Technical Lead for Publishing@W3C. For more details, see

One Response to Last Call: Constraints of the Provenance Data Model

  1. Pingback: W3C Provenance Working Group Publishes Last Call Working Draft -