[ontoiop-forum] Proofreading chapter 7

[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 (primary), 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> 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
> 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/7f0ee689/attachment.html>