Ｆ．巴德尔等

知识表示属于人工智能领域，该领域把注意力放在了形式方法的设计上，而形式方法对于一个特定域的知识表示在认识论上和计算上都是足够的。知识应该用对象的特征类以及它们之间的关系来表示，用来描述感兴趣的“类”的组织是建立在层次结构上的，该结构不仅提供了信息的有效与简洁的表示，而且还允许相关推理任务以一个在计算上有效的方式完成。

自从本书的第一版于2003年出版以来，从事描述逻辑研究的活跃研究人员和实现推理服务的数量都在不断增加。描述逻辑被嵌入几个基于应用的系统，并且被用来开发在实际中的知识。

本书提供了对这个主题的完整说明，涉及了这个领域中研究的所有方面，它将会吸引面向理论和注重实践的广大读者，书中的每一章都由这个领域中最杰出的研究人员撰写，在带领读者进入这个主题的现状之前，对其基本的技术内容作了介绍，包括对文献的全面指引。除了对整本书进行全面修订之外，新的一版增加了有关语义网本体论语言的新章节，这是一个对网络的未来发展极为重要的领域。

本书共有16章。1．描述逻辑介绍；2．描述逻辑基础；3．推理的复杂性；4．与其他形式方法的关系；5．可表达的描述逻辑；6．描述逻辑扩展；7．从描述逻辑证明程序到知识表示；8．描述逻辑系统；9．实现及优化技术；10．概念建模与描述逻辑；11．软件工程；12．配置；13．医学信息科学；14．OWL：一种用于语义网的基于描述逻辑的本体论语言；……