Hi Duane,
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)
Adam (02)
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.
>
> Duane
> (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|