Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.
|Number of pages||8|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 1 Dec 2007|
|Event||20th International Workshop on Description Logics, DL 2007 - Brixen/Bressanone, Italy|
Duration: 8 Jun 2007 → 10 Jun 2007