[Top] [All Lists]

Re: [ontolog-forum] Parsing KIF?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Mon, 19 Mar 2007 08:12:39 -0700
Message-id: <45FEA867.4030101@xxxxxxxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>