[ontoiop-forum] Proofreading chapter 7

[Till Mossakowski]

Dear Kiyong,

yes, that is true. We have departed from ISO 1996, because its syntax is 
clumsy and not well readable (especially because of the many commas), 
and is practically not used. Instead, we use a variant of EBNF that is 
popular.
Note that also "=" is used in object languages.

Best, Till

Am 13.05.2015 um 13:13 schrieb Kiyong Lee:
> Dear Till,
> I quickly noticed the occurrence of the defining symbol "::=" of BNF 
> all over the current (2015-05-13) version of DOL that you just 
> circulated for proofreading. I understand that this symbol is replaced 
> by  the equal sign "=" in eBNF (ISO 1996) because the symobl "::=" is 
> used in some (object) languages.
> I may be totatlly wrong, but please check this. I haven't checked 
> other differences between BNF and Extended BNF, though.
> Best regards,
> Kiyong
>
>
> From Kiyong Lee
> ISO/TC 37/SC 4/WG 2 convenor  and Secretariat support
> Professor emeritus, Korea University
> ikiyong at gmail.com <mailto:ikiyong at gmail.com> (primary), 
> klee at korea.ac.kr <mailto:klee at korea.ac.kr>
> Mobile: +82-(0)10-5-234-6256
>
>
> On Wed, May 13, 2015 at 6:39 PM, Till Mossakowski 
> <till at iws.cs.uni-magdeburg.de <mailto:till at iws.cs.uni-magdeburg.de>> 
> wrote:
>
>     Dear all,
>
>     I just have substantially revised chapter 7. So if you plan to
>     read it, please download the latest version at:
>     https://github.com/tillmo/DOL
>
>     All the best,
>     Till
>
>     _________________________________________________________________
>     To Post: mailto:ontoiop-forum at ovgu.de <mailto:ontoiop-forum at ovgu.de>
>     Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>     Config/Unsubscribe:
>     https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>     Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>     Community Wiki: http://ontoiop.org
>
>
>
>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de
> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
> Community Wiki: http://ontoiop.org

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20150513/59103cc1/attachment.html>