<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Dear Kiyong,<br>
<br>
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.<br>
Note that also "=" is used in object languages.<br>
<br>
Best, Till<br>
<br>
Am 13.05.2015 um 13:13 schrieb Kiyong Lee:<br>
</div>
<blockquote
cite="mid:CAAgfpiKjRpNJ9ma+khEdgkjt6vSRh304-igHGGk8r89SziCpgA@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<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>
<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 moz-do-not-send="true"
href="mailto:ikiyong@gmail.com" target="_blank">ikiyong@gmail.com</a>
(primary), <a moz-do-not-send="true"
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 moz-do-not-send="true"
href="mailto:till@iws.cs.uni-magdeburg.de" target="_blank">till@iws.cs.uni-magdeburg.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote">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 moz-do-not-send="true"
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 moz-do-not-send="true"
href="mailto:ontoiop-forum@ovgu.de" target="_blank">ontoiop-forum@ovgu.de</a><br>
Message Archives: <a moz-do-not-send="true"
href="https://listserv.ovgu.de//pipermail/ontoiop-forum"
target="_blank">https://listserv.ovgu.de//pipermail/ontoiop-forum</a><br>
Config/Unsubscribe: <a moz-do-not-send="true"
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 moz-do-not-send="true"
href="http://interop.cim3.net/file/pub/OntoIOp/"
target="_blank">http://interop.cim3.net/file/pub/OntoIOp/</a><br>
Community Wiki: <a moz-do-not-send="true"
href="http://ontoiop.org" target="_blank">http://ontoiop.org</a><br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">
_________________________________________________________________
To Post: <a class="moz-txt-link-freetext" href="mailto:ontoiop-forum@ovgu.de">mailto:ontoiop-forum@ovgu.de</a>
Message Archives: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de//pipermail/ontoiop-forum">https://listserv.ovgu.de//pipermail/ontoiop-forum</a>
Config/Unsubscribe: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum">https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum</a>
Community Files (open): <a class="moz-txt-link-freetext" href="http://interop.cim3.net/file/pub/OntoIOp/">http://interop.cim3.net/file/pub/OntoIOp/</a>
Community Wiki: <a class="moz-txt-link-freetext" href="http://ontoiop.org">http://ontoiop.org</a>
</pre>
</blockquote>
<br>
</body>
</html>