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 条
  • [11] Generalized Consistent Query Answering under Existential Rules
    Eiter, Thomas
    Lukasiewicz, Thomas
    Predoiu, Livia
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 359 - 368
  • [12] Ontological query answering with existential rules
    University Montpellier 2, France
    Lect. Notes Comput. Sci., (2-23):
  • [13] From Classical to Consistent Query Answering under Existential Rules
    Lukasiewicz, Thomas
    Vanina Martinez, Maria
    Pieris, Andreas
    Simari, Gerardo I.
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1546 - 1552
  • [14] Extending inconsistency-tolerant integrity checking by semantic query optimization
    Decker, Hendrik
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, 5181 : 89 - 96
  • [15] Inconsistency-Tolerant Business Rules in Distributed Information Systems
    Decker, Hendrik
    Munoz-Escoi, Francesce D.
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, 2013, 8186 : 322 - 331
  • [16] Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics
    Decker, Hendrik
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 : 548 - 558
  • [17] Preference-Based Query Answering in Probabilistic Datalog+/- Ontologies
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    Tifrea-Marciuska, Oana
    JOURNAL ON DATA SEMANTICS, 2015, 4 (02) : 81 - 101
  • [18] Preference-Based Query Answering in Probabilistic Datalog plus /- Ontologies
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 CONFERENCES, 2013, 8185 : 501 - 518
  • [19] An Introduction to Ontology-Based Query Answering with Existential Rules
    Mugnier, Marie-Laure
    Thomazo, Michael
    REASONING WEB: REASONING ON THE WEB IN THE BIG DATA ERA, 2014, 8714 : 245 - +
  • [20] An introduction to ontology-based query answering with existential rules
    Mugnier, Marie-Laure
    Thomazo, Michaël
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8714 : 245 - 278
12345