1. Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1988)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the
$$\cal{EL}$$
envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 364–369. Professional Book Center (2005)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
4. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Logic 13(3), 21:1–21:32 (2012)
5. Blum, A.L.: Separating distribution-free and mistake-bound learning models over the Boolean domain. SIAM J. Comput. 23(5), 900–1000 (1994)