The Description Logic Handbook: Theory, Implementation, and Applications, 2/e (Hardcover)

Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider

The Description Logic Handbook: Theory, Implementation, and Applications, 2/e (Hardcover)
  • 出版商: Cambridge
  • 出版日期: 2007-09-24
  • 售價: $2,500
  • 貴賓價: 9.8 折 $2,450
  • 語言: 英文
  • 頁數: 622
  • 裝訂: Hardcover
  • ISBN: 0521876257
  • ISBN-13: 9780521876254

    • 下單後立即進貨 (約5~7天)

買這商品的人也買了...

相關主題

商品描述

Description

Description Logics are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.

• Only comprehensive introduction to Description Logics - this new edition includes a chapter on ontology languages for the semantic web • Full coverage of all aspects of the subject: theory, implementation and applications • A modern perspective on knowledge (frame) based systems

 

Table of Contents

1. An introduction to description logics D. Nardi and R. J. Brachman; Part I. Theory: 2. Basic description logics F. Baader and W. Nutt; 3. Complexity of reasoning F. M. Donini; 4. Relationships with other formalisms U. Sattler, D. Calvanese and R. Molitor; 5. Expressive description logics D. Calvanese and G. De Giacomo; 6. Extensions to description logics F. Baader, R. Küsters and F. Wolter; Part II. Implementation: 7. From description logic provers to knowledge representation systems D. L. McGuinness and P. F. Patel-Schneider; 8. Description logics systems R. Möller and V. Haarslev; 9. Implementation and optimisation techniques I. Horrocks; Part III. Applications: 10. Conceptual modeling with description logics A. Borgida and R. J. Brachman; 11. Software engineering C. Welty; 12. Configuration D. L. McGuinness; 13. Medical informatics A. Rector; 14. Ontology languages for the semantic web I. Horrocks, P. F. Patel-Schneider, D. L. McGuinness and C. Welty; 15. Natural language processing E. Franconi; 16. Description logics for data bases A. Borgida, M. Lenzerini and R. Rosati; Appendix. Description logic terminology F. Baader; Bibliography.

商品描述(中文翻譯)

**描述**

描述邏輯體現在多個知識基礎系統中，並用於開發各種現實應用。描述邏輯手冊提供了該主題的全面介紹，涵蓋了該領域研究的各個方面，即理論、實現和應用。它的吸引力將是廣泛的，從更理論導向的讀者到那些需要對基於描述邏輯的知識表示系統有扎實和現代理解的實踐導向的讀者。除了全書的普遍修訂外，這一新版本還新增了一章關於語義網的本體語言，這是未來網絡發展中非常重要的領域。總之，這本書將作為該主題的獨特參考資料，也可以用於自學或與知識表示和人工智慧課程結合使用。

- 唯一的全面介紹描述邏輯的書籍 - 這一新版本包括一章關於語義網的本體語言
- 全面涵蓋該主題的所有方面：理論、實現和應用
- 對基於知識（框架）系統的現代觀點

**目錄**

1. 描述邏輯簡介 D. Nardi 和 R. J. Brachman
- 第一部分 理論：
2. 基本描述邏輯 F. Baader 和 W. Nutt
3. 推理的複雜性 F. M. Donini
4. 與其他形式主義的關係 U. Sattler、D. Calvanese 和 R. Molitor
5. 表達性描述邏輯 D. Calvanese 和 G. De Giacomo
6. 描述邏輯的擴展 F. Baader、R. Küsters 和 F. Wolter
- 第二部分 實現：
7. 從描述邏輯證明器到知識表示系統 D. L. McGuinness 和 P. F. Patel-Schneider
8. 描述邏輯系統 R. Möller 和 V. Haarslev
9. 實現和優化技術 I. Horrocks
- 第三部分 應用：
10. 使用描述邏輯的概念建模 A. Borgida 和 R. J. Brachman
11. 軟體工程 C. Welty
12. 配置 D. L. McGuinness
13. 醫療資訊學 A. Rector
14. 語義網的本體語言 I. Horrocks、P. F. Patel-Schneider、D. L. McGuinness 和 C. Welty
15. 自然語言處理 E. Franconi
16. 用於資料庫的描述邏輯 A. Borgida、M. Lenzerini 和 R. Rosati
- 附錄：描述邏輯術語 F. Baader
- 參考文獻

類似商品