1. Aiguier M., Barbier F.: An institution-independent proof of the Beth definability theorem. Studia Logica 85(3), 333–359 (2007)
2. Baader, F., S. Brandt, and C. Lutz, Pushing the $${\mathcal{EL}}$$ envelope, in L. P. Kaelbling and A. Saffiotti (eds.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI’05), Professional Book Center, Denver, 2005, pp. 364–369.
3. Baader, F., D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, Cambridge, 2003.
4. Borst W. N., Construction of Engineering Ontologies for Knowledge Sharing and Reuse, PhD thesis, Universiteit Twente, Enschede, September 1997.
5. Brachman R., Fikes R., Levesque H.: KRYPTON: A functional approach to knowledge representation. IEEE Computer 16(10), 67–73 (1983)