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)
B. Motik. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of Lecture Notes in Computer Science, page 10-12. Springer, (2010)