Skip to main content
SpringerLink
Log in
Book cover

International Conference on Scalable Uncertainty Management

SUM 2013: Scalable Uncertainty Management pp 346–359Cite as

Possibilistic DL-Lite

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8078))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res., JAIR (2009)

    Google Scholar 

  2. Baader, F., McGuinness, L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press (2003)

    Google Scholar 

  3. Bobillo, F., Straccia, U.: fuzzydl: An expressive fuzzy description logic reasoner. In: FUZZ-IEEE, pp. 923–930. IEEE (2008)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Article  MATH  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Dubois, D., Prade, H.: Possibility theory. Plenum Press, New-York (1988)

    Book  MATH  Google Scholar 

  10. 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)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837–853 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. 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)

    Article  MATH  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. Straccia, U.: A fuzzy description logic. In: Mostow, J., Rich, C. (eds.) AAAI/IAAI, pp. 594–599. AAAI Press / The MIT Press (1998)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nord de France CRIL - CNRS UMR 8188 Artois, Université Lille, F-62307, Lens, France

    Salem Benferhat & Zied Bouraoui

Authors
  1. Salem Benferhat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zied Bouraoui
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electronics, Electrical Engineering and Computer Science, Queen’s University Belfast, BT9 5BN, Belfast, UK

    Weiru Liu

  2. Department of Computer Science, University of Maryland, 20742, College Park, MD, USA

    V. S. Subrahmanian

  3. Département d’Informatique, Université de Mons, 7000, Mons, Belgium

    Jef Wijsen

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation