Efficient two-phase data reasoning for description logics

被引：0
|
作者：
Zombori, Zsolt [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Comp Sci & Informat Theory, Budapest, Hungary
来源：
ARTIFICIAL INTELLIGENCE IN THEORY AND PRACTICE II | 2008年 / 276卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are inefficient in the presence of large amounts of data. We present in algorithm to transform DL axioms to a set of function-free clauses of first-order logic which can be used for efficient, query oriented data reasoning. The described method has been implemented in a module of the DLog reasoner openly available on SourceForge to download.
引用
收藏
页码：393 / 402
页数：10
相关论文
共 50 条
  • [1] Efficient two-phase data reasoning for description logics
    Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary
    IFIP Advances in Information and Communication Technology, 2008, (393-402)
  • [2] Data Complexity of Reasoning in Very Expressive Description Logics
    Hustadt, Ullrich
    Motik, Boris
    Sattler, Ulrike
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 466 - 471
  • [3] Two Phase Description Logic Reasoning for Efficient Information Retrieval
    Zombori, Zsolt
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS, 2010, 6089 : 498 - 502
  • [4] Granular Description of Data Structures: A Two-Phase Design
    Ouyang, Tinghui
    Pedrycz, Witold
    Reyes-Galaviz, Orion F.
    Pizzi, Nick J.
    IEEE TRANSACTIONS ON CYBERNETICS, 2021, 51 (04) : 1902 - 1912
  • [5] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [6] Analogical Reasoning in Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Esposito, Floriana
    UNCERTAINTY REASONING FOR THE SEMANTIC WEB I, 2008, 5327 : 330 - 347
  • [7] Hypertableau reasoning for description logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    Journal of Artificial Intelligence Research, 2009, 36 : 165 - 228
  • [8] Hypertableau Reasoning for Description Logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 165 - 228
  • [9] Reasoning with Fuzzy Description Logics CFALC
    He, Siping
    Fang, Meiqi
    ADVANCES IN BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING, 2008, 5 : 236 - 239
  • [10] Reasoning within fuzzy description logics
    Straccia, U
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001, 14 : 137 - 166
12345