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 条
  • [21] Query Answering with Guarded Existential Rules under Stable Model Semantics
    Wan, Hai
    Xiao, Guohui
    Wang, Chenglin
    Liu, Xianqiao
    Chen, Junhong
    Wang, Zhe
    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 : 3017 - 3024
  • [22] Query Answering with Inconsistent Existential Rules under Stable Model Semantics
    Wan, Hai
    Zhang, Heng
    Xiao, Peng
    Huang, Haoran
    Zhang, Yan
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 1095 - 1101
  • [23] Fast Query Answering over Existential Rules
    Leone, Nicola
    Manna, Marco
    Terracina, Giorgio
    Veltri, Pierfrancesco
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (02)
  • [24] Graal: A Toolkit for Query Answering with Existential Rules
    Baget, Jean-Francois
    Leclere, Michel
    Mugnier, Marie-Laure
    Rocher, Swan
    Sipieter, Clement
    RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, 2015, 9202 : 328 - 344
  • [25] Similarity-Based Inconsistency-Tolerant Logics
    Arieli, Ofer
    Zamansky, Anna
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 11 - 23
  • [26] Tractable Query Answering for Expressive Ontologies and Existential Rules
    Carral, David
    Dragoste, Irina
    Krotzsch, Markus
    SEMANTIC WEB - ISWC 2017, PT I, 2017, 10587 : 156 - 172
  • [27] Handling Inconsistency with Preference-Based Argumentation
    Amgoud, Leila
    Vesic, Srdjan
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 56 - 69
  • [28] Goal-Driven Query Answering for Existential Rules with Equality
    Benedikt, Michael
    Motik, Boris
    Tsamoura, Efthymia
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 1761 - 1770
  • [30] Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
    Grau, Bernardo Cuenca
    Horrocks, Ian
    Kroetzsch, Markus
    Kupke, Clemens
    Magka, Despoina
    Motik, Boris
    Wang, Zhe
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 47 : 741 - 808