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
相关论文
共 7 条
  • [1] Preference-based inconsistency-tolerant query answering under existential rules
    Calautti, Marco
    Greco, Sergio
    Molinaro, Cristian
    Trubitsyna, Irina
    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
    ARTIFICIAL INTELLIGENCE, 2022, 307
  • [3] Fast Query Answering over Existential Rules
    Leone, Nicola
    Manna, Marco
    Terracina, Giorgio
    Veltri, Pierfrancesco
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (02)
  • [4] Explanations for query answers under existential rules
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Malizia, Enrico
    Vaicenavicius, Andrius
    ARTIFICIAL INTELLIGENCE, 2025, 341
  • [5] Loop restricted existential rules and first-order rewritability for query answering
    Asuncion, Vernon
    Zhang, Yan
    Zhang, Heng
    Bai, Yun
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (02) : 315 - 351
  • [6] Explanations for Negative Query Answers under Existential Rules
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Malizia, Enrico
    Molinaro, Cristian
    Vaicenavicius, Andrius
    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 223 - 232
  • [7] Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules
    Bourhis, Pierre
    Morak, Michael
    Pieris, Andreas
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 99 - +