Preference-based Inconsistency-Tolerant Query Answering under Existential Rules

被引：0
|
作者：
Calautti, Marco [1 ]
Greco, Sergio [2 ]
Molinaro, Cristian [2 ]
Trubitsyna, Irina [2 ]
机构：
[1] Univ Trento, DISI, Trento, Italy
[2] Univ Calabria, DIMES, Calabria, Italy
来源：
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | 2020年
关键词：
SEMANTICS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Query answering over inconsistent knowledge bases is a problem that has attracted a great deal of interest over the years. Different inconsistency-tolerant semantics have been proposed, and most of them are based on the notion of repair, that is, a "maximal" consistent subset of the database. In general, there can be several repairs, so it is often natural and desirable to express preferences among them. In this paper, we propose a framework for querying inconsistent knowledge bases under user preferences for existential rule languages. We provide generalizations of popular inconsistency-tolerant semantics taking preferences into account and study the data and combined complexity of different relevant problems.
引用
收藏
页码：203 / 212
页数：10
相关论文
共 50 条
  • [1] Preference-based inconsistency-tolerant query answering under existential rules
    Calautti, Marco
    Greco, Sergio
    Molinaro, Cristian
    Trubitsyna, Irina
    [J]. ARTIFICIAL INTELLIGENCE, 2022, 312
  • [2] Inconsistency-tolerant query answering for existential rules
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vanina Martinez, Maria
    Molinaro, Cristian
    Pieris, Andreas
    Simari, Gerardo, I
    [J]. ARTIFICIAL INTELLIGENCE, 2022, 307
  • [3] Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
    Lukasiewicz, Thomas
    Malizia, Enrico
    Molinaro, Cristian
    [J]. 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] A graph-based approach for query answering under inconsistency-tolerant semantics
    Fu, Xuefeng
    Qi, Guilin
    Zhang, Yong
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2016, 53 (02): : 303 - 315
  • [5] Complexity of Inconsistency-Tolerant Query Answering in Datalog plus /-
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 CONFERENCES, 2013, 8185 : 488 - 500
  • [6] 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
    [J]. FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 513 - 516
  • [7] Inconsistency-tolerant query answering in ontology-based data access
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    Ruzzi, Marco
    Savo, Domenico Fabio
    [J]. JOURNAL OF WEB SEMANTICS, 2015, 33 : 3 - 29
  • [8] Complexity of Inconsistency-Tolerant Query Answering in Datalog plus /- under Cardinality-Based Repairs
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vaicenavicius, Andrius
    [J]. 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
  • [9] Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
    Baget, Jean Francois
    Benferhat, Salem
    Bouraoui, Zied
    Croitoru, Madalina
    Mugnier, Marie-Laure
    Papini, Odile
    Rocher, Swan
    Tabia, Karim
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 64 - 80
  • [10] Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
    Bienvenu, Meghyn
    Bourgaux, Camille
    Goasdoue, Francois
    [J]. THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 900 - 906
12345