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

Re: Formal semantics draft

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 03 Jan 2012 14:29:43 +0000
Message-ID: <4F0310D7.2080301@ninebynine.org>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
CC: public-prov-wg@w3.org
Luc, comment below...

On 22/12/2011 16:40, Luc Moreau wrote:
> Hi James,
>
> Thanks for drafting the semantics, it will help us pin down issues in
> the data model.
>
> I have a few general questions first, about the alignment of the
> semantics and the data model.
>
> As agreed in the call, I am sharing them by email.
>
> 1. PROV-DM identifies three levels
> 1. things in the world
> 2. entities, which are characterized things
> 3. entity records, which are the records we create as part of a provenance record

> It seems that things are not mentioned in your document. I believe they are
> important to define specialization/alternates

My discussions with Paolo about viewOf/specializationOf/complementOf suggest to 
me that there may be no clear formal distinction between things and entities, 
and that the notion of things (aka "Real World Things"?) is mainly a rhetorical 
device to explain the intent of the relationships.

An alternative might be to note that "things" are those "entities" that are not 
themselves views (or specializations) of any other entity.  But I'm not sure 
that such a definition actually has any utility.

#g
--
Received on Tuesday, 3 January 2012 14:32:24 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:11 UTC