Re: KIF and CYC's EL

• Mail folder: SRKB Mail
• Next message: genesereth@cs.stanford.edu (Michael R. Genesereth) (by way of Tom Gruber: ""
• Previous message: Fritz Lehmann: "Schema-to-schema mapping; STEP"
• In-reply-to: Fritz Lehmann: "KIF and CYC's EL"

Date: Sun, 31 Jul 1994 10:13:38 -0700
Message-id: <199407311713.AA25613@Sunburn.Stanford.EDU>
To: interlingua@ISI.EDU, srkb@cs.umbc.edu,
        fritz@rodin.wustl.edu (Fritz Lehmann)
From: genesereth@cs.Stanford.EDU (Michael R. Genesereth)
X-Sender: mrg@sunburn.stanford.edu
Subject: Re: KIF and CYC's EL
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

Fritz,

Doug Lenat and I once talked about the possibility of translating from
CYC's EL to KIF; and we agreed we should make an effort to implement a
translator.  At the time, we did not believe there would be any
insurmountable impediments.  However, as so often happens, other matters
took precedence; and the job was never done.  For my part, I would like to
see the question investigated more carefully; and, if someone from the CYC
world were willing to put in the effort, I would be more than happy to
provide KIF support and even some general software tools.

mrg