Geodesic
Model Driven Engineering of a Tableau Algorithm for Description Logics
Computer Science and Information Systems, Tome 6 (2009) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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.
Keywords: Description Logics, Model Driven Architecture, Tableau Algorithm 
@article{CSIS_2009_6_1_a2,
     author = {Nenad Krd\v{z}avac and Dragan Ga\v{s}evi\'c and Vladan Deved\v{z}i\'c},
     title = {Model {Driven} {Engineering} of a {Tableau} {Algorithm} for {Description} {Logics}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {6},
     number = {1},
     year = {2009},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/}
}
TY  - JOUR
AU  - Nenad Krdžavac
AU  - Dragan Gašević
AU  - Vladan Devedžić
TI  - Model Driven Engineering of a Tableau Algorithm for Description Logics
JO  - Computer Science and Information Systems
PY  - 2009
VL  - 6
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/
ID  - CSIS_2009_6_1_a2
ER  - 
%0 Journal Article
%A Nenad Krdžavac
%A Dragan Gašević
%A Vladan Devedžić
%T Model Driven Engineering of a Tableau Algorithm for Description Logics
%J Computer Science and Information Systems
%D 2009
%V 6
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/
%F CSIS_2009_6_1_a2
Nenad Krdžavac; Dragan Gašević; Vladan Devedžić. Model Driven Engineering of a Tableau Algorithm for Description Logics. Computer Science and Information Systems, Tome 6 (2009) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/