Abstract
Nowadays many ontological editors are available. However, several specific requirements forced us to search for new principles and to develop a new ontology edition platform called DL-workbench. The platform combines research experience of model-based software architectures and knowledge based engineering. We applied the metainformatics principles in order to satisfy growing requirements of our application domain. 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 platform. A third module defines the SHIQ description logic 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.). 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. This paper describes our motivation for creation of DL-workbench, implemented features and lessons learned from implementation of ontological editor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., et al.: The Description Logic Handbook: theory, implementation and applications. Cambridge University Press, Cambridge (2003) ISBN 0-521-78176-0
The SALOME project, Online: http://www.opencascade.org/salome
OMG MOF, Online: http://www.omg.org/technology/documents/formal/mof.htm
Bechhofer, S.: The DIG description logic interface: DIG/1.0 (2002), Online: http://www.fh-wedel.de/~mo/racer/interface1.0.pdf
DL-workbench project web site, Online: http://www.opencascade.org/dl-workbench
Bechhofer, S., et al.: APN 2001. LNCS. Springfied, Heidelberg (2001)
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 482–496. Springer, Heidelberg (2000)
DAML+OIL language, Online: http://www.w3.org/TR/daml+oil-reference
OWL language, Online: http://www.w3.org/TR/owl-absyn
IBM Eclipse 2.1 platform, project page, Online: http://www.eclipse.org
Racer reasoner, http://www.fh-wedel.de/~mo/racer
FaCT reasoner, http://www.cs.man.ac.uk/~horrocks/FaCT
Java Swing UI widget library, Online:
KAON API, Online: http://km.aifb.uni-karlsruhe.de/kaon/Members/rvo/kaon_api
Kifer, M., Lausen, G.: F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (1990), Online: http://citeseer.nj.nec.com/kifer90flogic.html
Xerces XML parser, Online: http://xml.apache.org/#xerces
Jena DAML and RDF parser, Online: http://www.hpl.hp.com/semweb/index.html
Protege environment, Online: http://protege.standord.edu
Kazakov, M., Abdulrab, H., Babkin, E.: Intelligent integration of distributed components: Ontology Fusion approach. In: proceedings of CIMCA 2003 conference (2003) ISBN 1-740-88069-2
Denny, M.: Table 1. Ontology editor survey results (2002), Online: http://www.xml.com/2002/11/06/Ontology_Editor_Survey.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kazakov, M., Abdulrab, H. (2004). A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. In: Hicks, D.L. (eds) Metainformatics. MIS 2003. Lecture Notes in Computer Science, vol 3002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24647-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24647-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22010-7
Online ISBN: 978-3-540-24647-3
eBook Packages: Springer Book Archive