relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473/
title: Bisimilarity for paraconsistent description logics
creator: Nguyen, Linh Anh
creator: Nguyen, Thi Hong Khanh
creator: Nguyen, Ngoc Thanh
creator: Ha, Quang Thuy
creator: Nguyen, Ngoc Thanh
creator: Núñez, Manuel
creator: Trawiński, Bogdan
subject: Information Technology (IT)
subject: ISI-indexed journals
description: 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.
date: 2017
type: Article
type: PeerReviewed
format: text/html
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473/1/ifs169120
identifier:   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     
relation: http://doi.org/10.3233/JIFS-169120
relation: doi:10.3233/JIFS-169120