John, (01)
We do all of our grammar definition work in SGML. I had
discussed it with Bill Tunnicliffe back in '87 when we
designed a web browser for tagged documents. We used the
same foundation grammar (AAP) as was later used for XML. (02)
We like it because we believe in open architecture approaches
and SGML is the only ISO standard for metagrammars. The
parser is (or was) available at no charge from NIST and the
code produces a tree of the context free grammar. We use
other NIST code to read the tree also. (03)
It provides for sequence of elements as well as defining if
there are 0+ or 1+ elements required. It allows entity definitions
and also allows floating entities. From the tree we can convert
to a number of other formats if desired. While it verifies context
free grammars I believe you can use the defined grammar to define
a context based grammar, but I'm only a tyro at linguistics. (04)
-John Bottoms
First Star Systems
Concord, MA
John@xxxxxxxxxxxxxxxxxx
T: 978-505-9878 (05)
John F. Sowa wrote: (06)
> Bart,
>
> > John, what I meant by formalizing, and I thought you meant
> > as well, was agreeing on some standard to create and interpret
> > ontologies, the topic of the Summit. Could you please clarify
> > what you meant.
>
> The English word 'formalization' literally means 'make formal'.
>
> Since many of the discussions in this forum have contrasted
> formal definitions (represented in logic) with informal
> definitions (stated in ordinary language), I had assumed
> that you were talking about the process of producing formal
> logic-based definitions instead of informal English definitions.
>
> In discussions about the process of producing a standard, it
> might be clearer to use the word 'standardization', which would
> be more directly related to standards.
>
> John
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|