TY  - CONF
ID  - SisLab2537
UR  - http://doi.org/10.1109/SMC.2016.7844972
A1  - Nguyen, Linh Anh
A1  - Nguyen, Thi Hong Khanh
A1  - Nguyen, Ngoc Thanh
A1  - Ha, Quang Thuy
Y1  - 2016///
N2  - We introduce comparisons with respect to information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. As bisimilarity is a natural notion for characterizing indiscernibility in modal and description logics, it is useful for concept learning in description logics also when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons with respect to information in paraconsistent description logics. As consequences, we also obtain invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.
TI  - Bisimilarity for paraconsistent description logics
SP  - 004694
AV  - none
EP  - 004699
T2  - 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
ER  -