%0 Journal Article
%@ 1064-1246
%A Nguyen, Linh Anh
%A Nguyen, Thi Hong Khanh
%A Nguyen, Ngoc Thanh
%A Ha, Quang Thuy
%A Nguyen, Ngoc Thanh
%A Núñez, Manuel
%A Trawiński, Bogdan
%A Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam E-mail: nguyenanhlinh@tdt.edu.vn,
%A Institute of Informatics, University of Warsaw, Warsaw, Poland,
%A Faculty of Information Technology, VNU University of Engineering and Technology, Xuan Thuy, Hanoi, Vietnam,
%A Electric Power University, Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam,
%A Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland,
%D 2017
%F SisLab:2473
%J Journal of Intelligent & Fuzzy Systems
%N 2
%P 1203-1215
%T Bisimilarity for paraconsistent description logics
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473/
%V 32
%X 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.