I. Horrocks, and U. Sattler. Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence
(IJCAI~2001), page 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.
I. Horrocks, and U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, page 199-204. Morgan Kaufmann, (2001)
D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. Klein. Knowledge Engineering and Knowledge Management;
Methods, Models and Tools, Proceedings of the 12th
International Conference EKAW 2000, LNCS 1937, page 1--16. Juan-les-Pins, France, Springer-Verlag, (October 2000)
M. Klein, D. Fensel, F. van Harmelen, and I. Horrocks. Proceedings of the Workshop on Applications of
Ontologies and Problem-solving Methods, 14th European
Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, (August 2000)