描述逻辑手册第十五章部分中文翻译

自KL-ONE的早期开始，描述逻辑的主要应用之一就是自然语言处理中的语义解释。语义解释是将语句的语法分析转化为其逻辑形式的一种推导过程。典型地，描述逻辑被用于编码知识库，该知识库含语法、语义元素以辅助语义解释过程。知识库的一部分组成词汇语义知识，将词及其语法属性与概念结构联系起来，另一部分描述上下文及领域知识，以描述概念深层含义。