VOID, the KACTUS toolkit, is an interactive environment for browsing, editing and managing (libraries of) ontologies. VOID supports the theoretical and application oriented workpackages by providing an environment in which one can experiment with theoretical issues (e.g. organisation of libraries of ontologies, translating between different ontology formalisms) and also perform practical work (e.g. browse, edit and query ontologies in various formalisms).
VOID also provides an API (Application Programmers Interface). The API provides access to the ontologies created with VOID, but does not require the interactive toolkit itself. The API has been used successfully to develop applications in the KACTUS project. The API supports both programs written in C/C++ and programs written Prolog (or both). The distribution contains an example application in the directory ./labein.
VOID consists of various software modules. In normal operation, the user will access the interactive window-based environment. One of the aims of KACTUS is to support reuse of ontologies. In order to support this, the toolkit can handle various ontology formalisms (CML, EXPRESS and Ontolingua) and can perform (partial) translations between these formalisms.Global overview of functionality:
The KACTUS project has decided that several formalisms in which one can write down ontologies should be supported. This is partly due to the technical domains being investigated within the project (e.g. information about ship designs is exchanged in EXPRESS) and the fact that not many ontology formalisms can describe task or problem solving knowledge (hence CML).
The main formalism in KACTUS (and the toolkit) is CML (Conceptual Modelling Language). This language was originally developed as part of the KADS and CommonKADS project. In KACTUS, CML has been refined and updated (see CML syntax reference). The other two formalisms currently supported by the toolkit are EXPRESS (a language used for the exchange of information about products) and Ontolingua (mainly used in the AI community; a formal language used to structure knowledge about various domains).
CML (Conceptual Modelling Language) can be used to model knowledge. CML is different from most other ontology formalisms in that it makes an explicit distinction between domain knowledge, inference knowledge, task knowledge and problem-solving knowledge. CML uses a notation that is mostly informal, knowledge modelled in CML cannot be executed by a program.
The most recent reference to CML can be found at ``CML: The CommonKADS conceptual modelling language''. Note that the CML syntax definition in this paper is not up-to-date, a BNF of CML that the KACTUS toolkit accepts can be found at ``CML syntax in BNF''.
Currently, the KACTUS toolkit has the following functionality related to CML:
More information on EXPRESS can be found at ``ftp.cme.nist.gov''.
More information on Ontolingua can be found at `` Stanford sharable ontology library''.
VOID supports the construction, maintenance and use of a library of ontologies. Ontologies in all supported formalisms can be imported into the library. In the current implementation, the library appears to the user as a database of theories and definitions within those theories.
The following contains a summary of the parsers and translators the toolkit uses.
In the figure we can see the different formats the CML parser can generate. The CML parser is described in the document CML parser and the translation from CML to ECO is described in the document Specification of CML to ECO 2 translation.
In the figure we see the different formalisms the Xpress/TNO parser would generate.
The Xpress parser is described in the document EXPRESS Tools. The ExpressP translator or parser is described in the document Specification of EXPRESS to ECO 2 translation.
We could not find an EXPRESS to HTML translator to make it possible to view an EXPRESS specification, there we made a pointer mechanism from the ECO 2 format of EXPRESS to the EXPRESS source code. There is a possibility to use the EXP2HTML translator , in the NIST EXPRESS Tools and consequently get an EXPRESS to HTML translator.
In the figure we can see the different directions of translations between formalisms in the KACTUS project. Some translators are already available other has been implemented within the KACTUS project. It is not trivial to translate between formalism since the ECO format is not a real interlingua, but a sort of intermediate representation adapted to each formalism EXPRESS, CML and Ontolingua.