F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, page 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
C. Elsenbroich, O. Kutz, and U. Sattler. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, volume 216 of CEUR-WS.org, (November 2006)