<div dir="ltr">Dear Till,<div>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.</div><div>I may be totatlly wrong, but please check this. I haven't checked other differences between BNF and Extended BNF, though.</div><div>Best regards,</div><div>Kiyong</div><div><br></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div>From Kiyong Lee<br>ISO/TC 37/SC 4/WG 2 convenor and Secretariat support <br>Professor emeritus, Korea University<br><a href="mailto:ikiyong@gmail.com" target="_blank">ikiyong@gmail.com</a> (primary), <a href="mailto:klee@korea.ac.kr" target="_blank">klee@korea.ac.kr</a></div><div>Mobile: +82-(0)10-5-234-6256</div>
<div><br> </div></div></div></div>
<br><div class="gmail_quote">On Wed, May 13, 2015 at 6:39 PM, Till Mossakowski <span dir="ltr"><<a href="mailto:till@iws.cs.uni-magdeburg.de" target="_blank">till@iws.cs.uni-magdeburg.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear all,<br>
<br>
I just have substantially revised chapter 7. So if you plan to read it, please download the latest version at:<br>
<a href="https://github.com/tillmo/DOL" target="_blank">https://github.com/tillmo/DOL</a><br>
<br>
All the best,<br>
Till<br>
<br>
_________________________________________________________________<br>
To Post: mailto:<a href="mailto:ontoiop-forum@ovgu.de" target="_blank">ontoiop-forum@ovgu.de</a><br>
Message Archives: <a href="https://listserv.ovgu.de//pipermail/ontoiop-forum" target="_blank">https://listserv.ovgu.de//pipermail/ontoiop-forum</a><br>
Config/Unsubscribe: <a href="https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum" target="_blank">https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum</a><br>
Community Files (open): <a href="http://interop.cim3.net/file/pub/OntoIOp/" target="_blank">http://interop.cim3.net/file/pub/OntoIOp/</a><br>
Community Wiki: <a href="http://ontoiop.org" target="_blank">http://ontoiop.org</a><br>
</blockquote></div><br></div>