MDA-Based Architecture of a Description Logics Reasoner

  • Nenad Krdžavac
  • Dragan Ðurić
  • Vladan Devedžić
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 204)

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.

References

  1. 1.
    Atkinson C., Kuhne T., Model-Driven Development, A Metamodeling Foundation, IEEE Software 205 (2003) 36–41CrossRefGoogle Scholar
  2. 2.
    Baader F., Calvanese D., D. McGuinness, Nardi D., Patel-Schneider P., The Description Logic Handbook-Theory, Implementation and Application, Cambridge University Press (2003)Google Scholar
  3. 3.
    Bezivin J., In Search of Basic Principles for Model Drive Architecture, The European Journal for The Informatics Professional, 52 (2004)Google Scholar
  4. 4.
    Dirckze R., (spec, leader): Java Metadata Interface (JMI) API Specification ver. 1.0 (2002) [Online]. Available: http://jcp.org/aboutJava/communitvprocess/final/jsr040/ Google Scholar
  5. 5.
    Djuric D., Gasevic D., Damjanovic V., AIR-A Platform for Intelligent Systems, In Proceedings of AIAI 2004: First IFIP International Conference on Artificial Intelligence Applications and Innovations, Toulouse France (2004)Google Scholar
  6. 6.
    Haarslev V., Moller R., RACER Systems Description, Lecture Notice in Computer Science 20083(2001)Google Scholar
  7. 7.
    Horrocks I., Optimising Tableaux Decision Procedures for Description Logics, PhD Thesis, University of Manchester (1997)Google Scholar
  8. 8.
    Jouault F., Kurtev I., Transforming Models with ATL, In Proc. of the Model Transformations in Practice Workshop at MoDELS, Jamaica (2005). Available: http://sosvm.dcs.kcl.ac.uk/events/mtip/submissions/jouault_kurtev transforming_models_with_atl.pdf Google Scholar
  9. 9.
    Krdzavac N., Gasevic D., Devedzic V., Description Logic Reasoning in Web-based Education Environment, In Proceedings of the Workshop on Adaptive Hypermedia and Collaborative Web-based Systems (4th International Conference on Web Engineering), Munich, Germany (2004)Google Scholar
  10. 10.
    Meta Object Facility (MOF) Specification, vl.4, [Online]. Available: http://www.omg.org/docs/formal/02-04-03.pdf Google Scholar
  11. 11.
    Mukerji J., Miler J., MDA Guide Version. 1.0.1, [Online]. Available: http://www.omg.org/docs/omg/03-06-01.pdf Google Scholar
  12. 12.
    OMG XMI Specification, ver. 1.2, OMG Document Formal/02-01-01 (2002) [Online.] Available: http://www.omg.org/cgi-bin/doc?formal/2002-01-01.pdf Google Scholar
  13. 13.
    Ontology Definition Metamodel, Preliminary Revised Submission to OMG RFP ad/2003-03-40 1 (2004) [Online]. Available: http://codip.grci.com/odm/draft Google Scholar
  14. 14.
    Request for Proposal: MOF 2.0 Query / Views /Transformations RFP, OMG Document: ad/2002-04-10 (2002) [Online]. Available: http://www.omg.org/docs/ad/02-04-10.pdf Google Scholar
  15. 15.
    Sirin E., Parsia B., An OWL DL Reasoner, Proceedings on International Workshop on Description Logics (DL2004), British Columbia, Canada 6.–8. June (2004)Google Scholar
  16. 16.
    Soley R., MDA, An Introduction, [Online]. Available: http://www.omg.org. (2004)Google Scholar

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