Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

  • Authors:

  • Guilin Qi;Jeff Z. Pan;Qiu Ji

  • Affiliations:

  • Institute AIFB, University of Karlsruhe, Germany;Department of Computing Science, The University of Aberdeen, Aberdeen AB24 3FX;Institute AIFB, University of Karlsruhe, Germany

  • Venue:
  • ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics. We then define two inference services in possibilistic description logics. Since possibilistic inference suffers from the drowning problem, we consider a drowning-free variant of possibilistic inference, called linear order inference. Finally, we implement the algorithms for inference services in possibilistic description logics using KAON2 reasoner.