An Introduction to Description Logic

There aren't many examples in the book, which is the only reason why it couldn't make a stand-alone textbook. On the other hand, it combines beautifully a few examples with clear definitions, offered in a logic progression (pun intended...). My PhD student found it very helpful, and so did I.