The description logic handbook theory, implementation, and applications (Cambridge Univ. Pr., 2007)