Ontolingua and the FrameOntologykamp@informatik.uni-hamburg.de
Date: Wed, 28 Jul 1993 11:39:30 +0100
Subject: Ontolingua and the FrameOntology
i have just started reading about Ontolingua and am doing some initial
test with the system. Having just read KSl-92-71 and the user manual there
are some things I wonder about.
On page 5 of KSL-92-71 there is a statement saying that "the set of idioms
that OL can recognize and translate is defined in an ontology called the
frame ontology" and on page 14: "By no coincidence these are the constructs
that are supported with special-purpose syntax and code in object-centered
representation systems". Therefore I got the impression that the frame
ontology should translate without warnings into the target systems. So I
wondered that there are some warnings during the translation to LOOM.
Which impact does they have, especially on theories like the physical
quantities using frame ontology? Can I still use them or remain a lot of
KIF sentences untranslated, therefore only partially describing the
semantics of the entities?
Reading the user manual I fell across the sentence on page 31: "The frame
ontology is a special ontolingua theory. It may be specialized on
implementation types. For instance, there is a Epikit and a LOOM version of
the frame ontology". Do this special versions still exist, and how do they
differ from the translations of frame-ontology.lisp into the target
systems? Are they part of the distribution or do I have to get them?
Having just started a project in the field of diagnosis of
electromechanical devices, I wonder if there are any ontologies in this
field. I stumbled across the summer ontology project, are the ontologies
derived there public?
As KR system i am actually considering LOOM and Classic 2.1. Is there a
translator to Classic available or how difficult would it be to implement
it. Considering the relative restricted language of Classic how much of a
Ontolingua ontology could be translated, compared to LOOM?
I hope that I'm bothering you not to much with this beginner's questions
Gerd Kamp email: firstname.lastname@example.org
University of Hamburg phone: +49 40 4123-6536
22765 Hamburg (Germany)