2 libros en este género
The description logic handbook
Franz Baader
Knowledge-based systems in artificial intelligence
Randall Davis
