The Description Logic Handbook, 2nd edition: Theory, Implementation and Applications - Baader, F (Cambridge University Press, 2007)