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

Re: complementOf -> viewOf: proposed text

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 17 Jan 2012 18:01:23 +0000
Message-ID: <4F15B773.9090303@ninebynine.org>
To: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
CC: Paolo Missier <Paolo.Missier@ncl.ac.uk>, Luc Moreau <L.Moreau@ecs.soton.ac.uk>, "public-prov-wg@w3.org" <public-prov-wg@w3.org>
Stian, nice example! ...

On 17/01/2012 15:14, Stian Soiland-Reyes wrote:
> On Mon, Jan 16, 2012 at 14:31, Paolo Missier<Paolo.Missier@ncl.ac.uk>  wrote:
>
>> I think of alternateOf as non-functional and transitive, which gives us
>> "clusters of alternates". We may later decide that it is convenient to add
>> properties that make a set of alternates into a lattice.
>
> No, not transitive.
>
> entity(customerOnRedChair, [prov:location="the red chair in the cafe"])
> entity(paoloInCafe)
> entity(stianInCafe)
> entity(paolo)
> entity(stian)
>
> specializationOf(paoloInCafe, paolo)
> specializationOf(stianInCafe, stian)
>
> alternateOf(paoloInCafe, customerOnRedChair)
> alternateOf(stianInCafe, customerOnRedChair)

Hmmm... I'm not sure these actually match my intuition about alternateOf; i.e. 
that they're both versions of some real-world thing.  What real-worlkd thing 
would that be?

But I'm also prepared to accept that if this represents a genuine use-case for 
alternateOf, then my intuition here is wrong, and transitivity is not a desired 
property of alternateOf.

#g
--

> but we probably don't want to then infer:
> alternateOf(paoloInCafe, stianInCafe)
>
> and certainly not:
> alternateOf(paolo, stian)
>
> .. neither did overlap the old characterisation intervals, and are
> different 'things' in the world.
>
>
> however, if Paolo and Stian did not sit anywhere else but in the red
> chair, we can also have:
>
>
> specializationOf(paoloInCafe,
> customerOnRedChair)specializationOf(stianInCafe, customerOnRedChair)
> this implies that for the duration of paoloInCafe, it was also
> customerOnRedChair.
>
Received on Tuesday, 17 January 2012 18:07:03 UTC

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