{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:10:10Z","timestamp":1749615010522,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458557"},{"type":"electronic","value":"9783319458564"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45856-4_16","type":"book-chapter","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T15:21:28Z","timestamp":1472484088000},"page":"230-245","source":"Crossref","is-referenced-by-count":0,"title":["$$\\exists $$ -ASP for Computing Repairs with Existential Ontologies"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Baget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zied","family":"Bouraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Nouioua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swan","family":"Rocher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"W\u00fcrbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,30]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of SIGACT-SIGMOD-SIGART, pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"16_CR2","unstructured":"Baget, J.F., Benferhat, S., Bouraoui, Z., Croitoru, M., Mugnier, M.L., Papini, O., Rocher, S., Tabia, K.: A general modifier-based framework for inconsistency-tolerant query answering. In: Proceedings of KR 2016 (2016)"},{"key":"16_CR3","unstructured":"Baget, J., Garreau, F., Mugnier, M., Rocher, S.: Extending acyclicity notions for existential rules. In: Proceedings of ECAI 2014, pp. 39\u201344 (2014)"},{"key":"16_CR4","unstructured":"Baget, J., Garreau, F., Mugnier, M., Rocher, S.: Revisiting chase termination for existential rules and their extension to nonmonotonic negation. In: Proceedings of NMR 2014 (2014)"},{"issue":"9\u201310","key":"16_CR5","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J Baget","year":"2011","unstructured":"Baget, J., Lecl\u00e8re, M., Mugnier, M., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"16_CR6","volume-title":"Knowledge Representation Reasoning and Declarative Problem Solving","author":"C Baral","year":"2008","unstructured":"Baral, C.: Knowledge Representation Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2008)"},{"key":"16_CR7","unstructured":"Benferhat, S., Bouraoui, Z., Tabia, K.: How to select one preferred assertional-based repair from inconsistent and prioritized DL-Lite knowledge bases? In: Proceedings of IJCAI 2015, pp. 1450\u20131456 (2015)"},{"issue":"1","key":"16_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1023\/A:1004987830832","volume":"58","author":"S Benferhat","year":"1997","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study part 1: the flat case. Stud. Logica 58(1), 17\u201345 (1997)","journal-title":"Stud. Logica"},{"key":"16_CR9","series-title":"Synthesis Lectures on Data Management","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01883-1","volume-title":"Database Repairing and Consistent Query Answering","author":"LE Bertossi","year":"2011","unstructured":"Bertossi, L.E.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool, Los Altos (2011)"},{"key":"16_CR10","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of AAAI 2012 (2012)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Bienvenu, M., Bourgaux, C., Goasdou\u00e9, F.: Querying inconsistent description logic knowledge bases under preferred repair semantics. In: Proceedings of AAAI 2016 (2016)","DOI":"10.1007\/978-3-319-49493-7_5"},{"key":"16_CR12","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of IJCAI 2013 (2013)"},{"key":"16_CR13","unstructured":"Garreau, F., Garcia, L., Lef\u00e8vre, C., St\u00e9phan, I.: $$\\exists $$ -asp. In: Proceedings of JOWO 2015 (2015)"},{"key":"16_CR14","unstructured":"Lef\u00e8vre, C., B\u00e9atrix, C., St\u00e9phan, I., Garcia, L.: ASPeRIX, a first order forward chaining approach for answer set computing. CoRR (2015, to appear in TPLP). arXiv:1503.07717"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-642-04238-6_18","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Lef\u00e8vre","year":"2009","unstructured":"Lef\u00e8vre, C., Nicolas, P.: A first order forward chaining approach for answer set computing. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 196\u2013208. Springer, Heidelberg (2009)"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.websem.2015.04.002","volume":"33","author":"D Lembo","year":"2015","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant query answering in ontology-based data access. J. Web Sem. 33, 3\u201329 (2015)","journal-title":"J. Web Sem."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Pieris, A., Simari, G.I.: From classical to consistent query answering under existential rules. In: Proceedings of AAAI 2015, pp. 1546\u20131552 (2015)","DOI":"10.1609\/aaai.v29i1.9414"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Inconsistency handling in datalog+\/- ontologies. In: Proceedings of ECAI 2012, pp. 558\u2013563 (2012)","DOI":"10.3233\/978-1-61499-098-7-558"},{"key":"16_CR19","unstructured":"Rosati, R.: On the complexity of dealing with inconsistency in description logic ontologies. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI 2011, pp. 1057\u20131062 (2011)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Wan, H., Zhang, H., Xiao, P., Huang, H., Zhang, Y.: Query answering with inconsistent existential rules under stable model semantics. In: Proceedings of AAAI 2016 (2016)","DOI":"10.1609\/aaai.v30i1.10085"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45856-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T15:13:51Z","timestamp":1749568431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45856-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458557","9783319458564"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45856-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}