Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

被引：3
|
作者：
Arioua, Abdallah [1 ]
Tamani, Nouredine [2 ]
Croitoru, Madalina [2 ]
Buche, Patrice [1 ]
机构：
[1] Univ Montpellier 2, INRA, IATE, F-34095 Montpellier 5, France
[2] Univ Montpellier 2, INRIA, LIRMM, F-34095 Montpellier 5, France
来源：
COMPUTATIONAL MODELS OF ARGUMENT | 2014年 / 266卷
关键词：
DL-LITE; ONTOLOGIES;
D O I：
10.3233/978-1-61499-436-7-101
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/- rules. Our proposal relies on an interactive and argumentative approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. We exploit the equivalence between argumentation and ICR-semantics to prove that the Reasoner can always provide an answer for user's questions.
引用
收藏
页码：101 / 108
页数：8
相关论文
共 50 条
  • [21] On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
    Wyner, Adam
    Bench-Capon, Trevor
    Dunne, Paul
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 34 - 50
  • [22] An argumentation framework for merging conflicting knowledge bases
    Amgoud, Leila
    Kaci, Souhila
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2007, 45 (02) : 321 - 340
  • [23] An argumentation framework for merging conflicting knowledge bases
    Amgoud, L
    Parsons, S
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 27 - 37
  • [24] The Modularity of Inconsistent Knowledge Bases with Application to Measuring Inconsistency
    Mu, Kedian
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2021, PT II, 2021, 12816 : 319 - 332
  • [25] An algorithmic approach to recover inconsistent knowledge-bases
    Arieli, O
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 148 - 162
  • [26] DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases
    Arioua, Abdallah
    Croitoru, Madalina
    Buche, Patrice
    COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 : 461 - 462
  • [27] On the Explanation of SameAs Statements Using Argumentation
    Arioua, Abdallah
    Croitoru, Madalina
    Papaleo, Laura
    Pernelle, Nathalie
    Rocher, Swan
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2016, 2016, 9858 : 51 - 66
  • [28] Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases
    Yun, Bruno
    Vesic, Srdjan
    Croitoru, Madalina
    COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2020), 2020, 326 : 419 - 430
  • [29] Optimal Query Answering in Fuzzy Knowledge Bases
    Plesniewicz, Gerald
    Tarasov, Valery
    2009 FIFTH INTERNATIONAL CONFERENCE ON SOFT COMPUTING, COMPUTING WITH WORDS AND PERCEPTIONS IN SYSTEM ANALYSIS, DECISION AND CONTROL, 2010, : 59 - +
  • [30] Query Inseparability for Description Logic Knowledge Bases
    Botoeva, E.
    Kontchakov, R.
    Ryzhikov, V
    Wolter, F.
    Zakharyaschev, M.
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 238 - 247
12345