{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T07:43:09Z","timestamp":1733816589425,"version":"3.30.1"},"reference-count":39,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2022,9,5]]},"abstract":"Prioritized Datalog \u00b1 is a well-studied formalism for modelling ontological knowledge and data, and has a success story in many applications in the (Semantic) Web and in other domains. Since the information content on the Web is both inherently context-dependent and frequently updated, the occurrence of a logical inconsistency is often inevitable. This phenomenon has led the research community to develop various types of inconsistency-tolerant semantics over the last few decades. Although the study of query answering under inconsistency-tolerant semantics is well-understood, the problem of explaining query answering under such semantics took considerably less attention, especially in the scenario where the facts are prioritized. In this paper, we aim to fill this gap. More specifically, we use Dung\u2019s abstract argumentation framework to address the problem of explaining inconsistency-tolerant query answering in Datalog \u00b1 KB where facts are prioritized, or preordered. We clarify the relationship between preferred repair semantics and various notions of extensions for argumentation frameworks. The strength of such argumentation-based approach is the explainability; users can more easily understand why different points of views are conflicting and why the query answer is entailed (or not) under different semantics. To this end we introduce the formal notion of a dialogical explanation, and show how it can be used to both explain showing why query results hold and not hold according to the known semantics in inconsistent Datalog \u00b1 knowledge bases.<\/jats:p>","DOI":"10.3233\/aic-220087","type":"journal-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T16:21:39Z","timestamp":1658247699000},"page":"243-267","source":"Crossref","is-referenced-by-count":0,"title":["An argumentative approach for handling inconsistency in prioritized Datalog \u00b1 ontologies"],"prefix":"10.1177","volume":"35","author":[{"given":"Loan","family":"Ho","sequence":"first","affiliation":[{"name":"Department of Computer Science, College of Computing, KhonKaen University, KhonKaen, 40002, Thailand"},{"name":"Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands"}]},{"given":"Somjit","family":"Arch-int","sequence":"additional","affiliation":[{"name":"Department of Computer Science, College of Computing, KhonKaen University, KhonKaen, 40002, Thailand"}]},{"given":"Erman","family":"Acar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands"},{"name":"Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands"}]},{"given":"Stefan","family":"Schlobach","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands"}]},{"given":"Ngamnij","family":"Arch-int","sequence":"additional","affiliation":[{"name":"Department of Computer Science, College of Computing, KhonKaen University, KhonKaen, 40002, Thailand"}]}],"member":"179","reference":[{"issue":"9","key":"10.3233\/AIC-220087_ref1","doi-asserted-by":"publisher","first-page":"2028","DOI":"10.1016\/j.ijar.2013.10.004","article-title":"Postulates for logic-based argumentation systems","volume":"55","author":"Amgoud","year":"2014","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.3233\/AIC-220087_ref2","doi-asserted-by":"crossref","unstructured":"G.\u00a0Antoniou and F.V.\u00a0Harmelen, Web ontology language: OWL, in: Handbook on Ontologies, 2004.","DOI":"10.1007\/978-3-540-24750-0_4"},{"issue":"3","key":"10.3233\/AIC-220087_ref3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10472-019-09629-7","article-title":"A review of the relations between logical argumentation and reasoning with maximal consistency","volume":"87","author":"Arieli","year":"2019","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.3233\/AIC-220087_ref4","unstructured":"O.\u00a0Arieli, A.\u00a0Borg and C.\u00a0Straundefineder, Prioritized sequent-based argumentation, in: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2018, pp.\u00a01105\u20131113."},{"key":"10.3233\/AIC-220087_ref5","unstructured":"A.\u00a0Arioua and M.\u00a0Croitoru, Dialectical characterization of consistent query explanation with existential rules, in: FLAIRS Conference, 2016."},{"key":"10.3233\/AIC-220087_ref6","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.ijar.2017.07.004","article-title":"Logic-based argumentation with existential rules","volume":"90","author":"Arioua","year":"2017","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.3233\/AIC-220087_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22849-5_15"},{"key":"10.3233\/AIC-220087_ref8","doi-asserted-by":"publisher","first-page":"77903","DOI":"10.1109\/ACCESS.2020.2988685","article-title":"Semantic integration of heterogeneous databases of same domain using ontology","volume":"8","author":"Asfand-E-Yar","year":"2020","journal-title":"IEEE Access"},{"key":"10.3233\/AIC-220087_ref9","unstructured":"F.\u00a0Baader, S.\u00a0Brandt and C.\u00a0Lutz, Pushing the EL envelope, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI\u201905, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2005, pp.\u00a0364\u2013369."},{"issue":"9","key":"10.3233\/AIC-220087_ref10","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","article-title":"On rules with existential variables: Walking the decidability line","volume":"175","author":"Baget","year":"2011","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-220087_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20528-7_16"},{"key":"10.3233\/AIC-220087_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00071-6"},{"key":"10.3233\/AIC-220087_ref15","doi-asserted-by":"crossref","unstructured":"M.\u00a0Bienvenu, C.\u00a0Bourgaux and F.\u00a0Goasdoue, Explaining inconsistency-tolerant query answering over description logic knowledge bases, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI16, AAAI Press, 2016, pp.\u00a0900\u2013906.","DOI":"10.1609\/aaai.v30i1.10092"},{"issue":"1","key":"10.3233\/AIC-220087_ref16","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1613\/jair.1.11395","article-title":"Computing and explaining query answers over inconsistent DL-lite knowledge bases","volume":"64","author":"Bienvenu","year":"2019","journal-title":"J. Artif. Int. Res."},{"key":"10.3233\/AIC-220087_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_20"},{"issue":"3","key":"10.3233\/AIC-220087_ref18","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","article-title":"Tractable reasoning and efficient query answering in description logics: The DL-lite family","volume":"39","author":"Calvanese","year":"2007","journal-title":"Journal of Automated Reasoning"},{"issue":"5","key":"10.3233\/AIC-220087_ref19","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","article-title":"On the evaluation of argumentation formalisms","volume":"171","author":"Caminada","year":"2007","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-220087_ref20","doi-asserted-by":"crossref","unstructured":"C.\u00a0Cayrol, D.\u00a0Dubois and F.\u00a0Touazi, On the semantics of partially ordered bases, in: Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems\u00a0\u2013 Volume 8367, FoIKS 2014, Springer-Verlag, Berlin, Heidelberg, 2014, pp.\u00a0136\u2013153. ISBN 9783319049380.","DOI":"10.1007\/978-3-319-04939-7_6"},{"key":"10.3233\/AIC-220087_ref21","unstructured":"K.\u00a0Cyras and F.\u00a0Toni, ABA+: Assumption-based argumentation with preferences, in: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR\u201916, AAAI Press, 2016, pp.\u00a0553\u2013556."},{"key":"10.3233\/AIC-220087_ref22","doi-asserted-by":"crossref","unstructured":"M.\u00a0D\u2019Agostino and S.\u00a0Modgil, A study of argumentative characterisations of preferred subtheories, in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18, International Joint Conferences on Artificial Intelligence Organization, 2018, pp.\u00a01788\u20131794.","DOI":"10.24963\/ijcai.2018\/247"},{"issue":"2","key":"10.3233\/AIC-220087_ref23","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artif. Intell."},{"issue":"1","key":"10.3233\/AIC-220087_ref24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","article-title":"The complexity of logic-based abduction","volume":"42","author":"Eiter","year":"1995","journal-title":"J. ACM"},{"key":"10.3233\/AIC-220087_ref25","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1080\/08839510903448692","article-title":"Reasoning with inconsistent ontologies through argumentation","volume":"24","author":"Gomez","year":"2010","journal-title":"Applied Artificial Intelligence"},{"key":"10.3233\/AIC-220087_ref26","doi-asserted-by":"crossref","unstructured":"A.\u00a0Hecham, P.\u00a0Bisquert and M.\u00a0Croitoru, On the chase for all provenance paths with existential rules, in: RuleML+RR, 2017.","DOI":"10.1007\/978-3-319-61252-2_10"},{"key":"10.3233\/AIC-220087_ref27","unstructured":"J.\u00a0Heyninck and C.\u00a0Straundefineder, A fully rational argumentation system for preordered defeasible rules, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS\u201919, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2019, pp.\u00a01704\u20131712. ISBN 9781450363099."},{"issue":"1","key":"10.3233\/AIC-220087_ref28","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jbi.2012.09.006","article-title":"A survey of SNOMED CT implementations","volume":"46","author":"Lee","year":"2013","journal-title":"Journal of Biomedical Informatics"},{"key":"10.3233\/AIC-220087_ref29","doi-asserted-by":"publisher","DOI":"10.3233\/SW-140134"},{"key":"10.3233\/AIC-220087_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15918-3_9"},{"key":"10.3233\/AIC-220087_ref31","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/265"},{"key":"10.3233\/AIC-220087_ref32","doi-asserted-by":"crossref","unstructured":"T.\u00a0Lukasiewicz, E.\u00a0Malizia and C.\u00a0Molinaro, Explanations for inconsistency-tolerant query answering under existential rules, in: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20), V.\u00a0Conitzer and F.\u00a0Sha, eds, 2020.","DOI":"10.1609\/aaai.v34i03.5682"},{"key":"10.3233\/AIC-220087_ref33","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012962"},{"key":"10.3233\/AIC-220087_ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1559795.1559799"},{"issue":"9","key":"10.3233\/AIC-220087_ref35","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","article-title":"Reasoning about preferences in argumentation frameworks","volume":"173","author":"Modgil","year":"2009","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-220087_ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_6"},{"key":"10.3233\/AIC-220087_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77688-8_5"},{"key":"10.3233\/AIC-220087_ref38","first-page":"583","article-title":"Using OWL to model biological knowledge","volume":"65","author":"Stevens","year":"2007","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.3233\/AIC-220087_ref39","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s13218-016-0466-4","article-title":"Polynomial algorithms for computing a single preferred assertional-based repair, KI","volume":"31","author":"Telli","year":"2016","journal-title":"Kunstliche Intelligenz"},{"key":"10.3233\/AIC-220087_ref40","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s11761-007-0018-8","article-title":"Data provenance in SOA: Security, reliability, and integrity","volume":"1","author":"Tsai","year":"2007","journal-title":"Service Oriented Computing and Applications"},{"key":"10.3233\/AIC-220087_ref42","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200526"}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-220087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T10:08:05Z","timestamp":1733738885000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AIC-220087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,5]]},"references-count":39,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/aic-220087","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"type":"electronic","value":"1875-8452"},{"type":"print","value":"0921-7126"}],"subject":[],"published":{"date-parts":[[2022,9,5]]}}}