1. Lukácsy, G., Szeredi, P.: Efficient description logic reasoning in Prolog: The DLog system. Theory and Practice of Logic Programming 09(03), 343–414 (2009)
2. Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, pp. 466–471. Morgan Kaufmann Publishers, San Francisco (2005)
3. 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 (2004)
4. Nilsson, U., Maluszynski, J. (eds.): Logic, Programming and Prolog. John Wiley and Sons Ltd., Chichester (1990)
5. Lecture Notes in Computer Science;Z. Nagy,2005