FranzBaader DiegoCalvanese DeborahL.McGuinness DanieleNardi The Description Logic Handbook: Theory, Implementation, and Applications 2003