installing ontolingua

schouwen@cs.utwente.nl (Martin Schouwenburg)

Mail folder: Ontolingua Mail
Next message: Martin Schouwenburg: "Error while loading Ontolingua"
Previous message: Martin Schouwenburg: "Problems with ontolingua"

Date: Wed, 14 Apr 93 14:26:17 +0200
From: schouwen@cs.utwente.nl (Martin Schouwenburg)
Message-id: <9304141226.AA21285@utis31.cs.utwente.nl>
To: ontolingua@hpp.stanford.edu
Subject: installing ontolingua
Cc: speel@HPP.Stanford.EDU

Here at the U.T. we have been busy porting our plinius-ontology
project to various KL-one languages (Classic, Loom, Back, Taxon).
It was natural that we became interested in KIF and later
Ontolingua to see how porta ble ontologies could be made. We
installed all the OL files and tried to run it. All worked fine
until a translation to Loom was tried. It didn't recognize the
Loom package, the source file of 'ol-to-loom.lisp' was not loaded.
If we loaded Loom (the language) and then OL it did load 'ol-to-
loom.lisp' but it made errors like it didn't know the symbol
'DEFINE-KNOWLEDGE-BASE'. Is it possible that we are using the wrong
version of Loom (we are using version 1.4) or are we making another
mistake during installation? If we are using the wrong version how can 
we get the correct version (&manuals)?

                                        M.L.Schouwenburg
                                        Technical University of Twente
                                        the Netherlands