W3C home > Mailing lists > Public > public-prov-wg@w3.org > April 2012

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]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Mon, 30 Apr 2012 12:34:41 +0100
Message-ID: <EMEW3|4c96d8b0fba2c40db7cb6b99dd14d760o3YCYi08L.Moreau|ecs.soton.ac.uk|4F9E78D1.20302@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Paul,
It's a good use case, thanks.
Luc

On 04/30/2012 12:31 PM, Paul Groth wrote:
> My concrete use case would be to put things like confidence values on
> these links. For example, in one of our systems we "guess" if there is
> a tracedto and what to put some confidence value on that link. This is
> one of the reasons I like attributes in the model.
>
> We could do this with derivation so it's not a big deal but the nice
> thing is that traced to is transitive...
>
> cheers
> Paul
>
>
>
> On Mon, Apr 30, 2012 at 1:26 PM, Luc Moreau<L.Moreau@ecs.soton.ac.uk>  wrote:
>    
>> Hi Paul,
>>
>> Do you have a concrete use case, in particular, with attributes?
>>
>> Thanks,
>> Luc
>>
>> On 04/30/2012 12:17 PM, Paul Groth wrote:
>>      
>>> I think traced-to is useful to sometime assert especially in the case
>>> where you want to be very vague about provenance. It's also nice to
>>> have attributes so that you can associate other sorts of information
>>> with it.
>>>
>>> However, if others think it's nicer to be inference only then I won't
>>> be stand in the way.
>>>
>>> cheers
>>> Paul
>>>
>>> On Mon, Apr 30, 2012 at 1:02 PM, Provenance Working Group Issue
>>> Tracker<sysbot+tracker@w3.org>    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
>>
>>
>>      
>
>
>    

-- 
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 Monday, 30 April 2012 11:35:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 30 April 2012 11:35:10 GMT