[ontoiop-forum] Proofreading chapter 7

[Kiyong Lee]

Dear Till,
Yes, you're right. The equal sign "=" is also used in object languages all
over.
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.
Thanks in advance,
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 8:15 PM, Till Mossakowski <
till at iws.cs.uni-magdeburg.de> wrote:

>  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 (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
>>
>
>
>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de <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/69aeaa05/attachment-0001.html>