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

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

From: Jim McCusker <mccusj@rpi.edu>
Date: Mon, 26 Mar 2012 11:08:44 -0400
Message-ID: <CAAtgn=TkGDvOw_Cha=Oe-AFiVUhCaBjX=6e2TKBMw15-J3wXZQ@mail.gmail.com>
To: Paolo Missier <Paolo.Missier@ncl.ac.uk>
Cc: Luc Moreau <l.moreau@ecs.soton.ac.uk>, Timothy Lebo <lebot@rpi.edu>, Graham Klyne <GK@ninebynine.org>, "public-prov-wg@w3.org" <public-prov-wg@w3.org>
On Mon, Mar 26, 2012 at 10:59 AM, Paolo Missier <Paolo.Missier@ncl.ac.uk>wrote:

> " An entity is alternate of another if they are both a specialization of
> some common entity."
> It is not clear what to make of this defining property of alternates -- it
> gives an existential condition which is not actionable in general. So to me
> this is potentially confusing.
>
> This is just the consequence of the open world assumption. It becomes
clear by a) explicitly stating that the common entity does not need to be
asserted or identified, and b) when practical examples are shown (like
Simon's).

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
Received on Monday, 26 March 2012 15:09:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:59 GMT