PROV-CONSTRAINTS - how can we know they're satisfied?

Something that's been gnawing at the back of my mind is a detail of how the 
PROV-CONSTRAINTS story plays out.  My understanding is that the data model and 
ontology terms are defined separately from the constraints that underpin some 
inferences about provenance that are believed to be useful.  But we don't want 
to prohibit someone from using and publishing provenance data without taking 
care of all the niceties (the "scruffy" approach).

So how can we know if some arbitrary set of provenance information is intended 
(or claimed) to conform to PROV-CONSTRAINTS?

It seems to me that this proposal by Pat Hayes might, if adopted by the RDF 
group, supply a mechanism that can be used to assert that all the terms of the 
provenance ontology are being used in accordance with the PROV-CONSTRAINTS, and 
hence can signal validity of the various inferences described in PROV-CONSTRAINTS.

   http://www.w3.org/2011/rdf-wg/wiki/AnotherSpin

#g
--

Received on Tuesday, 5 June 2012 21:38:39 UTC