語義Web技術基礎

《語義Web技術基礎》是2012年清華大學出版社出版的圖書，作者是Pascal Hitzler、 Markus Krotszsch、Sebastian Rudolph、York Sure 。

基本介紹

• 中文名：語義Web技術基礎
• 出版日期：2012-11-23
• 作者：Pascal Hitzler等
• 譯者：俞勇 等
• ISBN：9787302289692
• 定價：39元
• 印次：1-1
• 裝幀：平裝
• 出版社：清華大學出版社

內容簡介

本書系統地介紹了語義Web的概念、RDF和RDF模式中的簡單本體及其形式語義、OWL主體及其語義、本體和規則、SPARQL查詢語言、本體工程以及相關套用等內容。本書關注於語義Web領域已經建立起的基礎，並給出了由淺入深的非常細緻的描述。本書可作為語義Web理論課程或者套用實踐的教科書，亦可供相關研究人員和工程技術人員自學RDF、OWL、SPARQL等特定技術時使用。

圖書前言

語義Web是一個成熟的技術領域。在近10年間，一些大型研究機構和公司，比如說DARPA和IBM，投入了大量資金研究語義Web技術。很多技術被工業界用於全球資訊網之外的套用領域，比如說數據集成、知識管理和信息系統。粗略的說，語義Web的總體思想是用背景知識來豐富數據，這些背景知識是用本體的形式來表示，所以具有形式化的語義。語義Web的基礎是標準化的語言用來對本體建模。這些語言在表示能力、可伸縮性、直觀性和語義的硬度上各有不同。在這本書里，我們將要詳細介紹這些標準語言。對於每一個語言，均分為兩部分介紹，第一部分是用例子來闡明理論知識，介紹複雜的語法，以及給出直觀解釋。第二部分將詳細給出形式化的語法。

在本書的翻譯過程中，得到了本書的英文版作者們的大力支持。他們向譯者提供了全文書稿的最終版本。感謝清華大學出版社的編輯們，他們對本書的草稿提出了很多指導性的意見。感謝他們的辛勤工作，使得本書能夠儘快與讀者見面。

由於本書所涉及的內容廣泛，許多術語目前尚無固定譯法，翻譯難度相對較大。儘管我們對某些術語進行了推敲，但仍然可能出現詞不達意的地方。此外，由於譯者水平有限，譯文中不當之處也在所難免。我們也真誠地希望同行與讀者朋友們不吝賜教。

語義Web技術基礎譯者序介 紹

本書的目標是介紹語義全球資訊網基礎技術，並在一定程度上達到其他教材中未達到的細節與深度。這是一本用於大學課程教材的書，也可以用來自學，對於研究員與從業人員也同樣適用。它是本書作者在此領域5年的教學經驗的基礎上完成的。

圖書目錄

第1章 語義的探求1

1.1 建立模型2

1.2 用知識計算4

1.3 交流信息6

1.4 語義全球資訊網技術8

1.5 進一步閱讀10

第2章 用RDF和RDF模式表示的簡單本體12

2.1 RDF簡介13

2.1.1 圖，而不是樹13

2.1.2 RDF中的名稱： URI13

2.1.3 RDF中的數值： 文字14

2.2 RDF語法16

2.2.1 從圖到三元組16

2.2.2 簡單的三元組語法： N3、N-Triple和Turtle16

2.2.3 RDF的XML序列化18

2.2.4 在XML中的RDF: URI與其他問題20

2.2.5 更短的URI: XML實體與相對URI20

2.2.6 URI從哪裡來，它們的含義是什麼22

2.3 高級特性24

2.3.1 RDF中的數據類型24

2.3.2 語言設定和數據類型26

2.3.3 多值關係28

2.3.4 空白結點29

2.4 RDF模式中簡單本體31

2.4.1 類與實例32

2.4.2 子類和類結構33

2.4.3 屬性35語義Web技術基礎目 錄2.4.4 子屬性與屬性層次36

2.4.5 屬性限制37

2.4.6 RDFS中的附加信息38

2.5 編碼特別的數據結構39

2.5.1 RDF中的列表40

2.5.2 關於命題的命題： 物化43

2.6 一個例子45

2.7 本章總結46

2.7.1 RDF(S)語言構成的概述46

2.8 練習48

2.9 進一步閱讀49

第3章 RDF形式語義50

3.1 為什麼要有語義50

3.2 RDF(S)的模型論語義51

3.2.1 簡單解釋52

3.2.2 RDF-解釋54

3.2.3 RDFS解釋55

3.2.4 數據類型的解釋58

3.2.5 例子59

3.3 根據推理規則的句法推理62

3.3.1 簡單推導的演繹規則63

3.3.2 RDF-推導的演繹規則64

3.3.3 RDFS-推導的演繹規則66

3.3.4 針對數據類型的附加規則70

3.3.5 RDFS演繹的例子71

3.4 RDF(S)的語義局限72

3.5 本章總結73

3.6 練習73

3.7 進一步閱讀74

第4章 網路本體語言OWL75

4.1 用OWL表示的本體75

4.1.1 OWL本體的頭77

4.1.2 類、角色和個體78

4.1.3 簡單的類關係80

4.1.4 個體間的關係81

4.1.5 封閉式類82

4.1.6 布爾類構造器82

4.1.7 角色限制85

4.1.8 角色關係91

4.1.9 角色特性92

4.1.10 推理類型94

4.2 OWL的種類95

4.2.1 OWL Full95

4.2.2 OWL DL96

4.2.3 OWL Lite96

4.3 即將推出的OWL 2標準97

4.3.1 OWL 2 DL97

4.3.2 OWL 2概圖104

4.3.3 OWL 2 Full106

4.4 本章總結106

4.4.1 OWL 1語言構造子概述107

4.4.2 OWL 2語言附加構造子概述108

4.5 練習109

4.6 擴展閱讀110

第5章 OWL形式語義111

5.1 描述邏輯111

5.1.1 描述邏輯ALC111

5.1.2 作為描述邏輯的OWL DL114

5.1.3 命名描述邏輯以及它們與OWL子語言之間的關係115

5.1.4 SROIQ的形式語法117

5.2 OWL的模型論語義120

5.2.1 SROIQ的外延語義120

5.2.2 通過謂詞邏輯定義SROIQ語義125

5.3 OWL自動推理127

5.3.1 推理問題127

5.3.2 否定範式128

5.3.3 ALC的Tableaux算法129

5.3.4 SHIQ的Tableaux算法137

5.3.5 計算複雜性145

5.4 本章總結146

5.5 練習146

5.6 進一步閱讀147

第6章 本體和規則149

6.1 什麼是規則150

6.2 一階規則語言datalog151

6.2.1 datalog導論152

6.2.2 datalog語義154

6.3 規則和OWL DL的結合156

6.3.1 合成語義： datalog和描述邏輯156

6.3.2 計算結論157

6.3.3 描述邏輯規則158

6.3.4 DL-safe規則163

6.4 規則內部交換格式RIF167

6.4.1 RIF-Core167

6.4.2 面向對象的數據結構： RIF中的框架170

6.4.3 RIF-Core語義171

6.4.4 對於RIF-Core的XML句法171

6.4.5 RIF和OWL DL的結合173

6.4.6 RIF和RDF(S)的結合175

6.4.7 RIF-Core和RIF-BLD的更多特性179

6.5 本章總結180

6.6 練習181

6.7 進一步閱讀181

第7章 查詢語言183

7.1 SPARQL: RDF的查詢語言184

7.1.1 簡單的SPARQL查詢184

7.1.2 簡單圖模式： 三元組和變數185

7.1.3 SPARQL中的空白結點186

7.1.4 複雜圖模式： 組、可選和可替代187

7.1.5 對數據值的查詢190

7.1.6 過濾器191

7.1.7 結果格式194

7.1.8 修飾符197

7.1.9 SPARQL語義和SPARQL代數199

7.1.10 SPARQL的其他表達特性204

7.2 OWL DL的合取查詢206

7.2.1 OWL的局限206

7.2.2 合取查詢的介紹207

7.2.3 非區分變數208

7.2.4 合取查詢和規則209

7.2.5 合取查詢與SPARQL210

7.3 本章總結211

7.4 練習212

7.5 進一步閱讀213

第8章 本體工程215

8.1 需求分析216

8.2 本體創建--你的知識在哪裡217

8.2.1 在你的大腦中： 人類知識源217

8.2.2 在你的書中： 非結構化源218

8.2.3 在網際網路中： 半結構化源221

8.2.4 在資料庫中： 結構化源221

8.3 本體的質量保證222

8.3.1 本體評估： 怎樣改進本體222

8.3.2 如何(不)正確地建模224

8.3.3 本體精煉： 如何改進本體228

8.4 模組化本體： 分而治之228

8.5 軟體工具229

8.5.1 本體編輯器229

8.5.2 RDF存儲230

8.5.3 OWL DL推理引擎231

8.5.4 OWL 2概要的推理引擎231

8.5.5 QuOnto232

8.5.6 數據日誌和規則引擎232

8.5.7 更多系統233

8.6 本章總結233

8.7 進一步閱讀233

第9章 套用235

9.1 全球資訊網數據交換與聚合236

9.1.1 用元數據為全球資訊網數據添磚加瓦236

9.1.2 辭彙表236

9.2 語義維基239

9.2.1 語義媒體維基240

9.2.2 套用241

9.3 語義門戶241

9.4 數據格式中的語義元數據242

9.5 生命科學中的語義Web242

9.6 本體用於標準化243

9.7 RIF套用244

9.8 面向未來的套用244

9.9 本章總結245

9.10 進一步閱讀245

附錄A 可擴展標記語言XML247

A.1 簡述XML247

A.2 XML語法249

A.3 XML模式250

A.3.1 元素、屬性和數據類型251

A.3.2 用戶自定義類型252

附錄B 集合論254

B.1 基本概念254

B.2 集合操作255

B.3 關係和函式255

附錄C 邏輯256

C.1 語法256

C.2 語義257

C.3 證明理論和可判定性260

附錄D 練習答案261

D.1 第2章解答261

D.2 第3章答案264

D.3 第4章答案267

D.4 第5章答案270

D.5 第6章答案273

D.6 第7章答案277

參考文獻287