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