N. Guarino, M. Carrara, and P. Giaretta. KR'94: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, California, (1994)
S. Staab, J. Angele, S. Decker, A. Hotho, A. Maedche, H. Schnurr, R. Studer, and Y. Sure. AAAI 2000/IAAI 2000 - Proceedings of the 17th National Conference on Artificial Intelligence and 12th Innovative Applications of Artificial Intelligence Conference, Austin/TX, USA, July 30-August 3, 2000, AAAI Press/MIT Press, (2000)
D. McGuinness, R. Fikes, J. Rice, and S. Wilder. In the Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), page 483--493. Breckenridge, Colorado, USA, (2000)