Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually "IVP of" each other [Conceptual Model]

('binary' encoding is not supported, stored as-is)
Hi,

Just to clarify, I think the below is based on a suggestion I made, which is part of the formal semantics.

There, I tried to define specialization and alternate independently of one another, as follows:

* specializationOf means that the two entities refer to the same changeable-thing and one provides "(the same or) more information" - e.g. a tighter time interval or more attributes or both.

* alternateOf means that the two entities refer to the same changeable-thing, and have some common time interval.  (This was based on a constraint discussed on the list but which no longer seems to be in WD3).

These proposed definitions are obviously debatable, and in particular alternate could be factored into "overlapping interval" and "refer to same changeable-thing".  Or, if desired we could define alternate as "specialization of a common entity" and not talk about things at all, but then everything depends on what specialization means.  

I've asked (several times now, since the semantics was aligned with WD3) for people interested in these issues discussion to read that and comment, especially because if there is a big divergence between the way I'm modeling things in the semantics and the understanding of the group at large, then that is a problem and if not addressed implies that I'm wasting my time on it!

Unfortunately, I am offline until Friday so may not respond until then.  Sorry for the rant.

--James

On Apr 2, 2012, at 6:32 PM, Jim McCusker wrote:

> Why are we bringing time into it? What's the objection to using specialization as its basis?
> 
> Jim
> 
> On Mon, Apr 2, 2012 at 1:28 PM, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:
> Dear all,
> 
> To align prov-dm with the semantics, I am suggesting to use the following definition 
> 
> Two entities are alternates if they refer to the same thing at overlapping times, 
> 
> 
> instead of the one referring to specialisation.  Objection?
> 
> 
> 
> 
> Professor Luc Moreau
> Electronics and Computer Science
> University of Southampton 
> Southampton SO17 1BJ
> United Kingdom
> 
> On 24 Mar 2012, at 21:06, "Jim McCusker" <mccusj@rpi.edu> wrote:
> 
>> Refer is fine, but there may be people in the semantics community who will be more picky. Refer also has a specific meaning in HTTP. If others think that denote is too technical, we can try refer or represent and see what feedback we get from the community.
>> 
>> Jim
>> 
>> On Sat, Mar 24, 2012 at 1:34 PM, Paul Groth <p.t.groth@vu.nl> wrote:
>> What about using using "refer" ?
>> 
>> But I'm fine with denote if that's the best word. 
>> 
>> Cheers
>> Paul
>> 
>> 
>> Sent from my iPad
>> 
>> On Mar 24, 2012, at 13:49, Jim McCusker <mccusj@rpi.edu> wrote:
>> 
>>> The intent is that alternative of is defined in terms of specialization. Using examples may clear up any confusion.
>>> 
>>> The use of denote is taken from the RDF spec. We need something to distinguish between the symbols and the things themselves here, since we are saying that two symbols stand for the same common thing. "denote" is the best technical word, but maybe we need a less technical explanation after the definition.
>>> 
>>> Jim
>>> 
>>> On Sat, Mar 24, 2012 at 2:41 AM, Paul Groth <p.t.groth@vu.nl> wrote:
>>> Hi 
>>> I'm worried that using specialization in the definition of alternate. It might confuse people or is the intent that alternate is built on specialization?
>>> 
>>> Also the use of denote doesn't seem to have that common sense ease that the other definitions have.
>>> 
>>> Any thoughts?
>>> 
>>> Thanks
>>> Paul
>>> 
>>> 
>>> On Mar 24, 2012, at 2:19, Timothy Lebo <lebot@rpi.edu> wrote:
>>> 
>>>> 
>>>> On Mar 23, 2012, at 8:59 PM, Jim McCusker wrote:
>>>> 
>>>>> 
>>>>> On Mar 23, 2012 6:32 PM, "Stian Soiland-Reyes" <soiland-reyes@cs.manchester.ac.uk> wrote:
>>>>> >
>>>>> > On Fri, Mar 23, 2012 at 16:44, Jim McCusker <mccusj@rpi.edu> wrote:
>>>>> >
>>>>> 
>>>>> > .. not sure if we should include "roles" here as it would be confusing
>>>>> > with prov:hadRole (the old EntityInRole discussion).
>>>>> 
>>>>> My intention is to use this to provide roles to entities within a particular context. We could leave this out, if it's too confusing.
>>>>> 
>>>>> 
>>>> 
>>>> I'd suggest dropping this from the definition and just using it in your application.
>>>> 
>>>>> > The current example of Bob with Facebook account is not very good. Why
>>>>> > would bobWithFacebook be an alternative of bobWithTwitter? Just
>>>>> > because they share bob as a parent specialization? Why would you form
>>>>> > such entities?
>>>>> 
>>>>> 
>>>> 
>>>> Because Bob exhibits different sets of behaviors in each of these environments.
>>>> He might be more casual on Facebook, but maintain a professional demeanor on Twitter. You're getting to know "two different people" (two altOf), even if they are the same person (the common specOf)
>>>> 
>>>> Even if you know the Bob behind Facebook, you may not know the Bob behind Twitter.
>>>> 
>>>> BTW, I added an example that uses alt and spec for real.
>>>> http://www.w3.org/2011/prov/wiki/Eg-19-derived-named-graph-attribution
>>>> 
>>>>> JimAtYale and JimAtRPI being specializations of JimMcCusker (in general) are better examples, probably.
>>>>> 
>>>>> > The BBC News home page today is a specialization of the BBC home page.
>>>>> > That could be a good one.
>>>>> >
>>>>> >
>>>>> >
>>>>> > The BBC news home page today is a specialization of the BBC news page
>>>>> > in general. BBC does not provide a URI for a given day's news page, so
>>>>> > we mint our own:
>>>>> >
>>>>> >
>>>>> > specializationOf(bbcNews2012-03-23, <http://www.bbc.co.uk/news/>)
>>>>> >
>>>>> >
>>>>> > The mobile news page is an alternative of the desktop news page. They
>>>>> > are both specialization of (here unspecified) entity.
>>>>> >
>>>>> > alternativeOf(<http://www.bbc.co.uk/news/mobile/>, <http://www.bbc.co.uk/news/>)
>>>>> 
>>>>> This is a perfect example.
>>>>> 
>>>> 
>>>> +10000
>>>> 
>>>> -Tim
>>>> 
>>>>> > The mobile news page of today is a specialization of the mobile news page:
>>>>> >
>>>>> > specializationOf(bbcNewsMobile2012-03-23, <http://www.bbc.co.uk/news/mobile/>)
>>>>> >
>>>>> >
>>>>> > This implies (as /news/mobile and /news/ have a common specialization):
>>>>> >
>>>>> > alternativeOf(bbcNews2012-03-23, bbcNewsMobile2012-03-23)
>>>>> 
>>>>> Yes, this all correctly follows.
>>>>> 
>>>>> Jim
>>>>> 
>>>> 
>>> 
>>> 
>>> 
>>> -- 
>>> Jim McCusker
>>> Programmer Analyst
>>> Krauthammer Lab, Pathology Informatics
>>> Yale School of Medicine
>>> james.mccusker@yale.edu | (203) 785-6330
>>> http://krauthammerlab.med.yale.edu
>>> 
>>> PhD Student
>>> Tetherless World Constellation
>>> Rensselaer Polytechnic Institute
>>> mccusj@cs.rpi.edu
>>> http://tw.rpi.edu
>> 
>> 
>> 
>> -- 
>> Jim McCusker
>> Programmer Analyst
>> Krauthammer Lab, Pathology Informatics
>> Yale School of Medicine
>> james.mccusker@yale.edu | (203) 785-6330
>> http://krauthammerlab.med.yale.edu
>> 
>> PhD Student
>> Tetherless World Constellation
>> Rensselaer Polytechnic Institute
>> mccusj@cs.rpi.edu
>> http://tw.rpi.edu
> 
> 
> 
> 
> -- 
> Jim McCusker
> Programmer Analyst
> Krauthammer Lab, Pathology Informatics
> Yale School of Medicine
> james.mccusker@yale.edu | (203) 785-6330
> http://krauthammerlab.med.yale.edu
> 
> PhD Student
> Tetherless World Constellation
> Rensselaer Polytechnic Institute
> mccusj@cs.rpi.edu
> http://tw.rpi.edu
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Monday, 2 April 2012 17:44:08 UTC