The Description Logic Handbook by Franz Baader