- From: Timothy Lebo <lebot@rpi.edu>
- Date: Tue, 15 May 2012 11:11:42 -0400
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: public-prov-wg@w3.org
On May 15, 2012, at 11:06 AM, Luc Moreau wrote: > Hi all, > > I didn't see support for dropping tracedTo from prov-dm, or even making it binary. > > Given this, I propose to close this issue, without any change to the specification. +1 -Tim > This means that tracedTo can be asserted. > > James, this may have implications on the constraints document. > > Regards, > Luc > > On 04/30/2012 12:02 PM, Provenance Working Group Issue Tracker wrote: >> 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. >> >> >> >> >> > > -- > 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@ecs.soton.ac.uk > United Kingdom http://www.ecs.soton.ac.uk/~lavm > > >
Received on Tuesday, 15 May 2012 15:12:55 UTC