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 \(\mathcal {ALC}_{reg}\) 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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bobillo, F., Cerami, M., Esteva, F., García-Cerdaña, Á., Peñaloza, R., Straccia, U.: Fuzzy description logics. In: Handbook of Mathematical Fuzzy Logic, Volume 58 of Studies in Logic, Mathematical Logic and Foundations, vol. 3, pp. 1105–1181. College Publications (2015)
Bobillo, F., Delgado, M., Gómez-Romero, J., Straccia, U.: Fuzzy description logics under Gödel semantics. Int. J. Approximate Reasoning 50(3), 494–514 (2009)
Borgwardt, S., Peñaloza, R.: Fuzzy description logics – a survey. In: Moral, S., Pivert, O., Sánchez, D., Marín, N. (eds.) SUM 2017. LNCS (LNAI), vol. 10564, pp. 31–45. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67582-4_3
Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M.: Algebraic structures related to many valued logical systems. Part I: Heyting Wajsberg algebras. Fundamenta Informaticae 63(4), 331–355 (2004)
Ćirić, M., Ignjatović, J., Damljanović, N., Bas̆ic, M.: Bisimulations for fuzzy automata. Fuzzy Sets Syst. 186(1), 100–139 (2012)
Divroodi, A.R., Ha, Q.-T., Nguyen, L.A., Nguyen, H.S.: On the possibility of correct concept learning in description logics. Vietnam J. Comput. Sci. 5(1), 3–14 (2018)
Divroodi, A.R., Nguyen, L.A.: On bisimulations for description logics. Inf. Sci. 295, 465–493 (2015)
Eleftheriou, P.E., Koutras, C.D., Nomikos, C.: Notions of bisimulation for Heyting-valued modal languages. J. Log. Comput. 22(2), 213–235 (2012)
Fan, T.-F.: Fuzzy bisimulation for Gödel modal logic. IEEE Trans. Fuzzy Syst. 23(6), 2387–2396 (2015)
Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S., Szałas, A., Tran, T.-L.: A bisimulation-based method of concept learning for knowledge bases in description logics. In: Proceedings of SoICT 2012, pp. 241–249. ACM (2012)
Hájek, P.: Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1), 1–15 (2005)
Lutz, C., Piro, R., Wolter, F.: Description logic TBoxes: model-theoretic characterizations and rewritability. In: Walsh, T. (ed.) Proceedings of IJCAI 2011, pp. 983–988 (2011)
Nguyen, L.A.: Bisimilarity in fuzzy description logics under the Zadeh semantics, submitted
Nguyen, L.A., Nguyen, T.H.K., Nguyen, N.-T., Ha, Q.-T.: Bisimilarity for paraconsistent description logics. J. Intell. Fuzzy Syst. 32(2), 1203–1215 (2017)
Nguyen, L.A., Szałas, A.: Logic-based roughification. In: Skowron, A., Suraj, Z. (eds.) Rough Sets and Intelligent Systems (To the Memory of Professor Zdzisław Pawlak), vol. 1, pp. 517–543. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30344-9_19
Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of IJCAI 1991, pp. 466–471. Morgan Kaufmann (1991)
Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S.: Bisimulation-based concept learning in description logics. Fundamenta Informaticae 133(2–3), 287–303 (2014)
Tran, T.-L., Nguyen, L.A., Hoang, T.-L.-G.: Bisimulation-based concept learning for information systems in description logics. Vietnam J. Comput. Sci. 2(3), 149–167 (2015)
Acknowlegements
This paper was partially supported by VNU-UET and VNU.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Ha, QT., Nguyen, L.A., Nguyen, T.H.K., Tran, TL. (2018). Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics. In: Nguyen, H., Ha, QT., Li, T., Przybyła-Kasperek, M. (eds) Rough Sets. IJCRS 2018. Lecture Notes in Computer Science(), vol 11103. Springer, Cham. https://doi.org/10.1007/978-3-319-99368-3_44
Download citation
DOI: https://doi.org/10.1007/978-3-319-99368-3_44
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99367-6
Online ISBN: 978-3-319-99368-3
eBook Packages: Computer ScienceComputer Science (R0)