The description logic handbook theory, implementation, and applications (Cambridge University Press, 2003)