PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm]

PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm]

http://www.w3.org/2011/prov/track/issues/370

Raised by: Luc Moreau
On product: prov-dm


TracedTo was introduced in the data model so as to have a transitive relation over derivations, etc. It can be inferred. In contrast, its definition as an assertion was not very compelling. In the latest version of prov-constraints, it is only defined as something that can be inferred.  

Really, it looks like a relation that is useful to express queries.

So, in the spirit of simplification, should we move it out of prov-dm, and have it defined in prov-constraints only.

At the same time, it could be simplified to a binary relation, since we have no way of inferring attributes for this relation.

Received on Monday, 30 April 2012 11:02:49 UTC