1. Al-Shaikh, A., Khattab, H., Moubaiddin, A., Obeid, N.: A defeasible description logic for representing bibliographic data. In: Taha, N., Al-Sayyed, R., Alqatawna, J., Rodan, A. (eds.) Social Media Shaping e-Publishing and Academia, pp. 95–105. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55354-2_8
2. Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: IJCAI 2013, pp. 711–717 (2013)
3. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Logica 69, 5–40 (2001)
4. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) Description Logic Handbook, chapter 2, pp. 43–95 (2003)
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, Cambridge (2003)