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 条
  • [31] DESCRIPTION AND REASONING OF VLSI CIRCUIT IN TEMPORAL LOGIC
    FUSAOKA, A
    SEKI, H
    TAKAHASHI, K
    NEW GENERATION COMPUTING, 1984, 2 (01) : 79 - 90
  • [32] Reasoning in Description Logic Ontologies for Privacy Management
    Nuradiansyah, Adrian
    KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 411 - 415
  • [33] A Parameterized Complexity View on Description Logic Reasoning
    de Haan, Ronald
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 359 - 368
  • [34] Combining Event Calculus and Description Logic Reasoning via Logic Programming
    Baumgartner, Peter
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2021), 2021, 12941 : 98 - 117
  • [35] A Dynamic Fuzzy Description Logic
    FANG Wei
    Wuhan University Journal of Natural Sciences, 2008, (04) : 417 - 420
  • [36] A Dynamic Description Logic for UML
    Li, Ming
    Zang, Fengkui
    FIRST IITA INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, : 175 - 178
  • [37] XML Schema Representation and Reasoning: A Description Logic Method
    Wu, Xiaobing
    Ratcliffe, David
    Cameron, Mark A.
    IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, : 487 - 494
  • [38] Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
    Keller, Uwe
    Heymans, Stijn
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 265 - +
  • [39] Study of Semantic Reasoning based on Ontology Description Logic
    Wang, Jinhuan
    Li, Baomin
    PROCEEDINGS OF 2016 IEEE ADVANCED INFORMATION MANAGEMENT, COMMUNICATES, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IMCEC 2016), 2016, : 1869 - 1872
  • [40] Representation and Reasoning of Fuzzy ER Model with Description Logic
    Zhang, Fu
    Ma, Z. M.
    Yan, Li
    2008 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5, 2008, : 1360 - 1367
12345