Baader, Franz (Bearb.) ; Calvanese, Diego (Bearb.) ; McGuinness, Deborah L. (Bearb.) ; Nardi, Daniele (Bearb.) ; Patel-Schneider, Peter F. (Bearb.): The description logic handbook: theory, implementation, and applications. New York, NY, USA : Cambridge University Press, 2003. - ISBN 0-521-78176-0