C++ KIF Parser

• Mail folder: Interlingua Mail
• Next message: FWLIV@delphi.com: "Higher-order KIF and Conceptual Graphs"
• Previous message: sowa: "Higher-order logic in KIF and CGs"

Date: Thu, 2 Dec 93 12:01:04 PST
Message-id: <9312022001.AA17577@finch.Stanford.EDU>
To: interlingua@isi.edu, srkb@isi.edu, ontolingua@ksl.stanford.edu
Subject: C++ KIF Parser
From: olsen@cs.stanford.edu
Sender: olsen@finch.Stanford.EDU

We've placed a C++ based KIF parser at the following locations.  The parser
reads strings representing KIF expressions and creates a C++ data structure
for each syntactic entity in the string.  A class library for KIF objects is
included with a Lex and Yacc based parsing code.

FTP Site
  host: ksl.stanford.edu
  directory: /pub/knowledge-sharing/lib/kifparser
  files: README and kifparser.tar.Z

The WWW address is
  file://ksl.stanford.edu/pub/knowledge-sharing/lib/kifparser


Greg Olsen
Center for Design Research/Knowledge Systems Laboratory
Stanford University
olsen@cs.stanford.edu