@article{SisLab2473, volume = {32}, number = {2}, author = {Linh Anh Nguyen and Thi Hong Khanh Nguyen and Ngoc Thanh Nguyen and Quang Thuy Ha and Ngoc Thanh Nguyen and Manuel N{\'u}{\~n}ez and Bogdan Trawi{\'n}ski}, title = {Bisimilarity for paraconsistent description logics}, journal = {Journal of Intelligent \& Fuzzy Systems}, doi = {doi:10.3233/JIFS-169120}, pages = {1203--1215}, year = {2017}, url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473/}, abstract = {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.} }