2 livres dans ce genre
The description logic handbook
Franz Baader
Knowledge-based systems in artificial intelligence
Randall Davis
