The Description Logic Handbook by Franz Baader | Menrva Books | MenrvaBooks