Re: complementOf -> viewOf: proposed text

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