Re: PROV-ISSUE-482: [external question] bundle IDs on insertion, context [prov-dm]

On 06/09/2012 12:55, Paul Groth wrote:
> Hi Graham,
>
> I agree that the use of trig may cause confusion. I however think we
> can show bundles in rdf just using the concept of a data file to
> illustrate bundles so we would remove any cause for confusion.

Hi Paul,

This whole use of bundles is (potentially) pushing the boundaries of what RDF is 
currently defined to handle.

We can do as you suggest, but do we assume the graphs are merged or kept 
separately?  If separate, I don't think RDF says anything that constrains the 
interpretations used for un-merged RDF graphs.  If we assume they are, or can 
be, merged then what you said before about denoting same resource applies.

(If RDF Datasets were not on the horizon, I'd probably just be agreeing with you.)

#g
--

>
> cheers
> Paul
>
> On Thu, Sep 6, 2012 at 1:26 PM, Graham Klyne<graham.klyne@zoo.ox.ac.uk>  wrote:
>> On 04/09/2012 17:37, Paul Groth wrote:
>>> Luc,
>>>
>>> I agree that this is inherited. Once you start using URIs you are
>>> bound to their semantics which means they denote the same resource.
>>> Furthermore, I think it would be weird for us to say anything about it
>>> as it's treading on other specs turf.
>>
>> With RDF as it stands, I agree.  And I agree about not treading on other
>> specifications' turf.
>>
>> But an option that I don't think is entirely resolved is how bundles are
>> represented in RDF:  as I recall, some of the examples in the ontology document
>> use TRiG notation for bundles, which goes beyond current RDF but which *might*
>> correspond to datasets in the forthcoming version of RDF.
>>
>> Unfortunately, I'm not aware of any consensus on semantics for datasets ... but
>> it is conceivable that URIs in named graphs within a Dataset won't be
>> constrained to use the same (model theoretic) interpretation (via which the
>> denotation is obtained) as the default graph or other named graphs.  In which
>> case the assumption of inheritance may be off.  All this is speculation, but I'm
>> bothered that we get to this stage without a clear steer from the RDF
>> Datasets/named graph situation.
>>
>> Which I suppose may be why the provenance specs are currently silent on the
>> issue of how ids in different bundles are related.
>>
>> #g
>> --
>>
>>
>>> regards
>>> Paul
>>>
>>>
>>>
>>> On Tue, Sep 4, 2012 at 4:59 PM, Luc Moreau<l.moreau@ecs.soton.ac.uk>   wrote:
>>>> Dear all,
>>>>
>>>> I am trying to establish whether this question requires clarifications in
>>>> our documents or not.
>>>>
>>>> Which IDs are we referring to here? Bundle IDs or IDs of entities/agents/etc
>>>> asserted in bundles?
>>>> I assume it's entity/agent/etc IDs.
>>>>
>>>> I believe that both prov-dm and prov-constraints are silent about how to
>>>> interpret a given identifier
>>>> used in two different bundles.
>>>>
>>>> For instance, we can write:
>>>>
>>>> bundle b1
>>>>     entity(id)
>>>> endBundle
>>>>
>>>> and
>>>>
>>>> bundle b2
>>>>      activity(id)
>>>> endBundle
>>>>
>>>> This is valid provenance (according to prov-constraints). It is not required
>>>> explicitly by prov-dm/prov-constraints
>>>> that the identifier/uri id denotes the same resource in both bundles.  But
>>>> isn't this a principle automatically
>>>> "inherited" from the Web architecture?
>>>>
>>>> Thanks,
>>>> Luc
>>>>
>>>>
>>>>
>>>> On 20/08/12 20:27, Timothy Lebo wrote:
>>>>
>>>> Tracker, this is the original email from satra:
>>>>
>>>> http://www.w3.org/mid/CA+A4wO=MwhCCMfaaRJwpBsfN6JCCOh_AhAkANxuP7wUhNNamFg@mail.gmail.com
>>>>
>>>>
>>>> -Tim
>>>>
>>>> On Aug 20, 2012, at 3:16 PM, Provenance Working Group Issue Tracker wrote:
>>>>
>>>> PROV-ISSUE-482: [external question] bundle IDs on insertion, context
>>>> [prov-dm]
>>>>
>>>> http://www.w3.org/2011/prov/track/issues/482
>>>>
>>>> Raised by: Timothy Lebo
>>>> On product: prov-dm
>>>>
>>>> hi all,
>>>>
>>>> if one were implementing a database storing prov bundles, would we have to
>>>> ensure that IDs don't clash in the database insertion code? or is the
>>>> understanding that IDs are only meant to be unique within a given bundle
>>>> context?
>>>>
>>>> cheers,
>>>>
>>>> satra
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>> --
>>>> 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 Thursday, 6 September 2012 13:34:09 UTC