An Introduction to Description Logic
An Introduction to Description Logic
复制标题
DOI：
--
复制
发表时间：
2017-04
期刊：
影响因子：
--
通讯作者：
D. Nardi;R. Brachman
中科院分区：
文献类型：
--
作者：
D. Nardi;R. Brachman
本介绍介绍了描述逻辑（DL）作为表示知识的形式主义的发展的主要动机，以及在DL传统中创建的所有系统的基础上的一些重要的基本概念。此外，我们还为读者提供了整本书的概述以及阅读的一些指导方针。我们首先解决描述逻辑与早期语义网络和框架系统之间的关系，这些系统代表了该领域的原始遗产。我们深入研究了一些与旧的努力遇到的关键问题。接着介绍了DL语言的基本特征和相关的推理技术，并指出DL语言是知识表示系统的核心。同时考虑DL知识库的结构及其相关的推理服务。然后回顾了一些基于描述逻辑的知识表示系统的发展和第一批应用，最后，我们讨论了描述逻辑与计算机科学其他领域的关系。我们还讨论了一些扩展的基本表示语言的机器，这些包括功能建议纳入的形式主义，最初出现在实现的系统，和功能建议，以科普某些应用领域的需求。
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. In addition, we provide the reader with an overview of the entire book and some guidelines for reading it.We first address the relationship between Description Logics and earlier semantic network and frame systems, which represent the original heritage of the field. We delve into some of the key problems encountered with the older efforts. Subsequently, we introduce the basic features of DL languages and related reasoning techniques.DL languages are then viewed as the core of knowledge representation systems. considering both the structure of a DL knowledge base and its associated reasoning services. The development of some implemented knowledge representation systems based on Description Logics and the first applications built with such systems are then reviewed.Finally, we address the relationship of Description Logics to other fields of Computer Science. We also discuss some extensions of the basic representation language machinery; these include features proposed for incorporation in the formalism that originally arose in implemented systems, and features proposed to cope with the needs of certain application domains.