{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T03:42:20Z","timestamp":1778557340296,"version":"3.51.4"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T00:00:00Z","timestamp":1467849600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s10472-016-9519-5","type":"journal-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T08:28:07Z","timestamp":1467880087000},"page":"43-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["How does incoherence affect inconsistency-tolerant semantics for Datalog\u00b1?"],"prefix":"10.1007","volume":"82","author":[{"given":"Cristhian A. D.","family":"Deagustini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Vanina","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo A.","family":"Falappa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo R.","family":"Simari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,7]]},"reference":[{"key":"9519_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"9519_CR2","doi-asserted-by":"crossref","unstructured":"Bell, D.A., Qi, G., Liu, W.: Approaches to inconsistency handling in description-logic based ontologies. In: OTM Workshops, vol. 2, pp 1303\u20131311 (2007)","DOI":"10.1007\/978-3-540-76890-6_58"},{"key":"9519_CR3","doi-asserted-by":"crossref","unstructured":"Besnard, P., Hunter, A.: Elements of argumentation. MIT Press (2008)","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"9519_CR4","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of AAAI (2012)"},{"key":"9519_CR5","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of IJCAI (2013)"},{"key":"9519_CR6","doi-asserted-by":"crossref","unstructured":"Black, E., Hunter, A., Pan, J.Z.: An argument-based approach to using multiple ontologies. In: SUM, pp 68\u201379 (2009)","DOI":"10.1007\/978-3-642-04388-8_7"},{"issue":"14","key":"9519_CR7","doi-asserted-by":"crossref","first-page":"6467","DOI":"10.1016\/j.eswa.2014.03.046","volume":"41","author":"CE Briguez","year":"2014","unstructured":"Briguez, C.E., Buda\u0307n, M.C., Deagustini, C.A.D., Maguitman, A.G., Capobianco, M., Simari, G.R.: Argument-based mixed recommenders and their application to movie suggestion. Expert Syst. Appl. 41(14), 6467\u20136482 (2014)","journal-title":"Expert Syst. Appl."},{"key":"9519_CR8","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies, vol. 14, pp 57\u201383 (2012a)","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"9519_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. J. Web Semant. 14, 57\u201383 (2012b)","journal-title":"J. Web Semant."},{"key":"9519_CR10","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proceedings of PODS 2003, pp 260\u2013271. ACM (2003)","DOI":"10.1145\/773153.773179"},{"key":"9519_CR11","unstructured":"Cecchi, L., Fillottrani, P., Simari, G. R.: On the Complexity of Delp through Game Semantics. In: Dix, J., Hunter, A. (eds.) Proceedings 11Th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006, pp 386\u2013394 (2006)"},{"key":"9519_CR12","doi-asserted-by":"crossref","unstructured":"Chomicki, J.: Consistent query answering: five easy pieces. In: Proceedings of ICDT, pp 1\u201317 (2007)","DOI":"10.1007\/11965893_1"},{"key":"9519_CR13","doi-asserted-by":"crossref","unstructured":"Croitoru, M., Vesic, S.: What can argumentation do for inconsistent ontology query answering?. In: Scalable uncertainty management, pp 15\u201329. Springer (2013)","DOI":"10.1007\/978-3-642-40381-1_2"},{"key":"9519_CR14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.knosys.2013.07.010","volume":"51","author":"CAD Deagustini","year":"2013","unstructured":"Deagustini, C.A.D., Dalib\u00f3n, S.E.F., Gottifredi, S., Falappa, M.A., Ches\u00f1evar, C.I., Simari, G.R.: Relational databases as a massive information source for defeasible argumentation. Knowl.-Based Syst. 51, 93\u2013109 (2013)","journal-title":"Knowl.-Based Syst."},{"key":"9519_CR15","doi-asserted-by":"crossref","unstructured":"Deagustini, C.A.D., Martinez, M.V., Falappa, M.A., Simari, G.R.: Datalog \u00b1 ontology consolidation. J. Artif. Intell. Research (JAIR) (2016). To appear","DOI":"10.1613\/jair.5131"},{"issue":"1","key":"9519_CR16","doi-asserted-by":"crossref","first-page":"2223","DOI":"10.1016\/j.artint.2011.10.001","volume":"176","author":"JP Delgrande","year":"2012","unstructured":"Delgrande, J.P., Jin, Y.: Parallel belief revision: Revising by sets of formulas. Artif. Intell. 176(1), 2223\u20132245 (2012)","journal-title":"Artif. Intell."},{"key":"9519_CR17","doi-asserted-by":"crossref","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: Stefanwoltran merging logic programs under answer set semantics. In: Hill, P., Warren, D. (eds.) ICLP. Vol. 5649 of lecture notes in computer science, pp 160\u2013174. Springer (2009)","DOI":"10.1007\/978-3-642-02846-5_17"},{"key":"9519_CR18","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"9519_CR19","doi-asserted-by":"crossref","unstructured":"Dunne, P., Wooldridge, M.: Argumentation in artificial intelligence, pp 85\u2013104. Springer, Ch. Complexity of Abstract Argumentation (2009)","DOI":"10.1007\/978-0-387-98197-0_5"},{"issue":"11","key":"9519_CR20","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/j.ipl.2010.04.005","volume":"110","author":"W Dvor\u0307\u00e1k","year":"2010","unstructured":"Dvor\u0307\u00e1k, W., Woltran, S.: Complexity of semi-stable and stage semantics in argumentation frameworks. Inf. Process. Lett. 110(11), 425\u2013430 (2010)","journal-title":"Inf. Process. Lett."},{"key":"9519_CR21","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: AAAI, pp 1295\u20131300. AAAI Press (2006)"},{"issue":"1\u20132","key":"9519_CR22","first-page":"95","volume":"4","author":"AJ Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. TPLP 4(1\u20132), 95\u2013138 (2004)","journal-title":"TPLP"},{"key":"9519_CR23","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of IJCAI, pp 354\u2013359 (2005)"},{"issue":"5","key":"9519_CR24","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S Konieczny","year":"2002","unstructured":"Konieczny, S., P\u00e9rez, R.P.: Merging information under constraints: a logical framework. J. Log. Comput. 12(5), 773\u2013808 (2002)","journal-title":"J. Log. Comput."},{"key":"9519_CR25","doi-asserted-by":"crossref","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.. In: Proceedings of RR, pp 103\u2013117 (2010)","DOI":"10.1007\/978-3-642-15918-3_9"},{"key":"9519_CR26","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Inconsistency handling in Datalog+\/\u2013 ontologies. In: Proceedings of ECAI, pp 558\u2013563 (2012)","DOI":"10.3233\/978-1-61499-098-7-558"},{"key":"9519_CR27","doi-asserted-by":"crossref","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Proceedings of RR. Vol. 5837 of LNCS, pp 197\u2013211. Springer (2009)","DOI":"10.1007\/978-3-642-05082-4_14"},{"key":"9519_CR28","doi-asserted-by":"crossref","unstructured":"Martinez, M.V., Deagustini, C.A.D., Falappa, M.A., Simari, G.R.: Inconsistency-tolerant reasoning in Datalog \u00b1 Ontologies via an argumentative semantics. In: Proceedings of IBERAMIA 2014, pp 15\u201327 (2014)","DOI":"10.1007\/978-3-319-12027-0_2"},{"key":"9519_CR29","unstructured":"Martinez, M.V., Garc\u00eda, A.J., Simari, G.R.: On the use of presumptions in structured defeasible reasoning. In: Proceedings of COMMA, pp 185\u2013196 (2012)"},{"key":"9519_CR30","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-Classical Logics 7(1) (1997)","DOI":"10.1080\/11663081.1997.10510900"},{"key":"9519_CR31","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proceedings of IJCAI, pp 891\u2013897 (2009)"},{"key":"9519_CR32","doi-asserted-by":"crossref","unstructured":"Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: ISWC\/ASWC, pp 381\u2013394 (2007)","DOI":"10.1007\/978-3-540-76298-0_28"},{"key":"9519_CR33","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in artificial intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"issue":"1\u20132","key":"9519_CR34","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intel. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intel."},{"key":"9519_CR35","unstructured":"Rosati, R.: On the complexity of dealing with inconsistency in description logic ontologies. In: Proceedings of IJCAI, pp 1057\u20131062 (2011)"},{"key":"9519_CR36","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, pp 355\u2013362 (2003)"},{"issue":"2\u20133","key":"9519_CR37","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell. 53(2\u20133), 125\u2013157 (1992)","journal-title":"Artif. Intell."},{"key":"9519_CR38","doi-asserted-by":"crossref","unstructured":"Thimm, M.: Realizing argumentation in multi-agent systems using defeasible logic programming. In: Argumentation in multi-agent systems, pp 175\u2013194. Springer (2010)","DOI":"10.1007\/978-3-642-12805-9_11"},{"key":"9519_CR39","unstructured":"Wooldridge, M., Dunne, P.E., Parsons, S.: On the complexity of linking deductive and abstract argument systems. In: AAAI, vol. 6, pp 299\u2013304 (2006)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-016-9519-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9519-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9519-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9519-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T00:10:47Z","timestamp":1748995847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-016-9519-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,7]]},"references-count":39,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["9519"],"URL":"https:\/\/doi.org\/10.1007\/s10472-016-9519-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,7]]}}}