An Introduction to Description Logic

An Introduction to Description Logic
by Franz Baader and Ian Horrocks
B06XTSGPR2
Pages: 260 pages
Publisher finelybook 出版社:‏ Cambridge University Press (20 April 2017)
Language 语言: English
ISBN-10: 0521873614
ISBN-13: 9780521873611
Description logics (DLs) have a long tradition in computer science and knowledge representation,being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages,in particular the web ontology language OWL. Written by four renowned experts,this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL,the book introduces the reader to their syntax,semantics,reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques,knowledge-based applications and tools and it describes the relationship between DLs and OWL.
Contents
Chapter 1 Introduction
Chapter 2 A Basic Description Logic
Chapter 3 A Little Bit Of Model Theory
Chapter 4 Reasoning In Dls With Tableau Algorithms
Chapter 5 Complexity
Chapter 6 Reasoning In The El Family Of Description Logics
Chapter 7 Query Answering
Chapter 8 Ontology Languages And Applications
描述逻辑（DL）在计算机科学和知识表示方面具有悠久的传统，被设计为可以描述领域知识，从而使计算机能够理解这些知识。 DLs最近越来越重要，因为它们构成了广泛使用的本体语言，特别是网络本体语言OWL的逻辑基础。由四位知名专家撰写，这是第一本关于描述逻辑的教科书。适合毕业生自学和大学课程的基础。从基本的DL开始，本书向读者介绍了他们的语法，语义，推理问题和模型理论，并讨论了这些推理问题的计算复杂性和解决它们的算法。然后，它探讨了各种推理技术，基于知识的应用程序和工具，并描述了DLs和OWL之间的关系。
目录
第一章介绍
第2章基本描述逻辑
第3章一点模型理论
第4章推理Dls与Tableau算法
第五章复杂性
第6章推理在El系列描述逻辑
第七章查询回答
第八章本体语言与应用