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 条
  • [31] Tractable reasoning and efficient query answering in description logics: The DL-Lite family
    Calvanese, Diego
    De Giacomo, Giuseppe
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    Journal of Automated Reasoning, 2007, 39 (03): : 385 - 429
  • [32] Fixed-Domain Reasoning for Description Logics
    Gaggl, Sarah
    Rudolph, Sebastian
    Schweizer, Lukas
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 819 - 827
  • [33] Reasoning with very expressive fuzzy description logics
    Stoilos, Giorgos
    Stamou, Giorgos
    Pan, Jeff Z.
    Tzouvaras, Vassilis
    Horrocks, Ian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 273 - 320
  • [34] Reasoning in Description Logics by a Reduction to Disjunctive Datalog
    Ullrich Hustadt
    Boris Motik
    Ulrike Sattler
    Journal of Automated Reasoning, 2007, 39 : 351 - 384
  • [35] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43
  • [36] Tractable reasoning in description logics with functionality constraints
    1600, Springer Verlag (8000):
  • [37] Reasoning technique for extended fuzzy description logics
    Li, YH
    Xu, BW
    Lu, JJ
    Kang, DZ
    Xu, J
    ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, : 665 - 666
  • [38] Optimizing Terminological Reasoning for Expressive Description Logics
    Dmitry Tsarkov
    Ian Horrocks
    Peter F. Patel-Schneider
    Journal of Automated Reasoning, 2007, 39 : 277 - 316
  • [39] Reasoning on objects and grasping using description logics
    Vitucci, Nicola
    Gini, Giuseppina
    ADVANCED ROBOTICS, 2019, 33 (13) : 616 - 635
  • [40] Preface to Special Issue on Reasoning in Description Logics
    Franz Baader
    Journal of Automated Reasoning, 2007, 39 : 245 - 247
12345