-- 发布时间：3/30/2008 6:01:00 PM
-- Franz Baader, Ian Horrocks等的最新关于DL的介绍--Description Logic 2003 的2007版本，强力推荐
http://www.cs.man.ac.uk/~horrocks/Publications/download/2007/BaHS07a.pdf
Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007
下载不了附件的可以通过链接下载，这是2003年DL手册的几个作者Franz Baader, Ian Horrocks, and Ulrike Sattler为新书Handbook of Knowledge Representation. Elsevier, 2007写的第三章，也可以说是DL handbook 2003的简化版本，我浏览了一下，我觉得比2003年那个版本又向前走了一大步，对于相关定义、概念更加概括，写论文时引用比DL 2003要好，此外加入了2003～2007年这段时间的业界发展情况，所以具有一定的时代性。以下是这个chapter的摘要部分：
In this chapter we will introduce description logics, a family of logic-based knowledge representation
languages that can be used to represent the terminological knowledge of an application
domain in a structured way. We will first review their provenance and history, and show how the
field has developed. We will then introduce the basic description logic ALC in some detail, including
definitions of syntax, semantics and basic reasoning services, and describe important extensions
such as inverse roles, number restrictions, and concrete domains. Next, we will discuss the relationship
between description logics and other formalisms, in particular first order and modal logics;
the most commonly used reasoning techniques, in particular tableau, resolution and automata based
techniques; and the computational complexity of basic reasoning problems. After reviewing some of
the most prominent applications of description logics, in particular ontology language applications,
we will conclude with an overview of other aspects of description logic research, and with pointers
to the relevant literature.
