DL-workbench

From web site: "DL-workbench contains three main modules. First module defines a meta-model for description of ontological formalisms. It provides an API that allows management of ontological entities, containers of entities, reasoner connection and many other features that are useful when one needs to use an ontological model within its project. A second module of DL-workbench is a formalism-independent user interface for edition of meta-model based ontologies. This module uses the meta-model and is implemented as a plug-in to the IBM Eclipse [10] platform. A third module defines the SHIQ description logic [7] formalism using the meta-model. The third module provides also customization for the user interface of the second module (such as images, literal names, etc.). DAML+OIL [8] is used within this module as a persistent format. DL-workbench pays much attention to the management of complex logical equations as well as management of many ontologies within a project. DL-workbench allows easy integration of ontological model with other data inside one standalone or distributed application. DL-workbench can be used both as the ontological editor and as an ontology manipulation platform integrated with other tools and environments."