第一章 描述逻辑的介绍 摘要： 这篇介绍提出了了描述逻辑作为表示知识的形式化工具而发展的动力，以及用传统 DL 创建 的所有系统下潜在的一些重要的基本概念。另外，我们还提供读者关于整本书的总揽和阅读的向 导。 我们首先阐述描述逻辑和早先的语义网络和框架系统的关系，这代表了该领域的继承性。我 们分析了过去工作所遇到的一些关键问题，然后，我们介绍了描述逻辑语言的特点和相关的推理 技术。 描述逻辑语言被认为是知识表示系统的核心，它考虑到 DL 知识库的结构和相应的推理服务。 然后将看到一些已经实现的基于描述逻辑的知识表示系统和第一个使用类似系统构造的应用。 最后，我们阐述了描述逻辑和计算机科学另外领域的关系。我们也讨论了基本的表述语言的 一些扩展，包括将原先在实现系统中提出的和处理某些应用领域提出的一些特性集成进形式系统。 11 简介 在知识表示和推理领域的研究通常关注能够有效的建立智能应用的提供高层世界描述方法。 在这里所说的“智能”指系统在其明确表示的知识中发现隐含的结果的能力。这些系统因此被称 为基于知识的系统。 知识表示的途径在 20 世纪 70 年代得到发展，这也是该领域广泛流行的
