Ontolingua Tutorial
first given at KSL in May, 1997. This tutorial provides a reasonable overview
of Ontolingua and gives some hints on ontology design.
On 17 October 1997, Adam gave a talk at the KSL Seminar describing how OKBC
deals with variations in the capabilities of the underlying knowledge representation
systems (Slides
in PDF).
ATP Reference
Manual for a lisp implementation of a model elimination theorem prover
for full first order logic as well as context logic. This is a small, but
fairly efficient theorem prover based on Stickel's PTTP (prolog technology
theorem prover) method. It should be easy to extend and easy to embed in
a larger application. The code is available, but no longer as a single
distributed source file.
simple Prolog program
to translate from Prolog into KIF.
Prolog implementation
of a model elimination theorem prover for full first order logic. This
is a small, but fairly efficient theorem prover based on Stickel's PTTP
(prolog technology theorem prover) method. It should be easy to extend
and easy to embed in a larger application.