W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

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

From: Sandro Hawke <sandro@w3.org>
Date: Thu, 31 Jul 2008 08:19:03 -0400
To: Bijan Parsia <bparsia@cs.man.ac.uk>
Cc: "Michael Schneider" <schneid@fzi.de>, public-owl-wg@w3.org
Message-ID: <3130.1217506743@ubuhebe>

> > 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?
> 
> Think of the Metamodel as a nondeterministic machine and a concrete  
> grammar as *one* run of that machine. Different runs can make  
> different choices thus ending up with different grammars that conform  
> to the abstract description.
> 
> Thus, to generate a particular grammar you have to additionally  
> specify some choices.

And, of course, the diagrams have similar additional (arbitrary)
information, namely placement.  For RIF, I developed an abstract syntax
[1] that had none of this extraneous information, thinking it would be
what we maintained.  But then I learned that (not too surprisingly) the
layout of UML diagrams, while having no formal semantics, is very
important to users.  Changing the layout changes the impression people
will have of the modeled system.

    -- Sandro

[1] http://www.w3.org/2005/rules/wg/wiki/asn07
Received on Thursday, 31 July 2008 12:19:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 31 July 2008 12:19:45 GMT