ISSUE-87: Formalism used is not explained, not applied to concepts
Model-concepts-formalism
Formalism used is not explained, not applied to concepts
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Graham Klyne
- Opened on:
- 2011-09-01
- Description:
- The "Abstract Syntax Notation" formalism used in the concepts document is not fully explained - only a syntax is given. Yet, all the uses of the formalism are in examples: it is not (cannot be?) used to formally describe the actual concepts. As such, it doesn't really seem to serve any useful purpose. Or if it does, that purpose is not clear.
See also: http://lists.w3.org/Archives/Public/public-prov-wg/2011Aug/0383.html
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2011-09-23)
- Re: new release of PROV-DM document (from Khalid.Belhajjame@cs.man.ac.uk on 2011-09-21)
- new release of PROV-DM document (from L.Moreau@ecs.soton.ac.uk on 2011-09-19)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from GK@ninebynine.org on 2011-09-06)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-09-06)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from GK@ninebynine.org on 2011-09-06)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-05)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from GK@ninebynine.org on 2011-09-05)
- Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-05)
- PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] (from sysbot+tracker@w3.org on 2011-09-01)
Related notes:
No additional notes.
Display change log