1. Baader F, Hollunder B (1991) KRIS: knowledge representation and inference system. SIGART Bull 2(3):8–14. https://doi.org/10.1145/122296.122298
2. Baader F, Lutz C (2007) Description logic, chap 13. In: Blackburn P, van Benthem J, Wolter F (eds) Handbook of modal logic, studies in logic and practical reasoning, vol 3. Elsevier, Amsterdam, pp 757–819
3. Baader F, Nutt W (2007) Basic description logics, chap 2. In: Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge, pp 47–104
4. Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: Kaelbling LP, Saffiotti A (eds) IJCAI05, Proceedings of the nineteenth international joint conference on artificial intelligence, Edinburgh, Scotland, July 30–August 5, 2005. Professional Book Center, pp 364–369. http://www.ijcai.org/papers/0372.pdf
5. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2007) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge