KIF and CYC's EL

• Mail folder: SRKB Mail
• Next message: John F. Sowa: "SQL, C++, and Hell"
• Previous message: Paul van der Vet: "Re: [Q]: ontologies examples & definition(s) ?"
• Reply: Michael R. Genesereth: "Re: KIF and CYC's EL"

Date: Wed, 27 Jul 94 10:32:36 CDT
From: fritz@rodin.wustl.edu (Fritz Lehmann)
Message-id: <9407271532.AA11142@rodin.wustl.edu>
To: interlingua@isi.edu, srkb@cs.umbc.edu
Subject: KIF and CYC's EL
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

     A while ago Tom Gruber and maybe some others were talking
about translating between KIF/Ontolingua and the EL
("Epistemological Language", formerly "constraint language") of the
CYC project at MCC.   I once asked Mark Derthick at CYC what the EL
contained outside of First Order Predicate Calculus, and my
recollection of what he said is that most of the extensions had
analogues in KIF.   Does anybody out there know:

          A. Whether anyone is working on, or has accomplished, a
             KIF-EL (or EL-KIF) translation?

          B. What the main differences and problem areas are?

                          Yours truly,   Fritz Lehmann
GRANDAI Software, 4282 Sandburg Way, Irvine, CA 92715, U.S.A.
Tel:(714)-733-0566  Fax:(714)-733-0506  fritz@rodin.wustl.edu
=============================================================