PossDL — A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling

  • Guilin Qi
  • Qiu Ji
  • Jeff Z. Pan
  • Jianfeng Du
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6089)


Uncertainty reasoning and inconsistency handling are two important problems that often occur in the applications of the Semantic Web. Possibilistic description logics provide a flexible framework for representing and reasoning with ontologies where uncertain and/or inconsistent information exists. Based on our previous work, we develop a possibilistic description logic reasoner. Our demo will illustrate functionalities of our reasoner for various reasoning tasks that possibilistic description logics can provide.


Reasoning Task Text Area Heart Patient Fuzzy Ontology Uncertainty Reasoning 
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.


  1. 1.
    Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Aritificial Intelligence and Logic Programming, pp. 439–513 (1994)Google Scholar
  2. 2.
    Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. In: Proc. of UAI 1994, pp. 327–335 (1994)Google Scholar
  3. 3.
    Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213–228. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6-7), 852–883 (2008)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4), 291–308 (2008)Google Scholar
  6. 6.
    Pan, J.Z., Stamou, G.B., Stoilos, G., Taylor, S., Thomas, E.: Scalable querying services over fuzzy ontologies. In: Proc. of WWW 2008, pp. 575–584 (2008)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Stoilos, G., Stamou, G., Pan, J.Z., Tzouvaras, V., Horrocks, I.: Reasoning with very expressive fuzzy description logics. J. Artif. Intell. Res. 30, 273–320 (2007)zbMATHMathSciNetGoogle Scholar
  9. 9.
    Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137–166 (2001)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Guilin Qi
    • 1
  • Qiu Ji
    • 2
  • Jeff Z. Pan
    • 3
  • Jianfeng Du
    • 4
  1. 1.School of Computer Science and EngineeringSoutheast UniversityNanjing
  2. 2.Institute AIFBUniversity of KarlsruheKarlsruheGermany
  3. 3.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  4. 4.Guangdong University of Foreign StudiesGuangzhouChina

Personalised recommendations