Ordering Heuristics for Description Logic Reasoning

被引：0
|
作者：
Tsarkov, Dmitry [1 ]
Horrocks, Ian [1 ]
机构：
[1] Univ Manchester, Sch Comp Sci, Manchester, Lancs, England
来源：
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05) | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.
引用
收藏
页码：609 / 614
页数：6
相关论文
共 50 条
  • [1] Combining heuristics for default logic reasoning systems
    Nicolas, P
    Saubion, F
    Stéphan, I
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 393 - 400
  • [2] 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
  • [3] Description Logic reasoning in Prolog
    Lukacsy, Gergely
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 463 - 464
  • [4] 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
  • [5] Fuzzy Reasoning in Description Logic
    Gasmi, Mohamed
    Bourahla, Mustapha
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2016, 16 (07): : 71 - 82
  • [6] 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
  • [7] Prolog Based Description Logic Reasoning
    Lukacsy, Gergely
    Szeredi, Peter
    Kadar, Balazs
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 455 - 469
  • [8] Dynamic Reasoning for Description Logic Terminologies
    Ustymenko, Stanislav
    Schwartz, Daniel G.
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2010, 6085 : 340 - +
  • [9] Reasoning with individuals for the description logic SHIQ
    Horrocks, I
    Sattler, U
    Tobies, S
    [J]. AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 482 - 496
  • [10] Individual reuse in description logic reasoning
    Motik, Boris
    Horrocks, Ian
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 242 - 258
12345