W3C home > Mailing lists > Public > public-prov-wg@w3.org > December 2011

Formal semantics draft

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Mon, 19 Dec 2011 18:32:59 +0000
Message-Id: <D8F40035-F2EB-4F2F-888C-84EF2E68354E@inf.ed.ac.uk>
To: Provenance Working Group WG <public-prov-wg@w3.org>
Hi,

I've revised the formal semantics draft at:

http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman

This is still work in progress, and there are a number of areas flagged TODO or left out of scope.  However, I think it would be good to get feedback on this before filling in all of these.

The main issue (which is still in flux in the discussions on the mailing list) is the treatment of wasComplementOf/viewOf/foobar.  I've kept the old section that attempted to formalize wasComplementOf and I've added two new sections that discuss viewOf and foobar relations.

The current treatment suggest that there is a mismatch between my intuition of entities as things that change over time, and entity records that describe temporary states of entities, vs. the view taken in PROV-DM where wasComplementOf and company are assertions about how different entity records are related.  

I think that handling these relations (as currently described in PROV-DM) will require adding something to the formal semantics, along the lines of a relation linking different entity records that are "views" of the same underlying (changing) thing.  

I also think that it might be best to simplify interpretations to be time-independent, which would align with viewing them as URIs.

Comments are welcome.

--James
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Monday, 19 December 2011 18:35:58 UTC

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