1. Lecture Notes in Computer Science;I. Horrocks,2002
2. Donini, F.: Complexity of reasoning. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) Description Logic Handbook, pp. 101–141. Cambridge University Press, Cambridge (2002)
3. Hustadt, U., Motik, B., Sattler, U.: Reducing shiq description logic to disjunctive datalog programs. In: Proc. of 9th Intl. Conf. on Knowledge Representation and Reasoning (KR 2004), pp. 152–162 (2004)
4. Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: Proc. of 17th Int. Conf. on Automated Deduction, pp. 482–496 (2000)
5. Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: Scalable reasoning: Cutting ontologies down to size (2006), http://www.research.ibm.com/iaa/techReport.pdf