[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFC: Keywords instead of Section

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.


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) <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
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org


Reply to: