SUO\KIF basics

["Jerry Swan" <jeremiah.s@ntlworld.com>]

I have some elementary questions regarding SUO and KIF:

 

1. Where might I find the most up-to-date documentation of KIF syntax?

In particular, I presume that http://logic.stanford.edu/kif/dpans.html supersedes the version 3.0 specification?

 

2. How does SUO-KIF differ syntactically from KIF?

 

3. The built-in KIF ontologies as hosted by ontolingua (KIF-SETS etc) are specified using CommonLisp.

Since I wish to implement a KIF parser in a language other than Lisp, is this information available in other formats?

 

Thanks,

 

Jerry.