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

Re: Contextualization ---> Optional bundle in Specialization

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Thu, 28 Jun 2012 12:53:57 +0100
Message-ID: <EMEW3|d0afcf3a649a5f80947cc13134dac302o5RCrw08L.Moreau|ecs.soton.ac.uk|4FEC45D5.7090405@ecs.soton.ac.uk>
To: Timothy Lebo <lebot@rpi.edu>, Graham Klyne <graham.klyne@zoo.ox.ac.uk>
CC: Provenance Working Group WG <public-prov-wg@w3.org>
Hi Graham,

On 06/28/2012 12:47 PM, Timothy Lebo wrote:
> On Jun 27, 2012, at 6:53 PM, Graham Klyne wrote:
>
>    
>> On 27/06/2012 22:19, Luc Moreau wrote:
>>      
>>> Are you trying to say that if
>>>
>>> specializationOf(luc-in-boston,luc)
>>> specializationOf(luc-in-soton,luc)
>>>
>>> You cannot see any semantic distinction between luc-in-boston and luc-in-soton?????
>>> Surely, there is a difference!
>>>        
>> Indeed I cannot.
>>
>> There is no semantically discernible difference here.  Under alpha conversion (change of local variable name), it would be semantically equivalent to claim
>>
>> specializationOf(a,luc)
>> specializationOf(b,luc)
>>
>> Now what's the difference here between a and b?
>>      

>
>    
>> They might logically be the same thing.
>>      
> Absolutely!
> And they might logically be distinct things.
> One simply doesn't know, and nobody should assume one way or another.
>
> As far as I can tell, any RDF triple ever asserted will feed your concern about breaking the semantics or RDF.
>
> -Tim
>
>
>    
In fact, I don't understand what this discussion has to do with 
contextualizationOf (or any renaming it).

All the concerns you have Graham apply to the whole of PROV, 
irrespective of bundle/contextualization.

Luc


>> #g
>>
>>
>>
>>      
>    

-- 
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, 28 June 2012 11:54:30 UTC

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