The Description Logic Handbook: Theory, Implementation and Applications