1. 首页
  2. 课程学习
  3. 讲义
  4. Franz Baader《Description Logic Handbook》(描述逻辑)