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 条
  • [31] Reasoning with heuristics
    Karlan, Brett
    RATIO, 2021, 34 (02) : 100 - 108
  • [32] 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
  • [33] A dynamic description logic for representation and reasoning about actions
    Chang, Liang
    Lin, Fen
    Shi, Zhongzhi
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
  • [34] Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
    Keller, Uwe
    Heymans, Stijn
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 265 - +
  • [35] 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
  • [36] 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
  • [37] OPTIMIZING DESCRIPTION LOGIC REASONING FOR THE SERVICE MATCHMAKING AND COMPOSITION
    Babik, Marian
    Hluchy, Ladislav
    COMPUTING AND INFORMATICS, 2008, 27 (04) : 661 - 679
  • [38] Analogical Reasoning in Clinical Practice with Description Logic ELH
    Racharak, Teeradaj
    Tojo, Satoshi
    AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART 2017), 2018, 10839 : 179 - 204
  • [39] Including Quantification in Defeasible Reasoning for the Description Logic EL⊥
    Pensel, Maximilian
    Turhan, Anni-Yasmin
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 78 - 84
  • [40] Representing and reasoning on XML documents: A description logic approach
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (03) : 295 - 318
12345