MDA-Based Architecture of a Description Logics Reasoner

  • Nenad Krdžavac
  • Dragan Ðurić
  • Vladan Devedžić
Conference paper

DOI: 10.1007/0-387-34224-9_12

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 204)
Cite this paper as:
Krdžavac N., Ðurić D., Devedžić V. (2006) MDA-Based Architecture of a Description Logics Reasoner. In: Maglogiannis I., Karpouzis K., Bramer M. (eds) Artificial Intelligence Applications and Innovations. AIAI 2006. IFIP International Federation for Information Processing, vol 204. Springer, Boston, MA

Abstract

The paper presents the architecture and design of a description logics (DLs) reasoner based on the Model Driven Architecture (MDA) methodology. The architecture relies on OMG’s description logics metamodel, tableau metamodel, and model transformations using a language for model transformation. We show an example of DLs knowledge base using UML notation in context of MDA. The idea can be easily applied to implementation of a first-order logic theorem prover. The paper does not discuss implementation details of reasoning algorithms and the reasoner performance.

Copyright information

© International Federation for Information Processing 2006

Authors and Affiliations

  • Nenad Krdžavac
    • 1
  • Dragan Ðurić
    • 2
  • Vladan Devedžić
    • 2
  1. 1.Faculty of Electrical EngineeringUniversity of BelgradeBelgradeSerbia and Montenegro
  2. 2.FON - School of Business Administration, Dept. of Information Systems and TechnologiesUniv. of BelgradeBelgradeSerbia and Montenegro

Personalised recommendations