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

Re: PROV-ISSUE-206: three proposals to vote on (deadline Jan 15th midnight GMT)

From: Daniel Garijo <dgarijo@delicias.dia.fi.upm.es>
Date: Tue, 17 Jan 2012 16:41:37 +0100
Message-ID: <CAExK0Dd-x1c2yEypqZLH6Q5h5uFKTjzGHRLWRnoVh+oDvVMHjw@mail.gmail.com>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Cc: public-prov-wg@w3.org
Hi Luc,
thanks for the clarification.
I have re-read both usage and association sections in prov dm, and I think
that the distinction you just did between Usage and Association
may be very useful to know how to use each of them.

We had the problem before, but I share Khalid's view in that
it was less confusing to understand. So my vote is +0 to 2) and 3)

Thanks,
Daniel

2012/1/16 Luc Moreau <L.Moreau@ecs.soton.ac.uk>

> **
> Hi Daniel,
>
> To some extent, the problem already existed since an agent is an entity,
> and therefore
> can be used by an activity.
>
> example: luc-in-boston decides to go to Southamtpon
>
> wasGeneratedBy(luc-in-southampton,travel)
> used(travel, luc-in-boston)
> wasAssociatedWith(travel,luc-in-boston, [role="decision maker"])
>
>
> It's true however that we don't distinguish well usage from association.
> I see usage as the inputs of an activity (like generation is about the
> outputs),
> where I see activities as functions consuming inputs and producing outputs.
>
> The relation wasAssociatedWith relates an activity with an entity in a
> capacity other than input.
> Hence, they are not subproperties of each other.
>
> Luc
>
>
> On 01/16/2012 01:44 PM, Daniel Garijo wrote:
>
> Hi Luc,
> +1 For proposal 1.
> As for proposals 2 and 3, I have a question before voting:
> Now we have weakened wasControlledBy to transform it to wasAssociatedWith,
> but I find that it may be confused with Usage. Usage also involves
> an association between activities and entities. Would it become a
> subproperty of
> wasAssociatedWith? What would be the difference between a Usage and
> an association which has the same role as in the usage?
>
> Thanks,
> Daniel
>
> 2012/1/16 Luc Moreau <L.Moreau@ecs.soton.ac.uk>
>
>> Dear all,
>> Kind reminder for these proposals. I was hoping to incorporate changes
>> in the document as soon as possible.
>> Thanks,
>> Luc
>>
>>
>> On 01/11/2012 01:27 PM, Luc Moreau wrote:
>>
>>> Dear all,
>>>
>>> The email below was sent just before Xmas. It's now time to try and
>>> reach some decisions
>>> about it. Can you express your support for the following proposals in
>>> the usual way.
>>> Deadline: Jan 15, midnight.
>>>
>>> Cheers,
>>> Luc
>>>
>>> On 12/21/2011 10:11 PM, Provenance Working Group Issue Tracker wrote:
>>>
>>>> PROV-ISSUE-206 (agent-asserted-not-inferred): agents should not be
>>>> inferred, and wasAssociatedWith should also work with entities [prov-dm]
>>>>
>>>> http://www.w3.org/2011/prov/track/issues/206
>>>>
>>>> Raised by: Luc Moreau
>>>> On product: prov-dm
>>>>
>>>>
>>>>
>>>> Inference
>>>>
>>>> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#association-agent
>>>> originates back from an agreement at F2F1, where we said that agents
>>>> can be inferred from wasControlledBy.
>>>>
>>>> The inference was kept, and wasControlledBy replaced by
>>>> wasAssociatedWith.
>>>>
>>>> However, I think this has undesirable consequences. For instance, in
>>>> the example that follows constraint
>>>>
>>>> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#wasStartedBy,
>>>>
>>>> we see that an entity (a request to create an activity) is inferred to
>>>> become
>>>> an agent because of the above inferences.
>>>>
>>>> There are many notions of agents out there, and we should go for
>>>> minimum semantic commitment in prov-dm to facilitate adoption. Inferring
>>>> agent is likely to be suspicious in some communities.
>>>>
>>>> Hence, proposal 1: remove inference association-agent from the document.
>>>>
>>>>  Furthermore, for the example above to type correctly,
>>>>
>>>> proposal 2: allow wasAssociatedWith to relate an activity and an entity
>>>>
>>>>  proposal 3: allow two forms for wasAssociatedWith:
>>>>            wasAssociatedWith(activity, agent, plan, attributes)
>>>>               and
>>>>            wasAssociatedWith(activity, entity, attributes)
>>>>
>>>>
>>>>  Cheers,
>>>> Luc
>>>>
>>>>
>>>>
>>>>
>>>>
>>>
>> --
>> 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 Tuesday, 17 January 2012 15:42:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:11 UTC