描述逻辑手册第十五章部分中文翻译 自KL-ONE的早期开始,描述逻辑的主要应用之一就是自然语言处理中的语义解释。语义解释是将语句的语法分析转化为其逻辑形式的一种推导过程。典型地,描述逻辑被用于编码知识库,该知识库含语法、语义元素以辅助语义解释过程。知识库的一部分组成词汇语义知识,将词及其语法属性与概念结构联系起来,另一部分描述上下文
描述逻辑手册第二章中文版_描述逻辑基础 简单介绍了表示、推理知识的形式语言:描述逻辑。首先,给出了DL基本概念的简短综述;然后,介绍了句法和语义,包括应用在系统中或在文献中提到的基本结构,以及这些结构被用来建造知识库的方法;最后,定义了典型的推理问题,展现了它们是如何相互联系的,并且描述了解决这些问题的不同方法。