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 条
  • [41] An MDA-based model for vertical application task forces an experience report
    Anido, L
    Santos, J
    Rodríguez, J
    Caeiro, M
    SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 167 - 178
  • [42] MDA-Based Interoperability Establishment Using Language Independent Information Models
    Agostinho, Carlos
    Cerny, Jaroslav
    Jardim-Goncalves, Ricardo
    ENTERPRISE INTEROPERABILITY, IWEI 2012, 2012, 122 : 146 - 160
  • [43] Unifying service level management using din MDA-based approach
    Debusmann, M
    Kröger, R
    Geihs, K
    NOMS 2004: IEEE/IFIP NETWORK OPERATIONS AND MANAGMENT SYMPOSIUM: MANAGING NEXT GENERATION CONVERGENCE NETWORKS AND SERVICES, 2004, : 801 - 814
  • [44] OCL Constraints Checking on NoSQL Systems Through an MDA-Based Approach
    Abdelhedi, Fatma
    Brahim, Amal Ait
    Zurfluh, Gilles
    INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING, 2021, 17 (01) : 1 - 14
  • [45] Designing BP-IS Aligned Models: An MDA-based Transformation Methodology
    Khlif, Wiem
    Elleuch, Nourchene
    Alotabi, Enaam
    Ben-Abdallah, Hanene
    PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 258 - 266
  • [46] MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT
    Pozo, Sergio
    Varela-Vaca, A. J.
    Gasca, Rafael M.
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II, 2009, 5593 : 130 - 144
  • [47] Design and Realization of MDA-Based Signal-Oriented Instrument Drivers
    Sun, Xiang-Bing
    Liu, Fu-Jun
    Tang, Gong-Min
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (QR2MSE), VOLS I-IV, 2013, : 2051 - 2054
  • [48] Applying an MDA-based approach for enhancing the validation of business process models
    Silega, Nemury
    Noguera, Manuel
    12TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT) / THE 4TH INTERNATIONAL CONFERENCE ON EMERGING DATA AND INDUSTRY 4.0 (EDI40) / AFFILIATED WORKSHOPS, 2021, 184 : 761 - 766
  • [49] An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications
    Daniele, Laura M.
    Pires, Luis Ferreira
    van Sinderen, Marten
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 206 - 220
  • [50] Enterprise Architecture Model Analysis Using Description Logics
    Antunes, Goncalo
    Caetano, Artur
    Borbinha, Jose
    2014 IEEE 18TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS AND DEMONSTRATIONS (EDOCW), 2014, : 237 - 244
12345