New (Alpha) Ontolingua releaseJames Rice <Rice@HPP.Stanford.EDU>
Date: Fri, 22 Jul 94 17:47:13 PDT
From: James Rice <Rice@HPP.Stanford.EDU>
Subject: New (Alpha) Ontolingua release
I've just put a new release up for FTP called
This has not been tested under any implementation other
than Lucid (and I'm pretty confident it won't work under
other Lisps without a couple of fixes), but I thought I'd
give those who want to get their hands on the (hopefully)
functioning Loom back-end a chance to play with it before
we go into testing under different Lisp implementations.
As far as I know, there are no known problems with the
translations into Loom, though you'd need a recently
patched Loom 2.1.
The outstanding things to sort out are:
- minor (probably Loom) bug that manifests itself in
asserting documentation annotations. This is non-fatal.
- we probably need to reorganise the way that we're
handling the topmost bits of the KIF-sets ontology to make
the translations map better into Loom's notion of what a
Thing is. This also should not cause any fatal problems.
Ontolingua's notion of the Loomification of all of the
ontologies in the library can be found in