Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi Peter F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 0-521-78176-0 Description Logic Handbook 2003 db/conf/dlog/handbook2003.html