Re: RFC: Keywords instead of Section
-----BEGIN PGP SIGNED MESSAGE-----
On Friday 16 November 2001 04:52, Glenn McGrath wrote:
> On Thu, 15 Nov 2001 15:55:01 -0500
> Daniel_Burrows@brown.edu wrote:
> >  Take a look at Eray's ontology stuff for an example of
> > an idea that will be cool if anyone ever manages to
> > implement it.
> Where can it be found ?
It's on the web.
Note that although there is an almost complete design, I have not elaborated
on representation and implementation issues. These would not be trivial to
accomplish, but with a logic/functional language it might be easier.
If you have any suggestions about the material, I'd be glad to hear it. I
certainly want to improve this document.
Currently, I've tried to determine which programming language to use for this
task. Perhaps I should direct it here.
Which programming language would you think is most suitable for realizing a
particular logic language?
I've last looked at Haskell and Mercury. Haskell gives a very advanced
environment but I'd like to hear the opinions of ocaml people. Are there any
such (logic language) interpreters/compilers written in ocaml? (or haskell)
The design takes the PL approach to the problem, you realize a certain
ontology description that lets you express such huge ontologies in their full
glory and with minimum effort.
Eray Ozkural (exa) <firstname.lastname@example.org>
Comp. Sci. Dept., Bilkent University, Ankara
GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
-----END PGP SIGNATURE-----