Abstract
DL-Lite is one of the most important fragment of description logics that allows a flexible representation of knowledge with a low computational complexity of the reasoning process. This paper investigates an extension of DL-Lite to deal with uncertainty associated with objects, concepts or relations using a possibility theory framework. Possibility theory offers a natural framework for representing uncertain and incomplete information. It is particularly useful for handling inconsistent knowledge. We first provide foundations of possibilistic DL-Lite, denoted by π-DL-Lite, where we present its syntax and its semantics. We then study the reasoning tasks and show how to measure the inconsistency degree of a knowledge base using query evaluations. An important result of the paper is that the extension of the expressive power of DL-Lite is done without additional extra computational costs.
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
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res., JAIR (2009)
Baader, F., McGuinness, L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press (2003)
Bobillo, F., Straccia, U.: fuzzydl: An expressive fuzzy description logic reasoner. In: FUZZ-IEEE, pp. 923–930. IEEE (2008)
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Dl-lite: Tractable description logics for ontologies. In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, AAAI 2005, pp. 602–607. AAAI Press / The MIT Press (2005)
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)
Couchariere, O., Lesot, M.-J., Bouchon-Meunier, B.: Consistency checking for extended description logics. In: Proceedings of the 21st International Workshop on Description Logics, DL 2008. Description Logics, vol. 9, pp. 602–607. CEUR-WS.org / CEUR Workshop Proceedings (2008)
Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: The Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513. Clarendon Press, Oxford (1994)
Dubois, D., Mengin, J., Prade, H.: Possibilistic uncertainty and fuzzy features in description logic. a preliminary discussion. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 101–113. Elsevier (2006)
Dubois, D., Prade, H.: Possibility theory. Plenum Press, New-York (1988)
Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. International Journal of Approximate Reasoning 12(2), 85–109 (1995)
Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837–853 (2009)
Pan, J.Z., Stamou, G.B., Stoilos, G., Thomas, E.: Expressive querying over fuzzy dl-lite ontologies. In: Proceedings of the 2007 International Workshop on Description Logics, DL 2007. Description Logics, vol. 250, pp. 602–607. CEUR-WS.org / CEUR Workshop Proceedings (2007)
Qi, G., Ji, Q., Pan, J.Z., Du, J.: PossDL — A possibilistic DL reasoner for uncertainty reasoning and inconsistency handling. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 416–420. Springer, Heidelberg (2010)
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., Pan, J.Z.: A tableau algorithm for possibilistic description logic \(\mathcal{ALC}\). In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 61–75. Springer, Heidelberg (2008)
Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828–839. Springer, Heidelberg (2007)
Qi, G., Pan, J.Z., Ji, Q.: A possibilistic extension of description logics. In: Proceedings of the 2007 International Workshop on Description Logics, DL 2007, vol. 4724, pp. 602–607. CEUR-WS.org / CEUR Workshop Proceedings (2007)
Straccia, U.: A fuzzy description logic. In: Mostow, J., Rich, C. (eds.) AAAI/IAAI, pp. 594–599. AAAI Press / The MIT Press (1998)
Straccia, U.: Towards top-k query answering in description logics: The case of dl-lite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439–451. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benferhat, S., Bouraoui, Z. (2013). Possibilistic DL-Lite. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds) Scalable Uncertainty Management. SUM 2013. Lecture Notes in Computer Science(), vol 8078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40381-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-40381-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40380-4
Online ISBN: 978-3-642-40381-1
eBook Packages: Computer ScienceComputer Science (R0)