Abstract
DL-Lite is a tractable family of description logics particularly suitable for query answering. One of the fundamental issues in this area is the dynamics of the knowledge base which is a problem closely related to the belief revision one. This paper investigates revision of prioritized DL-Lite knowledge bases when a new input piece of information, possibly conflicting or uncertain, becomes available. To encode the prioritized knowledge, we use a possibility theory-based DL-Lite logic. We first study revision at the semantic level consisting in directly conditioning possibility distributions. In particular, we show that such conditioning provides in some situations some counterintuitive results compared with the ones of conditioning directly the knowledge base syntactically. We then study revision at the syntactic level of possibilistic DL-Lite knowledge bases. Finally, we show that such revision process has a meaningful semantic counterpart.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Benferhat, S., Bouraoui, Z.: Possibilistic DL-Lite. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 346–359. Springer, Heidelberg (2013)
Benferhat, S., Bouraoui, Z., Papini, O., Würbel, E.: Assertional-based removed set revision of DL-Liter belief bases. In: ISAIM (2014)
Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsisent beliefs without revising? In: IJCAI, pp. 1449–1457. Morgan Kaufmann (1995)
Benferhat, S., Dubois, D., Prade, H., Williams, M.A.: A practical approach to revising prioritized knowledge bases. Studia Logica 70(1), 105–130 (2002)
Benferhat, S., Tabia, K., Sedki, K.: Jeffrey’s rule of conditioning in a possibilistic framework. Annals of Mathematics and Artificial Intelligence 61(3), 185–202 (2011)
Calvanese, D., Giacomo, G.D., 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., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-Lite knowledge bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 112–128. Springer, Heidelberg (2010)
Didier, D., Henri, P.: Possibility theory: Qualitative and quantitative aspects. In: Smets, P. (ed.) Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169–226. Springer Netherlands (1998), http://dx.doi.org/10.1007/978-94-017-1735-9_6
Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artif. Intell. 50(2), 223–239 (1991)
Dubois, D., Prade, H.: A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. International Journal of Approximate Reasoning 17(2-3), 295–324 (1997)
Jeffrey, J.: The logic of decision. McGraw-Hill Press (1965)
Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst. 26(4), 353–381 (2011)
Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: IJCAI, pp. 891–897 (2009)
Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., Völker, J.: A kernel revision operator for terminologies — algorithms and evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 419–434. Springer, Heidelberg (2008)
Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386–398. Springer, Heidelberg (2006)
Wang, Z., Wang, K., Topor, R.W.: A new approach to knowledge base revision in DL-Lite. In: AAAI (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Benferhat, S., Bouraoui, Z., Tabia, K. (2014). On the Revision of Prioritized DL-Lite Knowledge Bases. In: Straccia, U., Calì, A. (eds) Scalable Uncertainty Management. SUM 2014. Lecture Notes in Computer Science(), vol 8720. Springer, Cham. https://doi.org/10.1007/978-3-319-11508-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-11508-5_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11507-8
Online ISBN: 978-3-319-11508-5
eBook Packages: Computer ScienceComputer Science (R0)