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)
I. Horrocks, U. Sattler, and S. Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1705, page 161--180. Springer-Verlag, (1999)
I. Horrocks, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), AAAI Press, (2006)
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 78-90. Springer, (2005)