TY - JOUR
T1 - A possibilistic extension of description logics
AU - Qi, Guilin
AU - Pan, Jeff Z.
AU - Ji, Qiu
PY - 2007/12/1
Y1 - 2007/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84872941626&partnerID=8YFLogxK
UR - https://pdfs.semanticscholar.org/3efb/50b3ae6152cc69a6c5a4400a6fb98bf4517a.pdf
UR - https://www.researchgate.net/publication/220957166_A_Possibilistic_Extension_of_Description_Logics
M3 - Conference article
AN - SCOPUS:84872941626
SN - 1613-0073
VL - 250
SP - 435
EP - 442
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 20th International Workshop on Description Logics, DL 2007
Y2 - 8 June 2007 through 10 June 2007
ER -