%0 Book %1 baader2003description %C New York, NY, USA %D 2003 %E Baader, Franz %E Calvanese, Diego %E McGuinness, Deborah L. %E Nardi, Daniele %E Patel-Schneider, Peter F. %I Cambridge University Press %K description dl logics %T The description logic handbook: theory, implementation, and applications