The description logic handbook: Theory, implementions and applications (Cambridge, 2003)