D. Tsarkov, и I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), том 4130 из Lecture Notes in Artificial Intelligence, стр. 292--297. Springer, (2006)
E. Sirin, и B. Parsia. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, том 104 из CEUR Workshop Proceedings, (2004)