VNU-UET Repository

Bisimilarity for paraconsistent description logics

Linh Anh Nguyen and Thi Hong Khanh Nguyen and Ngoc-Thanh Nguyen and Quang-Thuy Ha (2016) Bisimilarity for paraconsistent description logics. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016.

WarningThere 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)
ID Code:2517
Deposited By: Hà Quang Thụy
Deposited On:14 Jun 2017 16:26
Last Modified:14 Jun 2017 16:26

Available Versions of this Item

Repository Staff Only: item control page