Dynamic Reasoning for Description Logic Terminologies

被引：0
|
作者：
Ustymenko, Stanislav [1 ]
Schwartz, Daniel G. [2 ]
机构：
[1] Meritus Univ, Sch Informat Technol, 30 Knowledge Pk Dr Suite 301, Fredericton, NB E3C 2R2, Canada
[2] Florida State Univ, Dept Comp Sci, Tallahassee, FL USA
来源：
ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2010年 / 6085卷
关键词：
Description logics; belief revision; dynamic reasoning systems;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The Semantic Web presents the challenge of designing agents capable of continuously updating their knowledge bases. Semantic Web ontologies are commonly represented using description logic knowledge bases. We demonstrate description logic reasoning using a Dynamic Reasoning System (DRS). This explicitly portrays reasoning as a process taking place in time and allows for manipulating inconsistent knowledge bases.
引用
收藏
页码：340 / +
页数：2
相关论文
共 50 条
  • [1] A dynamic description logic for representation and reasoning about actions
    Chang, Liang
    Lin, Fen
    Shi, Zhongzhi
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
  • [2] The logical difference problem for description logic terminologies
    Konev, Boris
    Walther, Dirk
    Wolter, Frank
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 259 - 274
  • [3] Stable Model Semantics for Description Logic Terminologies
    Di Stefano, Federica
    Simkus, Mantas
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10484 - 10492
  • [4] A Description Logic for Analogical Reasoning
    Schockaert, Steven
    Ibanez-Garcia, Yazmin
    Gutierrez-Basulto, Victor
    [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 2040 - 2046
  • [5] Description Logic reasoning in Prolog
    Lukacsy, Gergely
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 463 - 464
  • [6] Description logic with default reasoning
    Dong, Ming-Kai
    Jiang, Yun-Cheng
    Shi, Zhong-Zhi
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (06): : 729 - 736
  • [7] Fuzzy Reasoning in Description Logic
    Gasmi, Mohamed
    Bourahla, Mustapha
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2016, 16 (07): : 71 - 82
  • [8] LOGIC AND TERMINOLOGIES
    DOLLING, J
    [J]. DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1980, 28 (12): : 1453 - 1462
  • [9] Semantics and reasoning of description logic μALCIO
    Jiang, Yun-Cheng
    Wang, Ju
    Deng, Pei-Min
    Tang, Yong
    Zhou, Sheng-Ming
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (07): : 1280 - 1290
  • [10] Prolog Based Description Logic Reasoning
    Lukacsy, Gergely
    Szeredi, Peter
    Kadar, Balazs
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 455 - 469
12345