Description logic with default reasoning

被引：0
|
作者：
Dong, Ming-Kai [1 ]
Jiang, Yun-Cheng [1 ]
Shi, Zhong-Zhi [1 ]
机构：
[1] Inst. of Comp. Technol., Chinese Acad. of Sci., Beijing 100080, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2003年 / 26卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Knowledge representation
引用
收藏
页码：729 / 736
相关论文
共 50 条
  • [41] Semantics and reasoning of description logic μALCIO
    Jiang, Yun-Cheng
    Wang, Ju
    Deng, Pei-Min
    Tang, Yong
    Zhou, Sheng-Ming
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (07): : 1280 - 1290
  • [42] Prolog Based Description Logic Reasoning
    Lukacsy, Gergely
    Szeredi, Peter
    Kadar, Balazs
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 455 - 469
  • [43] Dynamic Reasoning for Description Logic Terminologies
    Ustymenko, Stanislav
    Schwartz, Daniel G.
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2010, 6085 : 340 - +
  • [44] Individual reuse in description logic reasoning
    Motik, Boris
    Horrocks, Ian
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 242 - 258
  • [45] Reasoning with individuals for the description logic SHIQ
    Horrocks, I
    Sattler, U
    Tobies, S
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 482 - 496
  • [46] Description Logic reasoning with syntactic updates
    Halashek-Wiener, Christian
    Parsia, Bijan
    Sirin, Evren
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBAS, PT 1, PROCEEDINGS, 2006, 4275 : 722 - 737
  • [47] Ordering Heuristics for Description Logic Reasoning
    Tsarkov, Dmitry
    Horrocks, Ian
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 609 - 614
  • [48] Reasoning on XBRL metadata in description logic
    Wang, Dong
    Pan, Ding
    Zhang, Yingmin
    Information Technology Journal, 2013, 12 (24) : 8000 - 8004
  • [49] Large-Scale Commonsense Knowledge for Default Logic Reasoning
    Järv P.
    Tammet T.
    Verrev M.
    Draheim D.
    SN Computer Science, 4 (5)
  • [50] Hardware Model of Commonsense Reasoning Based on Fuzzy Default Logic
    Pulka, Andrzej
    Milik, Adam
    3RD INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION, 2010, : 34 - 41
12345