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

Re: proposal: drop 'formal model' terminology

From: Paolo Missier <Paolo.Missier@ncl.ac.uk>
Date: Mon, 03 Oct 2011 13:37:16 +0100
Message-ID: <4E89AC7C.8070502@ncl.ac.uk>
To: public-prov-wg@w3.org
+1.

PROV-SW?  or PROV-ONTO for the verbosely inclined

-Paolo


On 9/30/11 12:29 PM, Luc Moreau wrote:
> Dear all,
>
> The charter [1] lists deliverables D1 'conceptual model' and D2  'formal
> model'.
>
> For the former, we moved away from the 'conceptual model' terminology,
> and we refer to a data model PROV-DM.
>
> For the latter, we seem to have endless confusion about what it really
> means, and what the difference is with
> semantics.   Also, as Graham pointed out, it is not obvious why a
> developer would have to look at a formal model
> document.
>
> 1. Given this confusion, Paul and I would like to propose that we drop
> the terminology 'Formal Model'.
>      Can you express your support or disagreement for this proposal?
>
> 2. Assuming we adopt the proposal, what should the document title
> become, we leave it to authors/editors to decide.
>      Group members may also want to make suggestions, and we could vote
> on them during teleconference.
>
>      To get the ball rolling: 'semantic web
> representation/model/serialization of provenance'
>
> Cheers,
> Luc
>
>
> [1] http://www.w3.org/2011/01/prov-wg-charter
>
Received on Monday, 3 October 2011 12:37:45 GMT

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