@inproceedings{SisLab2537,
       booktitle = {2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)},
           title = {Bisimilarity for paraconsistent description logics},
          author = {Linh Anh Nguyen and Thi Hong Khanh Nguyen and Ngoc Thanh Nguyen and Quang Thuy Ha},
            year = {2016},
           pages = {004694--004699},
             doi = {doi:10.1109/SMC.2016.7844972},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2537/},
        abstract = {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.}
}