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: Paul Groth <p.t.groth@vu.nl>
Date: Mon, 30 Apr 2012 13:31:48 +0200
Message-ID: <CAJCyKRp=MLiQntT-p3DUBQ9X9PsB_isEN1fPyF=57qTdpWLsbg@mail.gmail.com>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Cc: "public-prov-wg@w3.org" <public-prov-wg@w3.org>
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
>
>



-- 
--
Dr. Paul Groth (p.t.groth@vu.nl)
http://www.few.vu.nl/~pgroth/
Assistant Professor
Knowledge Representation & Reasoning Group
Artificial Intelligence Section
Department of Computer Science
VU University Amsterdam
Received on Monday, 30 April 2012 11:32:17 GMT

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