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 条
  • [31] Query evaluation and progression in AOL knowledge bases
    Lakemeyer, G
    Levesque, HJ
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 124 - 131
  • [32] Efficient query processing with compiled knowledge bases
    Murray, NV
    Rosenthal, E
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 231 - 244
  • [33] A query processing method for amalgamated knowledge bases
    He, LF
    Chao, YY
    Nakamura, T
    Seki, H
    Itoh, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1999, E82D (08): : 1180 - 1189
  • [34] Query-answering CG knowledge bases
    Leclere, Michel
    Moreau, Nicolas
    CONCEPTUAL STRUCTURES: KNOWLEDGE VISUALIZATION AND REASONING, 2008, 5113 : 147 - 160
  • [35] Natural language query formalization to SPARQL for querying knowledge bases using Rasa
    Mishra, Divyansh Shankar
    Agarwal, Abhinav
    Swathi, B. P.
    Akshay, K. C.
    PROGRESS IN ARTIFICIAL INTELLIGENCE, 2022, 11 (03) : 193 - 206
  • [36] Efficient Search Result Diversification via Query Expansion Using Knowledge Bases
    Rubien, Raoul
    Ziak, Hermann
    Kern, Roman
    2015 26TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), 2015, : 286 - 290
  • [37] Natural language query formalization to SPARQL for querying knowledge bases using Rasa
    Divyansh Shankar Mishra
    Abhinav Agarwal
    B. P. Swathi
    K C. Akshay
    Progress in Artificial Intelligence, 2022, 11 : 193 - 206
  • [38] Explanatory dialogues with argumentative faculties over inconsistent knowledge bases
    Arioua, Abdallah
    Buche, Patrice
    Croitoru, Madalina
    EXPERT SYSTEMS WITH APPLICATIONS, 2017, 80 : 244 - 262
  • [39] Measuring the blame of each formula for inconsistent prioritized knowledge bases
    Mu, Kedian
    Liu, Weiru
    Jin, Zhi
    JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (03) : 481 - 516
  • [40] Deriving information from inconsistent knowledge bases:: A completeness theorem for ηΔη
    Paris, Jeff
    LOGIC JOURNAL OF THE IGPL, 2004, 12 (05) : 345 - 353
12345