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:

1. 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)
2. Re: new release of PROV-DM document (from Khalid.Belhajjame@cs.man.ac.uk on 2011-09-21)
3. new release of PROV-DM document (from L.Moreau@ecs.soton.ac.uk on 2011-09-19)
4. 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)
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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