ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Parsing KIF?

To: "[ontolog-forum] apease@xxxxxxxxxxxxxxxxxxxxxx, " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Tue, 20 Mar 2007 09:27:04 -0700
Message-id: <C2255968.978D%dnickull@xxxxxxxxx>
s/java/perl/;    (01)

# Thanks! This is perfect.    (02)

Duane    (03)

On 3/19/07 8:12 AM, "Adam Pease" <adampease@xxxxxxxxxxxxx> wrote:    (04)

> 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.
> 
> Adam
> 
> 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
>> 
> 
>  
> _________________________________________________________________
> 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
>      (05)

-- 
**********************************************************
Sr. Technical Evangelist - Adobe Systems, Inc.           *
Chair - OASIS SOA Reference Model Technical Committee    *
Blog: http://technoracle.blogspot.com                    *
Music: http://www.mix2r.com/audio/by/artist/duane_nickull*
**********************************************************    (06)


_________________________________________________________________
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    (07)

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