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 条
  • [11] Practical Defeasible Reasoning for Description Logics
    Moodley, Kody
    Meyer, Thomas
    Sattler, Uli
    STAIRS 2014, 2014, 264 : 191 - +
  • [12] Finite model reasoning in description logics
    Calvanese, D
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 292 - 303
  • [13] Reasoning and quantification in fuzzy description logics
    Sánchez, D
    Tettamanzi, AGB
    FUZZY LOGIC AND APPLICATIONS, 2006, 3849 : 81 - 88
  • [14] Reasoning within fuzzy description logics
    Straccia, Umberto
    Journal of Artificial Intelligence Research, 2001, 14 : 147 - 176
  • [15] Distributed reasoning with fuzzy description logics
    Lu, Jianjiang
    Li, Yanhui
    Zhou, Bo
    Kang, Dazhou
    Zhang, Yafei
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 196 - +
  • [16] Reasoning in collaboration diagrams by description logics
    Nakanishi, H
    Miura, T
    Shioya, I
    COMPUTERS AND THEIR APPLICATIONS, 2004, : 127 - 130
  • [17] Tractable Reasoning with Bayesian Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Lukasiewicz, Thomas
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 146 - +
  • [18] A two-phase data space partitioning for efficient skyline computation
    Nasridinov, Aziz
    Choi, Jong-Hyeok
    Park, Young-Ho
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (04): : 3617 - 3628
  • [19] A two-phase data space partitioning for efficient skyline computation
    Aziz Nasridinov
    Jong-Hyeok Choi
    Young-Ho Park
    Cluster Computing, 2017, 20 : 3617 - 3628
  • [20] Order-Oriented Reasoning in Description Logics
    Vanekova, Veronika
    Vojtas, Peter
    ADVANCES IN INTELLIGENT WEB MASTERING-2, PROCEEDINGS, 2010, 67 : 219 - +
12345