語義Web原理及應(yīng)用

序
前言
上篇 語義Web原理
第1章 語義Web概念
1.1 什么是語義Web
1.1.1 語義Web的定義
1.1.2 語義Web的目標(biāo)
1.1.3 語義Web的層次模型
1.2 什么不是語義Web
1.2.1 語義Web和知識表示
1.2.2 語義Web和E.R模型
1.2.3 語義Web和關(guān)系數(shù)據(jù)庫
1.2.4 語義Web和推理系統(tǒng)
1.2.5 語義Web和概念圖
1.3 語義Web發(fā)展簡史
1.4 在語義Web中共享數(shù)據(jù)
1.4.1 指派URI
1.4.2 調(diào)整已有數(shù)據(jù)
1.4.3 發(fā)布數(shù)據(jù)
1.5 小結(jié)
習(xí)題
第2章 語義web基礎(chǔ)
2.1 命名空間和XML
2.1.1 命名空間
2.1.2 XML
2.2 知識表示
2.2.1 命題演算
2.2.2 一階謂詞演算
2.2.3 語義網(wǎng)絡(luò)與框架
2.3 數(shù)據(jù)庫技術(shù)
2.3.1 E-R數(shù)據(jù)模型
2.3.2 面向?qū)ο髷?shù)據(jù)模型
2.3.3 基于邏輯的數(shù)據(jù)模型
2.4 RDF
2.4.1 背景和動機(jī)
2.4.2 目標(biāo)
2.4.3 概念
2.4.4 語法
2.4.5 語義
2.5 小結(jié)
習(xí)題
第3章 語義Web語言
3.1 RDFS
3.1.1 動機(jī)
3.1.2 詞匯表
3.1.3 解釋
3.1.4 舉例
3.1.5 推導(dǎo)規(guī)則
3.1.6 RDF應(yīng)用
3.2 OWL
3.2.1 動機(jī)
3.2.2 要求
3.2.3 演化歷史
3.2.4 分類
3.2.5 語言
3.2.6 OWL方言
3.3 SWRL
3.3.1 引言
3.3.2 抽象語法
3.4 SPARQL
3.4.1 簡單查詢
3.4.2 RDF術(shù)語約束
3.4.3 圖模式
3.4.4 可選值
3.4.5 多重匹配
3.4.6 RDF數(shù)據(jù)集
3.4.7 查詢結(jié)果修飾符
3.4.8 查詢表單
3.5 OWL2
3.5.1 子語言
3.5.2 OWL2和0WL的區(qū)別
3.6 小結(jié)
習(xí)題
第4章 描述邏輯語言
4.1 描述邏輯
4.1.1 基本概念
4.1.2 主要特點(diǎn)
4.1.3 描述邏輯系統(tǒng)
4.2 描述邏輯系統(tǒng)的發(fā)展歷史
4.2.1 前描述邏輯系統(tǒng)
4.2.2 描述邏輯系統(tǒng)
4.2.3 現(xiàn)代描述邏輯系統(tǒng)
4.2.4 存在問題
4.3 基本描述邏輯語言
4.3.1 AC語言的語法
4.3.2 AC語言的語義
4.3.3 AC語言系列
4.3.4 描述邏輯和一階謂詞邏輯
4.3.5 術(shù)語體系TBox
4.3.6 世界描述ABox
4.4 擴(kuò)展描述邏輯語言
4.5 推理任務(wù)分類
4.5.1 TBox推理
4.5.2 ABox推理
4.6 小結(jié)
習(xí)題
第5章 描述邏輯推理
5.1 結(jié)構(gòu)包含算法
5.2 ACC語言的Tableau算法
5.2.1 ACC表定義
5.2.2 構(gòu)造ACC表
5.2.3 ACC語言的Tableau算法性質(zhì)
5.3 SL語言的Tableau算法
5.3.1 SL定義
5.3.2 SL語言的Tableau算法性質(zhì)
5.4.SHI語言的Tableau算法
5.5 SHIF言的Tableau算法
5.6 ABox推理
5.7 小結(jié)
習(xí)題
第6章 語義web查詢與推理
6.1 RDF查詢與推理
6.1.1 Sesame
6.1.2 3Store
6.1.3 RDF Store
6.1.4 Kowari
6.1.5 Jena2
6.1.6 SOR
6.1.7 P2P存儲
6.2 OWL推理
6.2.1 推理機(jī)框架
6.2.2 常用推理系統(tǒng)
6.2.3 測試基準(zhǔn)
6.2.4 不一致推理
6.3 規(guī)則推理
6.3.1 Prolog
6.3.2 前向鏈和反向鏈
6.4 本體和規(guī)則的集成
6.5 小結(jié)
習(xí)題
下篇 語義Web應(yīng)用
第7章 本體工程
7.1 本體
7.1.1 本體定義
7.1.2 本體構(gòu)成
7.2 本體構(gòu)建
7.2.1 構(gòu)建準(zhǔn)則
7.2.2 構(gòu)建方法
7.2.3 評價(jià)標(biāo)準(zhǔn)
7.3 本體管理
7.4 本體開發(fā)平臺
7.4.1 Proteg
7.4.2 NeOn
7.4.3 SWOOP
7.5 模型驅(qū)動的本體工程
7.5.1 傳統(tǒng)的本體管理系統(tǒng)
7.5.2 模型驅(qū)動的本體管理體系結(jié)構(gòu)
7.5.3 本體定義元模型
7.5.4 基于EMF的本體工程系統(tǒng)
7.6 本體匹配
7.6.1 本體匹配方法
7.6.2 可用于本體匹配的相關(guān)工作
7.6.3 分析總結(jié)
7.7 本體學(xué)習(xí)
7.7.1 基于文本的本體學(xué)習(xí)
7.7.2 基于其他資源的本體學(xué)習(xí)
7.7.3 相關(guān)研究
7.7.4 分析總結(jié)
7.8 小結(jié)
習(xí)題
第8章 語義web應(yīng)用
8.1 語義Web應(yīng)用的一般框架與典型應(yīng)用
8.1.1 語義Web應(yīng)用的一般框架
8.1.2 語義Wiki
8.1.3 Linking Open Data
8.1.4 語義信息管理
8.1.5 語義信息檢索
8.2 基于語義的面向服務(wù)的體系結(jié)構(gòu)
8.2.1 面向服務(wù)的體系結(jié)構(gòu)
8.2.2 SOA相關(guān)技術(shù)
8.2.3 SOA中的語義互操作
8.3 基于語義的社會網(wǎng)絡(luò)分析
8.3.1 社會網(wǎng)絡(luò)分析
8.3.2 知識管理中的社會網(wǎng)絡(luò)分析
8.3.3 語義Web和社會網(wǎng)絡(luò)分析
8.4 其他語義Web應(yīng)用
8.4.1 Dynamic View
8.4.2 語言網(wǎng)格
8.4.3 Freebase
8.4.4 Word Net
8.4.5 GO
8.4.6 Open Cyc
8.4.7 RDFa
8.5 小結(jié)
習(xí)題
第9章 語義web實(shí)驗(yàn)
9.1 實(shí)驗(yàn)描述
9.2 主要人物關(guān)系
9.3 本體重用
9.4.構(gòu)造主要人物關(guān)系知識庫
9.4.1 設(shè)計(jì)原則
9.4.2 設(shè)計(jì)方法
9.5 實(shí)驗(yàn)分析
9.5.1 知識庫查詢
9.5.2 注意事項(xiàng)
9.6 小結(jié)
習(xí)題
第10章 語義web未來展望
10.1 Web2.0
10.2 語義Web中存在的問題
10.3 展望未來
10.3.1 數(shù)據(jù)空間
10.3.2 Web3.0
10.4 小結(jié)
習(xí)題
附錄A OWL構(gòu)子及其作用描述
附錄B 使用Pellet推理機(jī)進(jìn)行帶推理查詢的源代碼
參考資源