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

Re: ISSUE-385: hasProvenanceIn: finding a solution

From: Timothy Lebo <lebot@rpi.edu>
Date: Thu, 7 Jun 2012 17:24:16 -0400
Cc: W3C provenance WG <public-prov-wg@w3.org>
Message-Id: <C14362CF-BF63-43AE-917D-8221D2BC9514@rpi.edu>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Luc,

On Jun 6, 2012, at 5:22 PM, Luc Moreau wrote:

> Hi Tim,
> 
> I didn't exactly understand it that way: 
> 
> bundle b1
>    entity(general1)
>    activity(a1)
>    used(a1,general1)
> endBundle
> 
> bundle b2
>    entity(specific1)
>    activity(a2)
>    used(a2,specific1)
>    specializationOf(specific1,general1)
> endBundle
> 
> bundle b3
>    entity(e)
>    contextualizationOf(e, general1, bundle1) // e presents the facet of general1 in bundle1
>    contextualizationOf(e, specific1, bundle2) // e also presents the facet of specific1 in bundle2
> endBundle
> 
> In your rdf encoding,
> "tool:Bob1 in tool:analysis01 is a specialization of the thing with identifier ex:Bob over in bundle ex:run1".
> becomes




> "e in b3 is a specialization of the thing with identifier specific1 in bundle2" (1)
> and 
> "e in b3 is a specialization of the thing with identifier general1 in bundle1" (2)
> 


^^  okay.


> I don't think that (1) holds since "e presents the facet of general1 in bundle1"

Why not?

-Tim

> 
> Thoughts?
> 
> Luc
> 
> 
> 
> 
> On 06/06/12 20:34, Timothy Lebo wrote:
>> 
>> (since identifiers are getting confusing, I'm rewriting my email and reorganizing the order of examples from top to bottom).
>> 
>> 
>> On Jun 6, 2012, at 3:14 PM, Timothy Lebo wrote:
>> 
>>> On Jun 6, 2012, at 2:23 PM, Luc Moreau wrote:
>> 
>> 
>> Luc/DM's prov-n:
>> 
>> 
>>>>> bundle tool:analysis01     # found at http://dvcs.w3.org/hg/prov/raw-file/default/model/working-copy/wd6-contextualization.html
>>>>> 
>>>>> contextualizationOf(tool:Bob1, ex:Bob, ex:run1)
>>>>> endBundle
>> 
>> would get encoded in prov-o as:
>> 
>> 
>>>>> tool:analysis01 {
>>>>>     tool:Bob1 
>>>>>         prov:specializationOf [
>>>>>               a prov:Entity;  prov:ContextualizedEntity;
>>>>>               prov:identifier  ex:Bob;
>>>>>               prov:inContext ex:run1;
>>>>>         ];
>>>>>     .
>>>>> }
>> 
>> read "tool:Bob1 in tool:analysis01 is a specialization of the thing with identifier ex:Bob over in bundle ex:run1".
>> 
>> would get re-encoded to prov-n as:
>> 
>>>> contextualizationOf(anonymous, ex:Bob, ex:run1)
>>>> alternateOf(tool:Bob1,  anonymous )
>> 
>> 
>> Tim's response:
>> 
>> 
>>> Given your mapping back, I think I'm still okay.
>>> 
>>> In my mapping, I'd just _name_ my ContextualizedEntity and use alternateOf instead of specializationOf.
>>> 
>>> But why wouldn't it be specializationOf? Then, we get to "inherit" the characterization, which seemed to be your intent from the beginning.
>>> 
>>> Any way it falls from here, I think this is close enough for me to be content.
>> 
>> 
>> 
>> -Tim
>> 
>> 
>> 
Received on Thursday, 7 June 2012 21:24:47 UTC

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