Abstract
In this paper we propose a mapping between inconsistent ontological knowledge bases and semi-monotonic, prerequisite-free closed normal default theories. As a proof of concept of the new results obtained by the proposed mapping we introduce an any-time algorithm for query answering that starts off by a small set of facts and incrementally adds to this set.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proc. of IJCAI 2005 (2005)
Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. of AAAI (2012)
Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 775–781. AAAI Press (2013)
Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the 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)
Cholewiski, P., Marek, V.W., Truszczyski, M., Mikitiuk, A.: Computing with default logic. Artificial Intelligence 112(1-2), 105–146 (1999)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-persons games. Artificial Intelligence 77(2), 321–357 (1995)
Engelfriet, J., Treur, J.: An interpretation of default logic in minimal temporal epistemic logic. J. of Logic, Lang. and Inf. 7(3), 369–388 (1998)
Gottlob, G.: Translating default logic into standard autoepistemic logic. J. ACM 42(4), 711–740 (1995)
Imielinski, T.: Results on translating defaults to circumscription. Artif. Intell. 32(1), 131–146 (1987)
Konolige, K.: On the Relation Between Default and Autoepistemic Logic. In: Readings in Nonmonotonic Reasoning, pp. 195–226. Morgan Kaufmann Publishers Inc. (1987)
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–117. Springer, Heidelberg (2010)
Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS 2002 (2002)
Marek, W., Truszczynski, M.: Stable semantics for logic programs and default theories. In: NACLP, pp. 243–256 (1989)
Mugnier, M.-L.: Ontological query answering with existential rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 2–23. Springer, Heidelberg (2011)
Nicolas, P., Saubion, F., Stéphan, I.: Gadel: a genetic algorithm to compute default logic extensions. In: ECAI, pp. 484–490 (2000)
Nicolas, P., Schaub, T.: The xray system: An implementation platform for local query-answering in default logics. In: Hunter, A., Parsons, S. (eds.) Applications of Uncertainty Formalisms. LNCS (LNAI), vol. 1455, pp. 354–378. Springer, Heidelberg (1998)
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980)
Schaub, T., Brüning, S.: Prolog technology for default reasoning: proof theory and compilation techniques. Artificial Intelligence 106(1), 1–75 (1998)
Schaub, T., Nicolas, P.: An implementation platform for query-answering in default logics: The xray system, its implementation and evaluation. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 441–452. Springer, Heidelberg (1997)
Truszczynski, M.: The modal logic s4f, the default logic, and the logic here-and-there. In: AAAI, pp. 508–514. AAAI Press (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Arioua, A., Tamani, N., Croitoru, M., Fortin, J., Buche, P. (2015). Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2015. Lecture Notes in Computer Science(), vol 9120. Springer, Cham. https://doi.org/10.1007/978-3-319-19369-4_49
Download citation
DOI: https://doi.org/10.1007/978-3-319-19369-4_49
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19368-7
Online ISBN: 978-3-319-19369-4
eBook Packages: Computer ScienceComputer Science (R0)