TY  - JOUR
ID  - SisLab2473
UR  - http://doi.org/10.3233/JIFS-169120
IS  - 2
A1  - Nguyen, Linh Anh
A1  - Nguyen, Thi Hong Khanh
A1  - Nguyen, Ngoc Thanh
A1  - Ha, Quang Thuy
A1  - Nguyen, Ngoc Thanh
A1  - Núñez, Manuel
A1  - Trawi?ski, Bogdan
Y1  - 2017///
N2  - We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t. information in paraconsistent description logics. As consequences, we obtain also invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.
JF  - Journal of Intelligent & Fuzzy Systems
VL  - 32
SN  - 1064-1246
TI  - Bisimilarity for paraconsistent description logics
SP  - 1203
AV  - public
EP  - 1215
ER  -