描述逻辑手册第一章中文翻译这篇介绍提出了了描述逻辑作为表示知识的形式化工具而发展的动力，以及用传统D...

ext_core_manual_zhcn.