MDA-based architecture of a description logics reasoner

被引：0
|
作者：
Krdzavac, Nenad [1 ]
Duric, Dragan [2 ]
Devedzic, Vladan [2 ]
机构：
[1] Univ Belgrade, Fac Elect Engn, Bulevar Kralja Aleksandra 73, Belgrade 11000, Serbia Monteneg
[2] Univ Belgrade, Sch Business Adm, Dept Informat Syst & Technol, Belgrade 11000, Serbia Monteneg
来源：
ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS | 2006年 / 204卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：98 / +
页数：2
相关论文
共 50 条
  • [1] Designing a Tableau Reasoner for Description Logics
    Linh Anh Nguyen
    ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2015, 358 : 321 - 333
  • [2] An MDA-based modeling and design of service oriented architecture
    Rahmani, Adel Torkaman
    Rafe, Vahid
    Sedighian, Saeed
    Abbaspour, Amin
    COMPUTATIONAL SCIENCE - ICCS 2006, PT 3, PROCEEDINGS, 2006, 3993 : 578 - 585
  • [3] Using Description Logics reasoner for ontology matching
    Shen, Guohua
    Huang, Zhiqiu
    Zhu, Xiaodong
    Wang, Lei
    Xiang, Gaoyou
    IITA 2007: WORKSHOP ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, PROCEEDINGS, 2007, : 30 - 33
  • [4] An MDA-Based Generic Framework to Address Various Aspects of Enterprise Architecture
    Ostadzadeh, S. Shervin
    Alice, Fereidoon Shams
    Ostadzadeh, S. Arash
    ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 455 - +
  • [5] MDA-based development in the DECOS integrated architecture - Modeling the hardware platform
    Huber, Bernhard
    Obermaisser, Roman
    Peti, Philipp
    NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 43 - 52
  • [6] Formalizing MDA-based refactorings
    Favre, Liliana
    Pereira, Claudia
    ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 377 - +
  • [7] COOL - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)
    Gorin, Daniel
    Pattinson, Dirk
    Schroeder, Lutz
    Widmann, Florian
    Wissmann, Thorsten
    AUTOMATED REASONING, IJCAR 2014, 2014, 8562 : 396 - 402
  • [8] MDA-based methodologies: An analytical survey
    Asadi, Mohsen
    Ramsin, Raman
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 419 - 431
  • [9] A MDA-BASED TESTING A Comparative Study
    Torres, Arturo H.
    Escalona, Maria J.
    Mejias, Manuel
    Gutierrez, Javier J.
    ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 269 - 274
  • [10] Towards an MDA-based development methodology
    Gavras, A
    Belaunde, M
    Pires, LF
    Almeida, JPA
    SOFTWARE ARCHITECTURE, 2004, 3047 : 230 - 240
12345