relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2537/
title: Bisimilarity for paraconsistent description logics
creator: Nguyen, Linh Anh
creator: Nguyen, Thi Hong Khanh
creator: Nguyen, Ngoc Thanh
creator: Ha, Quang Thuy
subject: Information Technology (IT)
description: 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.
date: 2016
type: Conference or Workshop Item
type: NonPeerReviewed
identifier:   Nguyen, Linh Anh and Nguyen, Thi Hong Khanh and Nguyen, Ngoc Thanh and Ha, Quang Thuy  (2016) Bisimilarity for paraconsistent description logics.  In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016.     
relation: http://doi.org/10.1109/SMC.2016.7844972
relation: doi:10.1109/SMC.2016.7844972