eprintid: 2537
rev_number: 4
eprint_status: archive
userid: 307
dir: disk0/00/00/25/37
datestamp: 2017-06-26 10:37:31
lastmod: 2017-06-26 10:38:32
status_changed: 2017-06-26 10:37:31
type: conference_item
succeeds: 2517
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_id: thuyhq@vnu.edu.vn
title: Bisimilarity for paraconsistent description logics
ispublished: pub
subjects: IT
divisions: fac_fit
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.
date: 2016
date_type: published
official_url: http://doi.org/10.1109/SMC.2016.7844972
id_number: doi:10.1109/SMC.2016.7844972
full_text_status: none
pres_type: paper
pagerange: 004694-004699
event_title: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
event_dates: 2016
event_type: conference
refereed: FALSE
book_title: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
citation:   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.