Abstract
In the EcoBioCap project (www.ecobiocap.eu) about the next generation of packaging, a decision support system has been built that uses argumentation to deal with stakeholder preferences. However, when testing the tool the domain experts did not always understand the output of the system. The approach developed in this paper is the first step to the construction of a decision support system endowed with an explanation module. We place ourselves in the equivalent setting of inconsistent Ontology-Based Data Access (OBDA) and addresses the problem of explaining Boolean Conjunctive Query (BCQ) failure. Our proposal relies on an interactive and argumentative approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. We exploit the equivalence between argumentation and inconsistency tolerant semantics to prove that the Reasoner can always provide an answer for user’s questions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Arioua, A., Tamani, N., Croitoru, M.: Query failure explanation in inconsistent knowledge bases an argumentation approach: extended abstract. In: 5th International Conference on Computational Models of Argument 2014, to appear, (2014)
Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proceedings of IJCAI 2005, (2005)
Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: Proceedings of IJCAI’11, pp. 712–717 (2011)
Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of AAAI (2012)
Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of IJCAI’13, pp. 775–781. AAAI Press (2013)
Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in the dl-lite family of description logics. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems: OTM 2008. LNCS, vol. 5332, pp. 1440–1457. Springer, Berlin (2008)
Calì, A., Gottlob, G., Lukasiewicz, T.: Datalog\(+/-\): a unified approach to ontologies and integrity constraints. In: Proceedings of the 12th International Conference on Database Theory, pp. 14–30. ACM (2009)
Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semant. Sci. Serv. Agents World Wide Web 14, 57–83 (2012)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the dl-lite family. J. Autom. Reasoning 39(3), 385–429 (2007)
Calvanese, D., Ortiz, M., Šimkus, M., Stefanoni, G.: Reasoning about explanations for negative query answers in dl-lite. J. Artif. Intell. Res. 48, 635–669 (2013)
Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5), 286–310 (2007)
Croitoru, M., Vesic, S.: What can argumentation do for inconsistent ontology query answering? In: Liu, W., Subrahmanian, V., Wijsen, J. (eds.) Scalable Uncertainty Management, vol. 8078 of LNCS, pp. 15–29. Springer, Berlin (2013)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)
Garcia, A.J., Chesñevar, C.I., Rotstein, N.D., Simari, G.R.: Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems. Expert Syst. Appl. 40(8), 3233–3247 (2013)
Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems, RR’10, pp. 103–117. Springer, Berlin (2010)
Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Complexity of inconsistency-tolerant query answering in datalog+/-. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., Leenheer, P.D., Dou, D. (eds.) In: Proceedings of the 12th International Conference on Ontologies, Databases, and Applications of Semantics, 10–11 Sept, 2013, vol. 8185 of LNCS, pp. 488–500. Springer, (2013)
McGuinness, D.L., Patel-Schneider, P.F.: Usability issues in knowledge representation systems. In: Proceedings of AAAI-98, pp. 608–614 (1998)
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.:. Linking data to ontologies. In: Journal on Data Semantics X, pp. 133–173. Springer, Berlin (2008)
Roth-Berghofer, T., Schulz, S., Bahls, D., Leake, D.B. (eds.) Explanation-Aware Computing, Papers from the 2007 AAAI Workshop, Vancouver, British Columbia, Canada, 22–23 July, 2007, vol. WS-07-06 of AAAI Technical Report. AAAI Press (2007)
Walton, D.: A new dialectical theory of explanation. Philos. Explor. 7(1), 71–89 (2004)
Walton, D.: A dialogue system specification for explanation. Synthese 182(3), 349–374 (2011)
Acknowledgments
The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007–2013) under the grant agreement nºFP7-265669-EcoBioCAP project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Arioua, A., Tamani, N., Croitoru, M., Buche, P. (2014). Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach. In: Bramer, M., Petridis, M. (eds) Research and Development in Intelligent Systems XXXI. SGAI 2014. Springer, Cham. https://doi.org/10.1007/978-3-319-12069-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-12069-0_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12068-3
Online ISBN: 978-3-319-12069-0
eBook Packages: Computer ScienceComputer Science (R0)