Bisimilarity for paraconsistent description logics

Nguyen, Linh Anh and Nguyen, Thi Hong Khanh and Nguyen, Ngoc Thanh and Ha, Quang Thuy and Nguyen, Ngoc Thanh and Núñez, Manuel and Trawiński, Bogdan (2017) Bisimilarity for paraconsistent description logics. Journal of Intelligent & Fuzzy Systems, 32 (2). pp. 1203-1215. ISSN 1064-1246

HTML - Accepted Version Download (68kB)

Abstract

We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t. information in paraconsistent description logics. As consequences, we obtain also invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.

Item Type:	Article
Subjects:	Information Technology (IT) ISI-indexed journals
Divisions:	Faculty of Information Technology (FIT)
Depositing User:	Hà Quang Thụy
Date Deposited:	10 Jun 2017 11:42
Last Modified:	10 Jun 2017 11:42
URI:	http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473

Actions (login required)

View Item