Inconsistency-Tolerant Instance Checking in Tractable Description Logics

被引：2
|
作者：
Penaloza, Rafael [1 ]
机构：
[1] Free Univ Bozen Bolzano, KRDB Res Ctr, Bolzano, Italy
来源：
RULES AND REASONING | 2017年 / 10364卷
关键词：
D O I：
10.1007/978-3-319-61252-2_15
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. the brave semantics remains tractable, and the intersection semantics allow for an anytime algorithm. We also show that inconsistency-tolerant instance checking w.r.t. ABox repairs is intractable even if only polynomially many ABox repairs exist.
引用
收藏
页码：215 / 229
页数：15
相关论文
共 50 条
  • [31] Inconsistency-tolerant Belief Revision for Distributed Decision Support
    Decker, Hendrik
    de Juan-Marin, Ruben
    2013 EIGHTH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC 2013), 2013, : 387 - 393
  • [32] Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
    Martinez, Maria Vanina
    David Deagustini, Cristhian Ariel
    Falappa, Marcelo A.
    Ricardo Simari, Guillermo
    ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), 2014, 8864 : 15 - 27
  • [33] Tractable Reasoning with Bayesian Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Lukasiewicz, Thomas
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 146 - +
  • [34] How does incoherence affect inconsistency-tolerant semantics for Datalog±?
    Cristhian A. D. Deagustini
    M. Vanina Martinez
    Marcelo A. Falappa
    Guillermo R. Simari
    Annals of Mathematics and Artificial Intelligence, 2018, 82 : 43 - 68
  • [35] Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
    Potyka, Nico
    Thimm, Matthias
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 88 : 209 - 236
  • [36] Minimizing Risks of Decision Making by Inconsistency-Tolerant Integrity Management
    Decker, Hendrik
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, 2013, 8186 : 556 - 565
  • [37] Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
    Lukasiewicz, Thomas
    Malizia, Enrico
    Molinaro, Cristian
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2909 - 2916
  • [38] How does incoherence affect inconsistency-tolerant semantics for Datalog±?
    Deagustini, Cristhian A. D.
    Martinez, M. Vanina
    Falappa, Marcelo A.
    Simari, Guillermo R.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2018, 82 (1-3) : 43 - 68
  • [39] Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management
    Decker, Hendrik
    INFORMATION SYSTEMS: METHODS, MODELS, AND APPLICATIONS, UNISCON 2012, 2013, 137 : 13 - 24
  • [40] Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics
    Arioua, Abdallah
    Tamani, Nouredine
    Croitoru, Madalina
    Fortin, Jerome
    Buche, Patrice
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II (ICAISC 2015), 2015, 9120 : 554 - 564
12345