Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D. & Patel-Schneider, P. F. (eds.) (2003). The description logic handbook: theory, implementation, and applications. New York, NY, USA: Cambridge University Press. ISBN: 0-521-78176-0