Franz巴德（编辑）;迭戈·卡尔瓦内斯（编辑）;黛博拉·麦吉尼斯。（编辑）;丹尼尔·纳尔迪（编辑）;彼得·施奈德（Peter F.Patel-Schneider）。（编辑） 描述逻辑手册。理论、实施和应用。第2版。 （英语） Zbl 1132.68055号 剑桥：剑桥大学出版社（ISBN 978-0-521-87625-4/hbk）。xix，第601页。(2007). [关于第一版（2003年）的审查，请参见Zbl 1058.68107号.]描述逻辑是人工智能领域知识表示的理论框架。特别是，它构成了所谓语义网中使用的本体语言的数学核心。从数学家的观点来看，描述逻辑是模态逻辑的变体（或扩展）。正在审查的这本书旨在对描述逻辑的理论、实现和应用进行全面的介绍。在第一章之后，有五章是关于理论的，接下来是关于实现的三章和关于应用的七章。在第二版中，已经重写了一个应用程序章节，现在将重点放在OWL上，OWL是万维网联盟推荐的标准web本体语言。这本书写得很好，结构也很好。各章相互参照，逻辑推进。它提供了一个关于主题的极好的概述，并显示了描述逻辑在各自上下文中的各个方面，以及许多可供进一步阅读的指针。与通常的“手册”一样，它的目的是作为参考，而不是作为教科书。例如，它通常只勾勒出证明的主要思想。为了看到技术细节和严格的证据，人们必须找到相应的研究文章（考虑到手册提供的详细参考文献，这很容易）。总之，这本书涵盖了描述逻辑的所有方面，是一本很好的参考书。内容：D.纳尔迪和R.J.Brachman（R·J·布拉赫曼）《描述逻辑导论》（第1-43页）；F.巴德和W.螺母，“基本描述逻辑”（第47–104页）；F.M.多尼尼《推理的复杂性》（第105–148页）；美国塞特勒，D.卡尔瓦内斯和R.莫利托，“与其他形式主义的关系”（第149–192页）；D.卡尔瓦内斯和G.德贾科莫，“表达描述逻辑”（第193–236页）；F.巴德，R.Küsters公司和沃特尔，“描述逻辑的扩展”（第237–282页）；D.L.McGuinness博士和P.F.帕特尔·施耐德《从描述逻辑证明器到知识表示系统》（第285-303页）；R.Möller先生和V.哈尔斯列夫《描述逻辑系统》（第304–328页）；I.大黄蜂《实施和优化技术》（第329-373页）；A.博尔吉达和R.J.布拉赫曼，“带有描述逻辑的概念建模”（第377–401页）；C.A.韦尔蒂《软件工程》（第402-416页）；D.L.McGuinness博士《配置》（第417-435页）；A.整流器《医学信息学》（第436–457页）；一、角砾岩，P.F.帕特尔·施耐德，D.L.McGuinness博士和C.A.韦尔蒂，“OWL:语义网的基于描述逻辑的本体语言”（第458–486页）；E.弗兰科尼《自然语言处理》（第487-499页）；A.博尔吉达，M.伦泽里尼和罗萨蒂（R.Rosati），“数据库的描述逻辑”（第500–524页）；F.巴德，“附录.描述逻辑术语”（第525–536页）；参考书目（第537–591页）；索引（第593-601页）。审核人：托马斯·斯图德（伯尔尼） 引用于2评论引用于95文件 MSC公司： 68立方英尺 知识表示 68-00 与计算机科学有关的一般参考书（手册、词典、书目等） 03B45号 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：描述逻辑;知识表示;人工智能 引文：Zbl 1058.68107号 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}（编辑）等人，《描述逻辑手册》。理论、实施和应用。第二版剑桥：剑桥大学出版社（2007；Zbl 1132.68055） 全文： 内政部