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 条

[31] Architecture Conformance Checking with Description Logics
Schroeder, Sandra
Riebisch, Matthias
11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 167 - 173
[32] MDA-based development of data-driven Web applications
Adamko, Attila
Kollar, Lajos
WEBIST 2008: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, 2008, : 252 - 255
[33] Using Abstraction in MDA-Based Reverse Engineering for Creative Evolution
Jing, Delin
Yang, Hongji
Hakeem, Hossam
PROCEEDINGS OF THE 2014 20TH INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC'14), 2014, : 67 - +
[34] An architecture description language based on dynamic description logics for self-healing systems
Wang, Z. (wangzx@ncepu.edu.cn), 1600, Advanced Institute of Convergence Information Technology, Myoungbo Bldg 3F,, Bumin-dong 1-ga, Seo-gu, Busan, 602-816, Korea, Republic of (04):
[35] MDA-Based Meta-modeling Technique for Collaborative Simulation
Ma, Cheng
Xiao, Tianyuan
ASIASIM 2012, PT I, 2012, 323 : 250 - 261
[36] MDA-based UI Modeling and Transformation of Spoken Dialog Systems
Lin, Sheng-Shi
Shin, Shin-Shing
Hsieh, Ming-Che
Wu, Jen-Her
Hung, Wei-Sheng
HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 1, PROCEEDINGS, 2009, : 47 - +
[37] An MDA-based Subsurface Spatial Ontology Modeling for Semantic Sharing
Sang-Hoon, Lee
Pyoung-Wuck, Chang
2009 THIRD UKSIM EUROPEAN SYMPOSIUM ON COMPUTER MODELING AND SIMULATION (EMS 2009), 2009, : 460 - +
[38] A MDA-based approach for real time embedded systems simulation
DeAntoni, J
Babau, JP
Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, Proceedings, 2005, : 257 - 264
[39] A MDA-based Approach for General Embedded Software Simulation Platform
Wang, Yuying
Zhou, Xingshe
Dong, Yunwei
Li, Changde
2009 INTERNATIONAL CONFERENCE ON SCALABLE COMPUTING AND COMMUNICATIONS & EIGHTH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING, 2009, : 20 - 25
[40] MDA-based re-engineering with Object-Z
Suss, Jorn Guy
McComb, Tim
Kim, Soon-Kyeong
Wildman, Luke
Watson, Geoffrey
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 291 - 305

← 1 2 3 4 5 →