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

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 UTC