VNU-UET Repository

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.

This is the latest version of this item.

Full text not available from this repository.

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

Actions (login required)

View Item View Item