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

proposal: drop 'formal model' terminology

From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
Date: Fri, 30 Sep 2011 12:29:36 +0100
Message-ID: <EMEW3|9be5457e04cbc5a4402db03f0ab63f9dn8YCYi08l.moreau|ecs.soton.ac.uk|4E85A820.2070809@ecs.soton.ac.uk>
To: W3C provenance WG <public-prov-wg@w3.org>

Dear all,

The charter [1] lists deliverables D1 'conceptual model' and D2  'formal 

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

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'


[1] http://www.w3.org/2011/01/prov-wg-charter
Received on Friday, 30 September 2011 11:30:08 UTC

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