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 条
  • [41] Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking
    Kamide, Norihiro
    Kanbe, Seidai
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 242 - 252
  • [42] A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning
    Moguillansky, Martin O.
    Simari, Guillermo R.
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 64 : 141 - 168
  • [43] Inconsistency-tolerant reasoning in datalog ontologies via an argumentative semantics
    Deagustini, Cristhian Ariel David (caddeagustini@gmail.com), 1600, Springer Verlag (8864):
  • [44] An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
    Schockaert, Steven
    Prade, Henri
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 363 - 368
  • [45] A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
    Zhang, Xiaowang
    Wang, Kewen
    Wang, Zhe
    Ma, Yue
    Qi, Guilin
    Feng, Zhiyong
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 89 : 58 - 79
  • [46] A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
    Baget, Jean Francois
    Benferhat, Salem
    Bouraoui, Zied
    Croitoru, Madalina
    Mugnier, Marie-Laure
    Papini, Odile
    Rocher, Swan
    Tabia, Karim
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 513 - 516
  • [47] Towards Defeasible Mappings for Tractable Description Logics
    Sengupta, Kunal
    Hitzler, Pascal
    SEMANTIC WEB - ISWC 2015, PT I, 2015, 9366 : 237 - 252
  • [48] Tractable reasoning in description logics with functionality constraints
    1600, Springer Verlag (8000):
  • [49] Tractable Interval Temporal Propositional and Description Logics
    Artale, A.
    Kontchakov, R.
    Ryzhikov, V.
    Zakharyaschev, M.
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1417 - 1423
  • [50] Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
    Baget, Jean Francois
    Benferhat, Salem
    Bouraoui, Zied
    Croitoru, Madalina
    Mugnier, Marie-Laure
    Papini, Odile
    Rocher, Swan
    Tabia, Karim
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 64 - 80
12345