Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

被引：11

作者：

Baget, Jean Francois ^{[1
]}

Benferhat, Salem ^{[2
]}

Bouraoui, Zied ^{[3
]}

Croitoru, Madalina ^{[4
]}

Mugnier, Marie-Laure ^{[4
]}

Papini, Odile ^{[5
]}

Rocher, Swan ^{[4
]}

Tabia, Karim ^{[2
]}

机构：

[1] Inria, Paris, France

[2] Artois Univ, Arras, France

[3] Cardiff Univ, Cardiff, Wales

[4] Univ Montpellier, Montpellier, France

[5] Aix Marseille Univ, Marseille, France

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016) | 2016年 / 10021卷

关键词：

DESCRIPTION LOGICS;

D O I：

10.1007/978-3-319-48758-8_5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Generalising the state of the art, an inconsistency-tolerant semantics can be seen as a couple composed of a modifier operator and an inference strategy. In this paper we deepen the analysis of such general setting and focus on two aspects. First, we investigate the rationality properties of such semantics for existential rule knowledge bases. Second, we unfold the broad landscape of complexity results of inconsistency-tolerant semantics under a specific (yet expressive) subclass of existential rules.

引用

页码：64 / 80

页数：17

共 13 条

[1] Complexity of Inconsistency-Tolerant Query Answering in Datalog plus /-
Lukasiewicz, Thomas
Martinez, Maria Vanina
Simari, Gerardo I.
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 CONFERENCES, 2013, 8185 : 488 - 500
[2] Inconsistency-tolerant query answering for existential rules
Lukasiewicz, Thomas
Malizia, Enrico
Vanina Martinez, Maria
Molinaro, Cristian
Pieris, Andreas
Simari, Gerardo, I
ARTIFICIAL INTELLIGENCE, 2022, 307
[3] Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
Lukasiewicz, Thomas
Malizia, Enrico
Molinaro, Cristian
THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2909 - 2916
[4] Complexity of Inconsistency-Tolerant Query Answering in Datalog plus /- under Cardinality-Based Repairs
Lukasiewicz, Thomas
Malizia, Enrico
Vaicenavicius, Andrius
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2962 - 2969
[5] 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
[6] Inconsistency-tolerant query answering in ontology-based data access
Lembo, Domenico
Lenzerini, Maurizio
Rosati, Riccardo
Ruzzi, Marco
Savo, Domenico Fabio
JOURNAL OF WEB SEMANTICS, 2015, 33 : 3 - 29
[7] Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
Calautti, Marco
Greco, Sergio
Molinaro, Cristian
Trubitsyna, Irina
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 203 - 212
[8] Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
Bienvenu, Meghyn
Bourgaux, Camille
Goasdoue, Francois
THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 900 - 906
[9] Preference-based inconsistency-tolerant query answering under existential rules
Calautti, Marco
Greco, Sergio
Molinaro, Cristian
Trubitsyna, Irina
ARTIFICIAL INTELLIGENCE, 2022, 312
[10] A graph-based approach for query answering under inconsistency-tolerant semantics
Fu X.
Qi G.
Zhang Y.
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2016, 53 (02): : 303 - 315

← 1 2 →