[provenance-challenge] Last Call: Constraints of the Provenance Data Model

[Luc Moreau]

Dear all,

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.

The specification is here: http://www.w3.org/TR/prov-constraints/

Best regards,
Luc


-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau at ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm