The description logic handbook: theory, implementation, and applications. Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Schneider. New York, NY, USA: Cambridge University Press, 2003.