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.
