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

共 15 条

[1]

[Anonymous], 2013, IJCAI

[2] On Conceptual Graphs and Explanation of Query Answering under Inconsistency [J].

Arioua, Abdallah ;

Tamani, Nouredine ;

Croitoru, Madalina .

GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 :51-64

[3]

Bienvenu M., 2012, P AAAI

[4]

Borgida A, 2008, LECT NOTES COMPUT SC, V5332, P1440

[5] A general Datalog-based framework for tractable query answering over ontologies [J].

Cali, Andrea ;

Gottlob, Georg ;

Lukasiewicz, Thomas .

JOURNAL OF WEB SEMANTICS, 2012, 14 :57-83

[6] Reasoning about Explanations for Negative Query Answers in DL-Lite [J].

Calvanese, Diego ;

Ortiz, Magdalena ;

Simkus, Mantas ;

Stefanoni, Giorgio .

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 :635-669

[7] On the evaluation of argumentation formalisms [J].

Caminada, Martin ;

Amgoud, Leila .

ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) :286-310

[8]

Croitoru M, 2013, LECT NOTES ARTIF INT, V8078, P15, DOI 10.1007/978-3-642-40381-1_2

[9] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES [J].

DUNG, PM .

ARTIFICIAL INTELLIGENCE, 1995, 77 (02) :321-357

[10] Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems [J].

Garcia, Alejandro J. ;

Chesnevar, Carlos I. ;

Rotstein, Nicolas D. ;

Simari, Guillermo R. .

EXPERT SYSTEMS WITH APPLICATIONS, 2013, 40 (08) :3233-3247

← 1 2 →