The description logic handbook : theory, implementation, and applications - Baader, Franz (Cambridge University Press, 2003)