Bisimilarity for paraconsistent description logics

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.

There is a more recent version of this item available.

Full text not available from this repository.

Official URL: http://doi.org/10.1109/SMC.2016.7844972

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:	14 Jun 2017 16:26
Last Modified:	14 Jun 2017 16:26
URI:	http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2517

Available Versions of this Item

Bisimilarity for paraconsistent description logics. (deposited 14 Jun 2017 16:26) [Currently Displayed]
- Bisimilarity for paraconsistent description logics. (deposited 26 Jun 2017 10:37)

Actions (login required)

View Item