The Description Logic Handbook : Theory, Implementation and Applications - Franz Baader; Diego Calvanese; Deborah McGuinness; Daniele Nardi; Peter Patel-Schneider (2003)