%0 Conference Paper
%A Nguyen, Linh Anh
%A Nguyen, Thi Hong Khanh
%A Nguyen, Ngoc Thanh
%A Ha, Quang Thuy
%B 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
%D 2016
%F SisLab:2537
%P 004694-004699
%T Bisimilarity for paraconsistent description logics
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2537/
%X 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.