J. Pan, and I. Horrocks. Proc.\ of the 2003 International Semantic Web Conference (ISWC2003), 2870, page 30--46. Springer, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/HoPa03b.pdf.
B. Motik, I. Horrocks, and U. Sattler. Third International Wworkshop on OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, (June 2007)
B. Grau, I. Horrocks, Y. Kazakov, and U. Sattler. IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligence, page 298--303. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)