Exchange-Repairs

Afrati FN, Kolaitis PG (2009) Repair checking in inconsistent databases: algorithms and complexity. In: Fagin R (ed) ICDT. ACM international conference proceeding series, vol 361. ACM, pp 31–41

Alviano M, Faber W, Leone N, Perri S, Pfeifer G, Terracina G (2010) The disjunctive datalog system dlv. In: Datalog, pp 282–301

Arenas M, Barceló P, Libkin L, Murlak F (2010) Relational and XML data exchange. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael

Arenas M, Bertossi LE, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Vianu V, Papadimitriou CH (eds) PODS. ACM Press, pp 68–79

Arenas M, Fagin R, Nash A (2011) Composition with target constraints. Log Methods Comput Sci 7(3:13):1–38

Arenas M, Pérez J, Reutter JL, Riveros C (2013) The language of plain so-tgds: composition, inversion and structural properties. J Comput Syst Sci 79(6):763–784

Bertossi LE (2011) Database repairing and consistent query answering. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael

Bertossi LE, Chomicki J, Cortés-Calabuig A, Gutiérrez C (2002) Consistent answers from integrated data sources. In: Andreasen T, Motro A, Christiansen H, Larsen HL (eds) FQAS. Lecture notes in computer science, vol 2522. Springer, Berlin, pp 71–85

Bienvenu M (2012) On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the twenty-sixth AAAI conference on artificial intelligence, July 22–26, 2012, Toronto, Ontario, Canada

Bienvenu M, Bourgaux C, Goasdoué F (2014) Querying inconsistent description logic knowledge bases under preferred repair semantics. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, July 27–31, 2014. Québec City, Québec, Canada, pp 996–1002

Bienvenu M, Rosati R (2013) Tractable approximations of consistent query answering for robust ontology-based data access. In: IJCAI 2013, proceedings of the 23rd international joint conference on artificial intelligence, Beijing, China, August 3–9, 2013

Bravo L, Bertossi LE (2003) Logic programs for consistently querying data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 10–15

Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 16–21

Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob and Walsh [24], pp 16–21

Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rosati R (2007) Ontology-based database access. In: Proceedings of the fifteenth Italian symposium on advanced database systems, SEBD 2007, 17–20 June 2007. Torre Canne, Fasano, BR, Italy, pp 324–331

Chomicki J, Marcinkowski J (2005) Minimal-change integrity maintenance using tuple deletions. Inf Comput 197(1–2):90–121

ten Cate B, Fontaine G, Kolaitis PG (2014) On the data complexity of consistent query answering. Theory Comput Syst 57(4):843–891

ten Cate B, Halpert RL, Kolaitis PG (2014) Exchange-repairs: managing inconsistency in data exchange. In: Kontchakov R, Mugnier M-L (eds) RR. Lecture notes in computer science, vol 8741. Springer, Berlin, pp 140–156

Duschka OM, Genesereth MR (1997) Answering recursive queries using views. In: Mendelzon AO, Özsoyoglu ZM (eds) PODS. ACM Press, pp 109–116

Fagin R, Kolaitis PG, Miller RJ, Popa L (2005) Data exchange: semantics and query answering. Theor Comput Sci 336(1):89–124

Fagin R, Kolaitis PG, Popa L, Tan WC (2005) Composing schema mappings: second-order dependencies to the rescue. ACM Trans Database Syst 30(4):994–1055

Fuxman A, Miller RJ (2007) First-order query rewriting for inconsistent databases. J Comput Syst Sci 73(4):610–635

Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Kowalski RA, Bowen KA (eds) ICLP/SLP. MIT Press, pp 1070–1080

Grahne G, Onet A (2010) Data correspondence, exchange and repair. In: Segoufin L (ed) ICDT. ACM, ACM international conference proceeding series, pp 219–230

Janhunen T, Oikarinen E (2004) Capturing parallel circumscription with disjunctive logic programs. In: Alferes JJ, Leite JA (eds) JELIA. Lecture notes in computer science, vol 3229. Springer, Berlin, pp 134–146

Kolaitis PG, Panttaja J, Tan WC (2006) The complexity of data exchange. In: Vansummeren S (ed) PODS. ACM, pp 30–39

Krötzsch M, Rudolph S (2011) Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh T

(ed) IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI, pp 963-968

Lembo D, Lenzerini M, Rosati R (2002) Source inconsistency and incompleteness in data integration. In: Borgida A, Calvanese D, Cholvy L, Rousset M (eds) Proceedings of the 9th international workshop on knowledge representation meets databases (KRDB 2002), Toulouse, France, April 21, 2002. CEUR workshop proceedings, vol 54. CEUR-WS.org

Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2010) Inconsistency-tolerant semantics for description logics. In: Web reasoning and rule systems—fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings, pp 103–117

Lembo D, Ruzzi M (2007) Consistent query answering over description logic ontologies. In: Marchiori M, Pan JZ, de Sainte Marie C (eds) Web reasoning and rule systems, first international conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings. Lecture notes in computer science, vol 4524. Springer, Berlin, pp 194–208

Lenzerini M (2002) Data integration: a theoretical perspective. In: Popa L, Abiteboul S, Kolaitis PG (eds) PODS. ACM, pp 233–246

Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006) The dlv system for knowledge representation and reasoning. ACM Trans Comput Log 7(3):499–562

Lukasiewicz T, Martinez MV, Pieris A, Simari GI (2015) From classical to consistent query answering under existential rules. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, January 25–30, 2015, Austin, Texas, USA, pp 1546–1552

Marileo MC, Bertossi LE (2010) The consistency extractor system: answer set programs for consistent query answering in databases. Data Knowl Eng 69(6):545–572

Marnette B (2009) Generalized schema-mappings: from termination to tractability. In: Paredaens J, Su J (eds) PODS. ACM, pp 13–22

Marnette B Resolution and datalog rewriting under value invention and equality constraints. CoRR, pp 1–12 (2012). arXiv:1212.0254

Rosati R (2011) On the complexity of dealing with inconsistency in description logic ontologies. In: IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011, pp 1057–1062