eprintid: 2473
rev_number: 11
eprint_status: archive
userid: 307
dir: disk0/00/00/24/73
datestamp: 2017-06-10 11:42:34
lastmod: 2017-06-10 11:42:34
status_changed: 2017-06-10 11:42:34
type: article
metadata_visibility: show
creators_name: Nguyen, Linh Anh
creators_name: Nguyen, Thi Hong Khanh
creators_name: Nguyen, Ngoc Thanh
creators_name: Ha, Quang Thuy
creators_name: Nguyen, Ngoc Thanh
creators_name: Núñez, Manuel
creators_name: Trawiński, Bogdan
creators_id: thuyhq@vnu.edu.vn
corp_creators: Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam E-mail: nguyenanhlinh@tdt.edu.vn
corp_creators: Institute of Informatics, University of Warsaw, Warsaw, Poland
corp_creators: Faculty of Information Technology, VNU University of Engineering and Technology, Xuan Thuy, Hanoi, Vietnam
corp_creators: Electric Power University, Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam
corp_creators: Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland
title: Bisimilarity for paraconsistent description logics
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
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.
date: 2017
date_type: published
official_url: http://doi.org/10.3233/JIFS-169120
id_number: doi:10.3233/JIFS-169120
full_text_status: public
publication: Journal of Intelligent & Fuzzy Systems
volume: 32
number: 2
pagerange: 1203-1215
refereed: TRUE
issn: 1064-1246
funders: QG.15.22
citation:   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     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2473/1/ifs169120