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
关键词
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 条
  • [31] Query Answering for Existential Rules via Efficient Datalog Rewriting
    Wang, Zhe
    Xiao, Peng
    Wang, Kewen
    Zhuang, Zhiqiang
    Wan, Hai
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1933 - 1939
  • [32] Complexity of Approximate Query Answering under Inconsistency in Datalog
    Lukasiewicz, Thomas
    Malizia, Enrico
    Molinaro, Cristian
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1921 - 1927
  • [33] On Conceptual Graphs and Explanation of Query Answering under Inconsistency
    Arioua, Abdallah
    Tamani, Nouredine
    Croitoru, Madalina
    GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 51 - 64
  • [34] An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
    Schockaert, Steven
    Prade, Henri
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 363 - 368
  • [35] A dissimilarity-based framework for generating inconsistency-tolerant logics
    Ofer Arieli
    Anna Zamansky
    Annals of Mathematics and Artificial Intelligence, 2015, 73 : 47 - 73
  • [36] A dissimilarity-based framework for generating inconsistency-tolerant logics
    Arieli, Ofer
    Zamansky, Anna
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2015, 73 (1-2) : 47 - 73
  • [37] Explanations for Query Answers under Existential Rules
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vaicenavicius, Andrius
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1639 - 1646
  • [38] Explanations for query answers under existential rules
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vaicenavicius, Andrius
    ARTIFICIAL INTELLIGENCE, 2025, 341
  • [39] Query Answering in Ontologies under Preference Rankings
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Penaloza, Rafael
    Tifrea-Marciuska, Oana
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 943 - 949
  • [40] A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
    Zhang, Xiaowang
    Wang, Kewen
    Wang, Zhe
    Ma, Yue
    Qi, Guilin
    Feng, Zhiyong
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 89 : 58 - 79