A Possibilistic Extension of Description Logics

Guilin Qi, Jeff Z Pan, Qiu Ji

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 2007 International Workshop on Description Logics (DL2007)
EditorsDiego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris
Number of pages8
Publication statusPublished - 28 May 2007
Event20th International Workshop on Description Logics - Brixen-Bressanone, Italy
Duration: 8 Jun 200710 Jun 2007
Conference number: 20

Publication series

NameCEUR Workshop Proceedings
ISSN (Electronic)1613-0073


Workshop20th International Workshop on Description Logics
Abbreviated titleDL 2007
Internet address


Dive into the research topics of 'A Possibilistic Extension of Description Logics'. Together they form a unique fingerprint.

Cite this