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 条
  • [41] An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Simari, Gerardo I.
    Simari, Guillermo R.
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 78 - 87
  • [42] An argumentation framework for merging conflicting knowledge bases: The prioritized case
    Amgoud, L
    Kaci, S
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 527 - 538
  • [43] Advanced Query Functionalities in Natural Logic Knowledge Bases
    Andreasen, Troels
    Bulskov, Henrik
    Nilsson, Jorgen Fischer
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2024, 17 (01)
  • [44] Games for query inseparability of description logic knowledge bases
    Botoeva, Elena
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Wolter, Frank
    Zakharyaschev, Michael
    ARTIFICIAL INTELLIGENCE, 2016, 234 : 78 - 119
  • [45] Temporalizing rewritable query languages over knowledge bases
    Borgwardt, Stefan
    Lippmann, Marcel
    Thost, Veronika
    JOURNAL OF WEB SEMANTICS, 2015, 33 : 50 - 70
  • [46] ArchimedesOne: Query Processing over Probabilistic Knowledge Bases
    Zhou, Xiaofeng
    Chen, Yang
    Wang, Daisy Zhe
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2016, 9 (13): : 1461 - 1464
  • [47] Query Rewriting under Linear εL Knowledge Bases
    Dimartino, Mirko M.
    Cali, Andrea
    Poulovassilis, Alexandra
    Wood, Peter T.
    WEB REASONING AND RULE SYSTEMS, (RR 2016), 2016, 9898 : 61 - 76
  • [48] Implementing Query Answering for Hybrid MKNF Knowledge Bases
    Gomes, Ana Sofia
    Alferes, Jose Julio
    Swift, Terrance
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 25 - 39
  • [49] Query Processing of Inconsistent Data using Neutrosophic Set
    De, Soumitra
    Mishra, Jaydev
    Ghosh, Sharmistha
    2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND AUTOMATION (ICCCA), 2016, : 19 - 22
  • [50] Argumentation Using Temporal Knowledge
    Mann, Nicholas
    Hunter, Anthony
    COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 204 - 215
12345