×

Inconsistency-tolerant query answering for existential rules. (English) Zbl 07505988

Summary: Querying inconsistent knowledge bases is an intriguing problem that gave rise to a flourishing research activity in the knowledge representation and reasoning community during the last years. It has been extensively studied in the context of description logics (DLs), and its computational complexity is rather well-understood. Although DLs are popular formalisms for modeling ontologies, it is generally agreed that rule-based ontologies are well-suited for data-intensive applications, since they allow us to conveniently deal with higher-arity relations, which naturally occur in standard relational databases. The goal of this work is to perform an in-depth complexity analysis of querying inconsistent knowledge bases in the case of the main decidable classes of existential rules, based on the notions of guardedness, linearity, acyclicity, and stickiness, enriched with negative (a.k.a. denial) constraints. Our investigation concentrates on three central inconsistency-tolerant semantics: the ABox repair (AR) semantics, considered as the standard one, and its main sound approximations, the intersection of repairs (IAR) semantics and the intersection of closed repairs (ICR) semantics.

MSC:

68Txx Artificial intelligence

Software:

Datalog
Full Text: DOI

References:

[1] Arenas, Marcelo; Bertossi, Leopoldo E.; Chomicki, J., Consistent query answers in inconsistent databases, (PODS (1999)), 68-79
[2] Beeri, Catriel; Vardi, Moshe Y., The implication problem for data dependencies, (ICALP (1981)), 73-85 · Zbl 0462.68022
[3] Bienvenu, Meghyn, On the complexity of consistent query answering in the presence of simple ontologies, (AAAI (2012)), 705-711
[4] Bienvenu, Meghyn, Inconsistency handling in ontology-mediated query answering: a progress report, (DL (2019))
[5] Bienvenu, Meghyn; Bourgaux, Camille, Inconsistency-tolerant querying of description logic knowledge bases, (Reasoning Web (2016)), 156-202 · Zbl 1358.68285
[6] Bienvenu, Meghyn; Bourgaux, Camille; Goasdoué, François, Querying inconsistent description logic knowledge bases under preferred repair semantics, (AAAI (2014)), 996-1002
[7] Bienvenu, Meghyn; Bourgaux, Camille; Goasdoué, François, Computing and explaining query answers over inconsistent dl-lite knowledge bases, J. Artif. Intell. Res., 64, 563-644 (2019) · Zbl 1489.68267
[8] Bienvenu, Meghyn; Rosati, Riccardo, New inconsistency-tolerant semantics for robust ontology-based data access, (DL (2013)), 53-64
[9] Bienvenu, Meghyn; Rosati, Riccardo, Tractable approximations of consistent query answering for robust ontology-based data access, (IJCAI (2013)), 775-781
[10] Calì, Andrea; Gottlob, Georg; Kifer, Michael, Taming the infinite chase: query answering under expressive relational constraints, J. Artif. Intell. Res., 48, 115-174 (2013) · Zbl 1361.68221
[11] Calì, Andrea; Gottlob, Georg; Lukasiewicz, Thomas, A general Datalog-based framework for tractable query answering over ontologies, J. Web Semant., 14, 57-83 (2012)
[12] Calì, Andrea; Gottlob, Georg; Lukasiewicz, Thomas; Marnette, Bruno; Pieris, Andreas, Datalog+/-: a family of logical knowledge representation and query languages for new applications, (LICS (2010)), 228-242
[13] Calì, Andrea; Gottlob, Georg; Pieris, Andreas, Towards more expressive ontology languages: the query answering problem, Artif. Intell., 193, 87-128 (2012) · Zbl 1270.68293
[14] Ceylan, İsmail İlkan; Lukasiewicz, Thomas; Malizia, Enrico; Vaicenavičius, Andrius, Explanations for query answers under existential rules, (IJCAI (2019)), 1639-1646
[15] Ceylan, İsmail İlkan; Lukasiewicz, Thomas; Malizia, Enrico; Vaicenavičius, Andrius, Explanations for ontology-mediated query answering in description logics, (ECAI (2020)), 672-679 · Zbl 1464.68348
[16] Chomicki, Jan; Marcinkowski, Jerzy, Minimal-change integrity maintenance using tuple deletions, Inf. Comput., 197, 1-2, 90-121 (2005) · Zbl 1075.68022
[17] Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei, Complexity and expressive power of logic programming, ACM Comput. Surv., 33, 3, 374-425 (2001)
[18] Dantsin, Evgeny; Voronkov, Andrei, Complexity of query answering in logic databases with complex values, (LFCS (1997)), 56-66
[19] Deutsch, Alin; Nash, Alan; Remmel, Jeffrey B., The chase revisited, (PODS (2008)), 149-158
[20] Eiter, Thomas; Lukasiewicz, Thomas; Predoiu, Livia, Generalized consistent query answering under existential rules, (KR (2016)), 359-368
[21] Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian, Data exchange: semantics and query answering, Theor. Comput. Sci., 336, 1, 89-124 (2005) · Zbl 1080.68019
[22] Gottlob, Georg; Malizia, Enrico, Achieving new upper bounds for the hypergraph duality problem through logic, (CSL-LICS (2014)), Article 43 pp. · Zbl 1395.68151
[23] Gottlob, Georg; Manna, Marco; Pieris, Andreas, Polynomial combined rewritings for existential rules, (KR (2014)), 268-277
[24] Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas, Query rewriting and optimization for ontological databases, ACM Trans. Database Syst., 39, 3, Article 25 pp. (2014) · Zbl 1474.68103
[25] Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco, On the complexity of core, kernel, and bargaining set, Artif. Intell., 175, 12-13, 1877-1910 (2011) · Zbl 1233.91018
[26] Hemachandra, Lane A., The strong exponential hierarchy collapses, J. Comput. Syst. Sci., 39, 3, 299-322 (1989) · Zbl 0693.03022
[27] Johnson, David S., A catalog of complexity classes, (van Leeuwen, Jan, Handbook of Theoretical Computer Science (vol. A) (1990), Elsevier), 67-161 · Zbl 0900.68246
[28] Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio, Inconsistency-tolerant semantics for description logics, (RR (2010)), 103-117
[29] Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio, Query rewriting for inconsistent dl-lite ontologies, (RR (2011)), 155-169
[30] Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio, Inconsistency-tolerant query answering in ontology-based data access, J. Web Semant., 33, 3-29 (2015)
[31] Lembo, Domenico; Ruzzi, Marco, Consistent query answering over description logic ontologies, (RR (2007)), 194-208
[32] Lukasiewicz, Thomas; Malizia, Enrico, On the complexity of mCP-nets, (AAAI (2016)), 558-564
[33] Lukasiewicz, Thomas; Malizia, Enrico, A novel characterization of the complexity class \(\theta_k^P\) based on counting and comparison, Theor. Comput. Sci., 694, 21-33 (2017) · Zbl 1373.68231
[34] Lukasiewicz, Thomas; Malizia, Enrico; Molinaro, Cristian, Complexity of approximate query answering under inconsistency in Datalog+/-, (IJCAI (2018)), 1921-1927
[35] Lukasiewicz, Thomas; Malizia, Enrico; Molinaro, Cristian, Explanations for inconsistency-tolerant query answering under existential rules, (AAAI (2020)), 2909-2916
[36] Lukasiewicz, Thomas; Malizia, Enrico; Vaicenavicius, Andrius, Complexity of inconsistency-tolerant query answering in Datalog+/- under cardinality-based repairs, (AAAI (2019)), 2962-2969
[37] Lukasiewicz, Thomas; Martinez, Maria Vanina; Pieris, Andreas; Simari, Gerardo I., From classical to consistent query answering under existential rules, (AAAI (2015)), 1546-1552
[38] Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I., Inconsistency handling in Datalog+/- ontologies, (ECAI (2012)), 558-563 · Zbl 1327.68280
[39] Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I., Inconsistency-tolerant query rewriting for linear Datalog+/-, (Datalog 2.0 (2012)), 123-134
[40] Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I., Complexity of inconsistency-tolerant query answering in Datalog+/-, (ODBASE (2013)), 488-500
[41] Martinez, Maria Vanina; Simari, Gerardo I., Explanation-friendly query answering under uncertainty, (Reasoning Web (2019)), 65-103 · Zbl 07817419
[42] Papadimitriou, Christos H., Computational Complexity (1994), Addison-Wesley · Zbl 0833.68049
[43] Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo, Linking data to ontologies, J. Data Semant., 10, 133-173 (2008) · Zbl 1132.68061
[44] Rosati, Riccardo, On the complexity of dealing with inconsistency in description logic ontologies, (IJCAI (2011)), 1057-1062
[45] Schaefer, Marcus, Graph Ramsey theory and the polynomial hierarchy, J. Comput. Syst. Sci., 62, 2, 290-322 (2001) · Zbl 0986.05074
[46] Schöning, Uwe; Wagner, Klaus W., Collapsing oracle hierarchies, census functions and logarithmically many queries, (STACS (1988)), 91-97 · Zbl 0648.68065
[47] Vardi, Moshe Y., On the complexity of bounded-variable queries, (PODS (1995)), 266-276
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.