Re: 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]

Hi all,
This issue is now closed.
Luc

On 15/05/12 16:06, 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.
> 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, 4 September 2012 12:44:31 UTC