Bisimilarity for paraconsistent description logics

Issue title: Collective intelligent information and database systems

Guest editors: Ngoc-Thanh Nguyen, Manuel Núñez and Bogdan Trawiński

Article type: Research Article

Authors: Nguyen, Linh Anh^{a; b} | Nguyen, Thi Hong Khanh^c | Nguyen, Ngoc-Thanh^{d; *} | Ha, Quang-Thuy^e

Affiliations: [a] 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 | [b] Institute of Informatics, University of Warsaw, Warsaw, Poland | [c] Electric Power University, Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam | [d] Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland | [e] Faculty of Information Technology, VNU University of Engineering and Technology, Xuan Thuy, Hanoi, Vietnam

Correspondence: [*] Corresponding author. Ngoc-Thanh Nguyen, Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Str. Wyb. Wyspianskiego 27, 50-370 Wroclaw, Poland. Tel.: +48713204139; Fax: +48713203884; E-mail: Ngoc-Thanh.Nguyen@pwr.edu.pl.

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.

Keywords: Description logics, paraconsistent logics, bisimulation, bisimilarity

DOI: 10.3233/JIFS-169120

Journal: Journal of Intelligent & Fuzzy Systems, vol. 32, no. 2, pp. 1203-1215, 2017