Re: RFC: Keywords instead of Section
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Friday 16 November 2001 04:52, Glenn McGrath wrote:
> On Thu, 15 Nov 2001 15:55:01 -0500
>
> Daniel_Burrows@brown.edu wrote:
> > [0] 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 ?
>
Hi Glenn,
It's on the web.
http://borg.cs.bilkent.edu.tr/~exa/ontology/
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.
Thanks,
- --
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara
www: http://www.cs.bilkent.edu.tr/~erayo
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
iD8DBQE79Xp9fAeuFodNU5wRAmVLAJ0dEvCWc2TEoq+iTDz3rx8VUYEdbACeJNp1
yirP1zvY4CwF0NxCKpibeOM=
=+iR9
-----END PGP SIGNATURE-----
Reply to: