<div dir="ltr">Dear Till,<div>Yes, you're right. The equal sign "=" is also used in object languages all over.</div><div>Can you give me a reference to EBNF that you have adopted, for I have followed ISO's ebnf (1996) in producing ISO 24617-7:2014 ISOspace for the annotation of (motion-involved) spatial information in a language.</div><div>Thanks in advance,</div><div>Kiyong</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 8:15 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">
<div bgcolor="#FFFFFF" text="#000000">
<div>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 type="cite">
<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>
<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">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>
<br>
<fieldset></fieldset>
<br>
<pre>_________________________________________________________________
To Post: <a href="mailto:ontoiop-forum@ovgu.de" target="_blank">mailto:ontoiop-forum@ovgu.de</a>
Message Archives: <a href="https://listserv.ovgu.de//pipermail/ontoiop-forum" target="_blank">https://listserv.ovgu.de//pipermail/ontoiop-forum</a>
Config/Unsubscribe: <a href="https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum" target="_blank">https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum</a>
Community Files (open): <a href="http://interop.cim3.net/file/pub/OntoIOp/" target="_blank">http://interop.cim3.net/file/pub/OntoIOp/</a>
Community Wiki: <a href="http://ontoiop.org" target="_blank">http://ontoiop.org</a>
</pre>
</blockquote>
<br>
</div>
<br><br>
_________________________________________________________________<br>
To Post: mailto:<a href="mailto:ontoiop-forum@ovgu.de">ontoiop-forum@ovgu.de</a><br>
Message Archives: <a href="https://listserv.ovgu.de//pipermail/ontoiop-forum
Config/Unsubscribe" target="_blank">https://listserv.ovgu.de//pipermail/ontoiop-forum<br>
Config/Unsubscribe</a>: <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>
<br></blockquote></div><br></div>