%A Linh Anh Nguyen
%A Thi Hong Khanh Nguyen
%A Ngoc Thanh Nguyen
%A Quang Thuy Ha
%T Bisimilarity for paraconsistent description logics
%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.
%P 004694-004699
%B 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
%D 2016
%R doi:10.1109/SMC.2016.7844972
%L SisLab2537