- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Mon, 05 Sep 2011 21:23:53 +0100
- To: public-prov-wg@w3.org
Hi Graham, We indicate that the abstract syntax notation is used to express instances of the data model. In essence, it's a form of serialization. It's useful -to explain how the example(s) can be encoded according to PIDM, and -to list the constituents of each of the constructs. It was not intended to formalize concepts. Cheers, Luc On 01/09/11 17:42, Provenance Working Group Issue Tracker wrote: > PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model] > > http://www.w3.org/2011/prov/track/issues/87 > > Raised by: Graham Klyne > On product: Conceptual Model > > 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 > > > > >
Received on Monday, 5 September 2011 20:24:25 UTC