UDC 004.43, DOI: 10.2298/CSIS0901023K

Model Driven Engineering of a Tableau Algorithm for Description Logics

Nenad Krdžavac2, Dragan Gašević1 and Vladan Devedžić2

  1. School of Computing and Information Systems, Athabasca University
    Canada
    dgasevic@acm.org
  2. FON–School of Business Administration, University of Belgrade
    Serbia
    nenadkr@tesla.rcub.bg.ac.yu devedzic@fon.bg.ac.yu

Abstract

This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languages use. In order to address these issues, we propose the use of model-driven engineering principles for the development of a DL reasoner where a definition of a DL abstract syntax is provided by means of metamodels. The presented approach is based on the use of a MOF-based model repository and QVT-like transformations, which transform models compliant to the DL metamodel taken from the OMG’s Ontology Definition Metamodel specification into models compliant to the Tableau metamodel defined in this paper.

Key words

Description Logics, Model Driven Architecture, Tableau Algorithm

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS0901023K

Publication information

Volume 6, Issue 1 (Jun 2009)
Year of Publication: 2009
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Krdžavac, N., Gašević, D., Devedžić, V.: Model Driven Engineering of a Tableau Algorithm for Description Logics. Computer Science and Information Systems, Vol. 6, No. 1, 23-43. (2009), https://doi.org/10.2298/CSIS0901023K