1. Baader, F., Borchmann, D., Nuradiansyah, A.: Preliminary results on the identity problem in description logic ontologies. In: Proceedings of the 30th International Workshop on Description Logics (2017)
2. Baader, F., Calvanese, D., McGuinness, D.L., Patel-Schneider, P.F., Nardi, D. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
3. Baader, F., Horrocks, I., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)
4. Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1), 14–27 (2004)
5. Cook, S., Nguyen, P.: Logical Foundations of Proof Complexity, 1st edn. Cambridge University Press, New York (2010)