描述逻辑手册

Baader编写的《The Description Logic Handbook》，描述逻辑基础教程。研究描述逻辑的不必解释太多，想初步了解描述逻辑的，可以仅阅读该手册前两章。

楼主厚道不要分，只可能是英文的。看着比较吃力。