Re: Question: How do I derive the Functional Syntax grammar from the Diagrams?

Someone, can't remember if it was Achille or Evan, mentioned that one  
could use ordered instead of unordered lists in the model. I'd  
propose that this be done in cases where ordering such as this matters.
-Alan


On Jul 31, 2008, at 3:48 AM, Michael Schneider wrote:

> Hi!
>
> After the Metamodel session at F2F3, I am still confused about one  
> point:
> How is it possible to automatically generate the Functional Syntax  
> grammar
> from the diagrams? IIRC, it has been claimed that this will be  
> possible.
>
> Take for example class assertions, which have the following grammar
> according to sec. 8.5.3 of the Syntax document:
>
>   ClassAssertion := 'ClassAssertion' '(' { Annotation }  
> ClassExpression Individual ')'
>
> One must not change the ordering of the arguments in a class  
> assertion,
> because this would swap a class expression and an individual.
>
> However, the respective diagram at the beginning of sec. 8.5 [1]
> does not contain such ordering information for ClassAssertion.
> And I do not know how it is possible to specify such a ordering in  
> UML,
> at least for situations, where different types are involved
> (classes and individuals in our case).
>
> Any ideas?
>
> Michael
>
> [1] <http://www.w3.org/2007/OWL/wiki/Syntax#Class_Assertions>
>
> --
> Dipl.-Inform. Michael Schneider
> FZI Forschungszentrum Informatik Karlsruhe
> Abtl. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: Michael.Schneider@fzi.de
> Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555
>
> FZI Forschungszentrum Informatik an der Universität Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts
> Az: 14-0563.1 Regierungspräsidium Karlsruhe
> Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi  
> Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
>

Received on Thursday, 31 July 2008 10:50:06 UTC