ISSUE-120: Renaming Formal Model (The OWL)


Renaming Formal Model (The OWL)

Raised by:
Timothy Lebo
Opened on:
Formal issue based on Luc's email:

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

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'



Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-120 (Tlebo): Renaming Formal Model (The OWL) [Formal Model] (from on 2011-10-07)
  2. PROV-ISSUE-120 (Tlebo): Renaming Formal Model (The OWL) [Formal Model] (from on 2011-10-06)

Related notes:

The short-name 'prov-o' was selected in telcon 2011-10-13.

Stian Soiland-Reyes, 13 Oct 2011, 15:24:01

Display change log ATOM feed

Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 120.html,v 1.1 2013-06-20 07:37:21 vivien Exp $