Re: SUO\KIF basics
Jerry,
There are many versions of KIF. SUO-KIF is the language used for
SUMO. The specification is at
<http://sigmakee.cvs.sourceforge.net/*checkout*/sigmakee/sigma/suo-kif.pdf>.
SUO-KIF is a bit simpler than the older versions of KIF, without some
features that I believe more properly belong in an ontology, rather than
a language. There's a KIF parser included with the open source Sigma
system <http://sigmakee.sourceforge.net/>. The class to look at is
KIF.java. You could also use the BNF definition in the SUO-KIF manual
to build a parser with a compiler-compiler. I've used SableCC
successfully, but did not have time to integrate it into Sigma.
Let me know if this helps.
Adam
Jerry Swan wrote:
> 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.
>
--
----------------------------
Adam Pease
http://www.ontologyportal.org - Free ontologies and tools