The open source Sigma system parses a dialect of KIF
<http://sigmakee.sourceforge.net>. Years ago I wrote a Perl script to
express KIF in an XML format. I'd be glad to send that to you. Sigma
also now includes a translator to TPTP format, which in turn has
converters to many other formats. (01)
Duane Nickull wrote:
> Does anyone know any java open source libraries built to parse KIF format?
> If none exist, does anyone know if there has been any attempts to express
> KIF in XML and or if there are any converters.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)