語義Web技術基礎（簡體書）

《世界著名計算機教材精選：語義Web技術基礎》主要介紹了語義萬維網基礎技術。《世界著名計算機教材精選：語義Web技術基礎》從實用的角度，從語義Web的發展開始，介紹了當今流行的幾種語義Web技術，是國內外第一本關於語義Web技術的圖書。全書包括9章，分別介紹了語義技術的起源，RDF的基礎知識，RDF和RDFS的形式語義，Web本體語言OWL，OWL的形式語義，本體和規則，本體的查詢語言，本體工程，以及本體的一些應用。．

在附錄中我們提供對于背景知識的簡要的說明，這對理解《世界著名計算機教材精選:語義Web技術基礎》中的內容是需要的或有幫助的。我們建議僅在需要時參考相應內容，如一個對于XML或一階邏輯的簡單介紹。附錄A講述了XML與XML模式。附錄B列出了集合論中的基本符號。附錄C中重述了一階謂詞邏輯基礎。附錄D提供了對于書中相應章節的所有練習的解答。

第1章 語義的探求
1.1　建立模型
1.2　用知識計算
1.3　交流信息
1.4　語義萬維網技術
1.5　進一步閱讀

第2章 用rdf和rdf模式表示的簡單本體
2.1　rdf簡介
2.1.1　圖，而不是樹
2.1.2　rdf中的名稱： uri
2.1.3　rdf中的數值： 文字
2.2　rdf語法
2.2.1　從圖到三元組
2.2.2　簡單的三元組語法： n3、n-triple和turtle
2.2.3　rdf的xml序列化
2.2.4　在xml中的rdf： uri與其他問題
2.2.5　更短的uri： xml實體與相對uri
2.2.6　uri從哪裡來，它們的含義是什麼
2.3　高級特性
.2.3.1　rdf中的數據類型
2.3.2　語言設置和數據類型
2.3.3　多值關係
2.3.4　空白結點
2.4　rdf模式中簡單本體
2.4.1　類與實例
2.4.2　子類和類結構
2.4.3　屬性
2.4.4　子屬性與屬性層次
2.4.5　屬性限制
2.4.6　rdfs中的附加信息
2.5　編碼特別的數據結構
2.5.1　rdf中的列表
2.5.2　關於命題的命題： 物化
2.6　一個例子
2.7　本章總結
2.7.1　rdf（s）語言構成的概述
2.8　練習
2.9　進一步閱讀

第3章 rdf形式語義
3.1　為什麼要有語義
3.2　rdf（s）的模型論語義
3.2.1　簡單解釋
3.2.2　rdf-解釋
3.2.3　rdfs解釋
3.2.4　數據類型的解釋
3.2.5　例子
3.3　根據推理規則的句法推理
3.3.1　簡單推導的演繹規則
3.3.2　rdf-推導的演繹規則
3.3.3　rdfs-推導的演繹規則
3.3.4　針對數據類型的附加規則
3.3.5　rdfs演繹的例子
3.4　rdf（s）的語義局限
3.5　本章總結
3.6　練習
3.7　進一步閱讀

第4章 網絡本體語言owl
4.1　用owl表示的本體
4.1.1　owl本體的頭
4.1.2　類、角色和個體
4.1.3　簡單的類關係
4.1.4　個體間的關係
4.1.5　封閉式類
4.1.6　布爾類構造器
4.1.7　角色限制
4.1.8　角色關係
4.1.9　角色特性
4.1.1 0 推理類型
4.2　owl的種類
4.2.1　owl full
4.2.2　owl dl
4.2.3　owl lite
4.3　即將推出的owl 2標準
4.3.1　owl 2 dl
4.3.2　owl 2概圖
4.3.3　owl 2 full
4.4　本章總結
4.4.1　owl 1語言構造子概述
4.4.2　owl 2語言附加構造子概述
4.5　練習
4.6　擴展閱讀

第5章 owl形式語義
5.1　描述邏輯
5.1.1　描述邏輯alc
5.1.2　作為描述邏輯的owl dl
5.1.3　命名描述邏輯以及它們與owl子語言之間的關係
5.1.4　sroiq的形式語法
5.2　owl的模型論語義
5.2.1　sroiq的外延語義
5.2.2　通過謂詞邏輯定義sroiq語義
5.3　owl自動推理
5.3.1　推理問題
5.3.2　否定範式
5.3.3　alc的tableaux算法
5.3.4　shiq的tableaux算法
5.3.5　計算複雜性
5.4　本章總結
5.5　練習
5.6　進一步閱讀

第6章 本體和規則
6.1　什麼是規則
6.2　一階規則語言datalog
6.2.1　datalog導論
6.2.2　datalog語義
6.3　規則和owl dl的結合
6.3.1　合成語義： datalog和描述邏輯
6.3.2　計算結論
6.3.3　描述邏輯規則
6.3.4　dl-safe規則
6.4　規則內部交換格式rif
6.4.1　rif-core
6.4.2　面向對象的數據結構： rif中的框架
6.4.3　rif-core語義
6.4.4　對於rif-core的xml句法
6.4.5　rif和owl dl的結合
6.4.6　rif和rdf（s）的結合
6.4.7　rif-core和rif-bld的更多特性
6.5　本章總結
6.6　練習
6.7　進一步閱讀

第7章 查詢語言
7.1　sparql： rdf的查詢語言
7.1.1　簡單的sparql查詢
7.1.2　簡單圖模式： 三元組和變量
7.1.3　sparql中的空白結點
7.1.4　複雜圖模式： 組、可選和可替代
7.1.5　對數據值的查詢
7.1.6　過濾器
7.1.7　結果格式
7.1.8　修飾符
7.1.9　sparql語義和sparql代數
7.1.1 0 sparql的其他表達特性
7.2　owl dl的合取查詢
7.2.1　owl的局限
7.2.2　合取查詢的介紹
7.2.3　非區分變量
7.2.4　合取查詢和規則
7.2.5　合取查詢與sparql
7.3　本章總結
7.4　練習
7.5　進一步閱讀

第8章 本體工程
8.1　需求分析
8.2　本體創建--你的知識在哪裡
8.2.1　在你的大腦中： 人類知識源
8.2.2　在你的書中： 非結構化源
8.2.3　在互聯網中： 半結構化源
8.2.4　在數據庫中： 結構化源
8.3　本體的質量保證
8.3.1　本體評估： 怎樣改進本體
8.3.2　如何（不）正確地建模
8.3.3　本體精煉： 如何改進本體
8.4　模塊化本體： 分而治之
8.5　軟件工具
8.5.1　本體編輯器
8.5.2　rdf存儲
8.5.3　owl dl推理引擎
8.5.4　owl 2概要的推理引擎
8.5.5　quonto
8.5.6　數據日誌和規則引擎
8.5.7　更多系統
8.6　本章總結
8.7　進一步閱讀

第9章 應用
9.1　萬維網數據交換與聚合
9.1.1　用元數據為萬維網數據添磚加瓦
9.1.2　詞匯表
9.2　語義維基
9.2.1　語義媒體維基
9.2.2　應用
9.3　語義門戶
9.4　數據格式中的語義元數據
9.5　生命科學中的語義web
9.6　本體用於標準化
9.7　rif應用
9.8　面向未來的應用
9.9　本章總結
9.1 0 進一步閱讀

附錄a 可擴展標記語言xml
a.1　簡述xml
a.2　xml語法
a.3　xml模式
a.3.1　元素、屬性和數據類型
a.3.2　用戶自定義類型
附錄b 集合論
b.1　基本概念
b.2　集合操作
b.3　關係和函數
附錄c 邏輯
c.1　語法
c.2　語義
c.3　證明理論和可判定性
附錄d 練習答案
d.
第2章 解答
d.
第3章 答案
d.
第4章 答案
d.
第5章 答案
d.
第6章 答案
d.
第7章 答案
參考文獻．

（1）無值（即無約束的變量）。
（2）空結點。
（3）URI。
（4）RDF字面量。
但是一般情況下，RDF規范中并沒有給出不同類型的字面量是如何比較的。只有當xsd：string類型的字面量和一個無類型的字面量比較并且具有相同的字面值的時候，無類型的字面量被定義為更小。關于兩個無約束的變量、兩個空結點和兩個未知類型的字面量之問的序也是沒有定義的，根據具體的實現不同而不同，在這些具體實現中可能還支持其他SPARQL標準沒有定義序的類型。此外，我們還可以根據多個變量的值來對結果排序。聲明出現的順序決定了這些變量的相關度：當且僅當第一個變量的兩個不同約束值相同的時候，第二個變量才會用來排序，以此類推。對于每一個變量，其順序都是可以單獨給定的，例如在ORDER BY DESC（？price）？title語句中，它按價格降序而當兩個物品價格相等的情況下則依照他們標題的字典（升）序。
幾乎所有的查詢語言都會有一個關鍵的特性，即可以選取結果序列中的某一段。在SPARQL中，它可以通過LIMIT和OFFSET來實現。通過這兩個關鍵字，我們可以選中一段結果，它的結果數上限為LIMIT，且開始的位置為OFFSET。
比如說，這個查詢顯示從第25號開始的5個三元組，根據主語的元素（假定都是URI）排序。這樣，切分參數可以用來分段獲取結果，這對于許多搜索引擎來說是相當常用的。至于第25個元素具體是什么，當然依賴于我們采用的序。如果不定義這樣的序，那么使用LIMIT和OFFSET的結果一般來說是不可預測的。甚至，它的序對于每一個查詢都不一樣（與實現的細節有關），這樣一來獲取結果將不可靠，因此選取一段結果的查詢必需使用具體的0RDER BY定義。也因為這個原因，ORDER BY對于CONSTRUCT、ASK和DESCRIBE也是有用的。
最后一個使大的結果集更容易處理的選擇是去除結果列表中不必要的重復。確切地說，保證沒有兩行結果是完全一樣的是十分有用的。這可以通過DISTINCT來實現，而其只允許在SELECT后面出現。事實上，這個特性對于其他的結果格式來說是沒有很大用途的（雖然，在這點上值得討論，它還是會有點作用，參見練習7.6）。所有變量的約束都相同的行將會合并為一行。但是值得注意的是，即便如此并非結果表中的所有冗余都消除了。例如，可能會存在兩行除了空結點的標識符以外其余部分都是相同的。如同在7.1.3節中討論的，結果中一個空白結點的標識符可能是相關的，但這只會發生在同一個標識符在其他的三元組中也使用到的情況。要試圖除去所有形式的冗余是相當困難的事情，所以DISTINCT只處理最顯然的情況。
本節中所有討論到的參數都可以相互組合，因此決定它們起作用的順序是相當重要的。SPARQL定義了如下的處理步驟：
（1）基于0RDER BY對所有結果排序。
（2）消除結果集中所有未被選中的變量（投影）。
（3）如果有要求，則消除重復的結果。
（4）按照OFFSET指引，刪除開頭的結果。
（5）刪除所有LIMIT地址之后的結果。
基于這個處理順序，我們可以發現結果有可能按照沒有被選中的變量排序，然而DISTINCT只基于選中的變量集。OFFSET和LIMIT的處理指的是可能已經由DISTINCT縮小過的結果集。