2 books in this genre
The description logic handbook
Franz Baader
Knowledge-based systems in artificial intelligence
Randall Davis
