The description logic handbook theory, implementation, and applications (Cambridge Univ. Press, 2010)