%A Linh Anh Nguyen
%A Thi Hong Khanh Nguyen
%A Ngoc Thanh Nguyen
%A Quang Thuy Ha
%A Ngoc Thanh Nguyen
%A Manuel Núñez
%A Bogdan Trawiński
%J Journal of Intelligent & Fuzzy Systems
%T Bisimilarity for paraconsistent description logics
%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.
%N 2
%P 1203-1215
%V 32
%D 2017
%R doi:10.3233/JIFS-169120
%L SisLab2473