including theories
Gertjan van Heijst <gertjan@swi.psy.uva.nl>
X-Organisation: Social Science Informatics, University of Amsterdam
X-Address: Roetersstraat 15, 1018 WB Amsterdam, The Netherlands.
X-Phone: +31 20 5256789
X-Fax: +31 20 5256896
Date: Wed, 10 Mar 1993 13:53:11 +0100
From: Gertjan van Heijst <gertjan@swi.psy.uva.nl>
Message-id: <199303101253.AA17734@swisun31.swi.psy.uva.nl>
To: ontolingua@SUMEX-AIM.Stanford.EDU
Subject: including theories
Hi,
Im currently working on a graphical editor that is able to handle
ontolingua theories. The editor will be part of a KA workbench. The
workbench infrastructure offers a library of user interface components that
presuppose a particular data representation. The integration of ontolingua
with the workbench is realised by defining a ontolingua implementation
:worbench and the appropriate methods for implement-define-theory,
implement-define-relation etc. The methods translate the ontolingua data
structures in appropriate workbench data structures. Off coures I will also
need to write a translator the other way around but I think that is
managable.
So far so good. Now the problem.... I want my editor to autoload included
theories whenever I read a theory from file. For example, when I load the
theory abstract-algebra, and that theory includes the frame-ontology, then
I want that the frame-ontology is translated into the :workbenck
inplementation before abstract-algebra is translated. Does anyone know if
this is possible without modifying ontolingua sources ???
Thanks in advance,
Gertjan
--------------------------------------------------------------
Gertjan van Heijst gertjan@swi.psy.uva.nl
Social Science Informatics
Department of Psychology
University of Amsterdam
Roetersstraat 15,
1018 WB Amsterdam
Netherlands
tel. (+31)-20-5256787
tel. (+31)-20-5256789 (secretariat)
fax. (+31)-20-5256896
--------------------------------------------------------------