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.
This is the latest version of this item.
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Hà Quang Thụy |
| Date Deposited: | 26 Jun 2017 10:37 |
| Last Modified: | 26 Jun 2017 10:38 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2537 |
Available Versions of this Item
-
Bisimilarity for paraconsistent description logics. (deposited 14 Jun 2017 16:26)
- Bisimilarity for paraconsistent description logics. (deposited 26 Jun 2017 10:37) [Currently Displayed]
Actions (login required)
 |
View Item |
