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

Jim McCusker
Programmer Analyst
Krauthammer Lab, Pathology Informatics
Yale School of Medicine
james.mccusker@yale.edu | (203) 785-6330

PhD Student
Tetherless World Constellation
Rensselaer Polytechnic Institute
Received on Monday, 26 March 2012 15:09:40 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:10 UTC