eprintid: 3156
rev_number: 10
eprint_status: archive
userid: 307
dir: disk0/00/00/31/56
datestamp: 2018-11-14 04:30:54
lastmod: 2018-11-14 04:30:54
status_changed: 2018-11-14 04:30:54
type: book_section
metadata_visibility: show
creators_name: Ha, Quang Thuy
creators_name: Nguyen, Linh Anh
creators_name: Nguyen, Thi Hong Khanh
creators_name: Tran, Thanh Luong
creators_id: thuyhq@vnu.edu.vn
corp_creators: Faculty of Information TechnologyVNU University of Engineering and TechnologyHanoiVietnam
corp_creators: Division of Knowledge and System Engineering for ICT, Faculty of Information TechnologyTon Duc Thang UniversityHo Chi Minh CityVietnam
corp_creators: Institute of InformaticsUniversity of WarsawWarsawPoland
corp_creators: Faculty of Information TechnologyElectricity Power UniversityHanoiVietnam
corp_creators: Department of Information TechnologyUniversity of Sciences, Hue UniversityHueVietnam
title: Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: Description logics (DLs) are a suitable formalism for representing knowledge about domains in which objects are described not only by attributes but also by binary relations between objects. Fuzzy DLs can be used for such domains when data and knowledge about them are vague. One of the possible ways to specify classes of objects in such domains is to use concepts in fuzzy DLs. As DLs are variants of modal logics, indiscernibility in DLs is characterized by bisimilarity. The bisimilarity relation of an interpretation is the largest auto-bisimulation of that interpretation. In (fuzzy) DLs, it can be used for concept learning. In this paper, for the first time, we define fuzzy bisimulation and (crisp) bisimilarity for fuzzy DLs under the Gödel semantics. The considered logics are fuzzy extensions of the DL   ALCreg  with additional features among inverse roles, nominals, qualified number restrictions, the universal role and local reflexivity of a role. We give results on invariance of concepts as well as conditional invariance of TBoxes and ABoxes for bisimilarity in fuzzy DLs under the Gödel semantics. We also provide a theorem on the Hennessy-Milner property for fuzzy bisimulations in fuzzy DLs under the Gödel semantics.
date: 2018
date_type: published
publisher: Springer
official_url: https://link.springer.com/chapter/10.1007%2F978-3-319-99368-3_44
full_text_status: public
series: Lecture Notes in Computer Science
number: 11103
pagerange: 559-571
pages: 50
refereed: FALSE
isbn: ISBN 978-3-319-99367-6
book_title: International Joint Conference on Rough Sets (IJCRS 2018)
editors_name: Nguyen, Hung Son
editors_name: Ha, Quang-Thuy
editors_name: Li, Tianrui
editors_name: Malgorzata, Przybyla-Kasperek
citation:   Ha, Quang Thuy and Nguyen, Linh Anh and Nguyen, Thi Hong Khanh and Tran, Thanh Luong  (2018) Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics.   In:  International Joint Conference on Rough Sets (IJCRS 2018).   Lecture Notes in Computer Science  (11103).  Springer, pp. 559-571.  ISBN ISBN 978-3-319-99367-6     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3156/1/18_03_IJCRS2018_Book_RoughSets.pdf