{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:21:55Z","timestamp":1747196515213,"version":"3.40.5"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319120263"},{"type":"electronic","value":"9783319120270"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12027-0_2","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T22:22:51Z","timestamp":1416003771000},"page":"15-27","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Inconsistency-Tolerant Reasoning in Datalog$$^{\\pm }$$ Ontologies via an Argumentative Semantics"],"prefix":"10.1007","author":[{"given":"Maria Vanina","family":"Martinez","sequence":"first","affiliation":[]},{"given":"Cristhian Ariel David","family":"Deagustini","sequence":"additional","affiliation":[]},{"given":"Marcelo A.","family":"Falappa","sequence":"additional","affiliation":[]},{"given":"Guillermo Ricardo","family":"Simari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,12]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of PODS, pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Eng. Review 26(4), 365\u2013410 (2011)","journal-title":"Knowledge Eng. Review"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) Automata, Languages and Programming. LNCS, vol. 115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press (2008)","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"issue":"1\u20132","key":"2_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"P Besnard","year":"2001","unstructured":"Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artif. Intell. 128(1\u20132), 203\u2013235 (2001)","journal-title":"Artif. Intell."},{"key":"2_CR6","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. of AAAI (2012)"},{"key":"2_CR7","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proc. of IJCAI (2013)"},{"key":"2_CR8","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Proc. of KR, pp. 70\u201380 (2008)"},{"key":"2_CR9","doi-asserted-by":"publisher","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 Sem. 14, 57\u201383 (2012)","journal-title":"J. Web Sem."},{"issue":"5\u20136","key":"2_CR10","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5\u20136), 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-40381-1_2","volume-title":"Scalable Uncertainty Management","author":"M Croitoru","year":"2013","unstructured":"Croitoru, M., Vesic, S.: What Can Argumentation Do for Inconsistent Ontology Query Answering? In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 15\u201329. Springer, Heidelberg (2013)"},{"key":"2_CR12","doi-asserted-by":"publisher","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":"2_CR13","doi-asserted-by":"publisher","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":"2_CR14","doi-asserted-by":"crossref","unstructured":"Dunne, P., Wooldridge, M.: Complexity of Abstract Argumentation. In: Argumentation in Artificial Intelligence, pp. 85\u2013104. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_5"},{"issue":"1\u20132","key":"2_CR15","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"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1080\/19462166.2013.869767","volume":"5","author":"AJ Garc\u00eda","year":"2014","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: Delp-servers, contextual queries, and explanations for answers. Argument & Computation 5(1), 63\u201388 (2014)","journal-title":"Argument & Computation"},{"issue":"5","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1858","DOI":"10.1016\/j.eswa.2012.10.025","volume":"40","author":"SA G\u00f3mez","year":"2013","unstructured":"G\u00f3mez, S.A., Ches\u00f1evar, C.I., Simari, G.R.: Ontoarg: A decision support framework for ontology integration based on argumentation. Expert Syst. Appl. 40(5), 1858\u20131870 (2013)","journal-title":"Expert Syst. Appl."},{"key":"2_CR18","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 354\u2013359 (2005)"},{"key":"2_CR19","series-title":"LNCS","first-page":"103","volume-title":"RR 2010","author":"D Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Inconsistency handling in Datalog+\/- ontologies. In: Proc. of ECAI, pp. 558\u2013563 (2012)","DOI":"10.3233\/978-1-61499-098-7-558"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-05082-4_14","volume-title":"Web Reasoning and Rule Systems","author":"Y Ma","year":"2009","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent Reasoning for OWL 2. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"2_CR22","unstructured":"Martinez, M.V., Garc\u00eda, A.J., Simari, G.R.: On the use of presumptions in structured defeasible reasoning. In: Proc. of COMMA, pp. 185\u2013196 (2012)"},{"key":"2_CR23","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":"2_CR24","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI, pp. 891\u2013897 (2009)"},{"key":"2_CR25","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":"2_CR26","doi-asserted-by":"publisher","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."},{"issue":"2\u20133","key":"2_CR27","doi-asserted-by":"publisher","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."},{"issue":"1","key":"2_CR28","doi-asserted-by":"publisher","first-page":"87","DOI":"10.3166\/jancl.13.87-113","volume":"13","author":"F Stolzenburg","year":"2003","unstructured":"Stolzenburg, F., Garc\u00eda, A.J., Ches\u00f1evar, C.I., Simari, G.R.: Computing generalized specificity. J. of Applied Non-Classical Logics 13(1), 87\u2013113 (2003)","journal-title":"J. of Applied Non-Classical Logics"},{"issue":"3","key":"2_CR29","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10844-012-0230-7","volume":"40","author":"X Zhang","year":"2013","unstructured":"Zhang, X., Lin, Z.: An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40(3), 375\u2013403 (2013)","journal-title":"J. Intell. Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence -- IBERAMIA 2014"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12027-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T18:29:38Z","timestamp":1747160978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12027-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319120263","9783319120270"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12027-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}