2 libri in questo genere
The description logic handbook
Franz Baader
Knowledge-based systems in artificial intelligence
Randall Davis
