Bu türde 2 kitap
The description logic handbook
Franz Baader
Knowledge-based systems in artificial intelligence
Randall Davis