[Esip-preserve] FYI: Last Call: Constraints of the Provenance Data Model

[Curt Tilmes]

-------- Original Message --------
Subject: Last Call: Constraints of the Provenance Data Model
Date: Mon, 17 Sep 2012 03:11:59 -0500
From: Luc Moreau <l.moreau at ecs.soton.ac.uk>

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