The Description Logic Handbook: Theory, Implementation, and Applications, 2/e (Hardcover)
暫譯: 《描述邏輯手冊：理論、實作與應用（第 2 版）（精裝）》

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
  • 相關分類: Computer-Science

    • 無法訂購

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

商品描述

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.

商品描述(中文翻譯)

內容

描述邏輯（Description Logics）已應用於多種知識型系統，並用於開發各式各樣的實際應用。《描述邏輯手冊》全面介紹此一主題，涵蓋該領域研究的所有面向，包括理論、實作與應用。本書的讀者群相當廣泛，從偏重理論的讀者，到對實務較感興趣、需要深入且現代化理解以描述邏輯為基礎之知識表示系統的讀者，都能從中受益。除了對全書內容進行全面修訂之外，本版還新增「語意網（semantic web）的本體語言」一章；這是對未來網路發展極為重要的領域。總而言之，本書將成為描述邏輯領域獨特且不可或缺的參考書，也可供讀者自學，或搭配知識表示（Knowledge Representation）與人工智慧（Artificial Intelligence）課程使用。

• 唯一完整介紹描述邏輯的專書——本版新增語意網本體語言一章
• 全面涵蓋此主題的所有面向：理論、實作與應用
• 從現代觀點探討以知識（架構）為基礎的系統

目錄

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

參考文獻

類似商品