An Introduction to Description Logic - Baader, Franz (autor) (Cambridge University)