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

定　價(jià)：￥39.00

作　者：	高志強(qiáng) 等編著
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	重點(diǎn)大學(xué)計(jì)算機(jī)教材
標(biāo)　簽：	程序設(shè)計(jì)

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787111279570	出版時(shí)間：	2009-09-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	225	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《語(yǔ)義Web原理及應(yīng)用》從語(yǔ)義Web應(yīng)用出發(fā)，強(qiáng)調(diào)語(yǔ)義Web原理和最新進(jìn)展。全書(shū)分為“語(yǔ)義Web原理”和“語(yǔ)義Web應(yīng)用”上、下兩篇。上篇分為六章：語(yǔ)義Web概念、語(yǔ)義Web基礎(chǔ)、語(yǔ)義Web語(yǔ)言、描述邏輯語(yǔ)言、描述邏輯推理、語(yǔ)義Web查詢與推理。介紹語(yǔ)義Web的基本概念，包括什么是語(yǔ)義Web、什么不是語(yǔ)義Web以及語(yǔ)義Web的發(fā)展歷史；語(yǔ)義Web的基礎(chǔ)知識(shí)，包括和語(yǔ)義Web相關(guān)的Web技術(shù)、知識(shí)表示方法、數(shù)據(jù)庫(kù)技術(shù)以及RDF：語(yǔ)義Web語(yǔ)言，包括RDFS、OWL、SWRL、SPARQL、OWL 2；描述邏輯語(yǔ)言的語(yǔ)法、語(yǔ)義、推理任務(wù)；描述邏輯推理，包括結(jié)構(gòu)包含算法和Tableau算法；語(yǔ)義Web查詢與推理，包括推理系統(tǒng)的表達(dá)能力、響應(yīng)時(shí)間和可擴(kuò)展性。下篇分為四章：本體工程、語(yǔ)義Web應(yīng)用、語(yǔ)義Web實(shí)驗(yàn)和語(yǔ)義Web展望。介紹本體定義、構(gòu)造準(zhǔn)則、本體管理、開(kāi)發(fā)平臺(tái)、模型驅(qū)動(dòng)的本體工程、本體匹配方法、本體學(xué)習(xí)方法。語(yǔ)義Web應(yīng)用，包括一般框架和典型應(yīng)用、基于語(yǔ)義的面向服務(wù)體系結(jié)構(gòu)、基于語(yǔ)義的社會(huì)網(wǎng)絡(luò)分析、其他語(yǔ)義Web應(yīng)用。語(yǔ)義Web實(shí)驗(yàn)，開(kāi)發(fā)中國(guó)人的家族關(guān)系本體和《紅樓夢(mèng)》中主要人物知識(shí)庫(kù)，并采用SPARQL進(jìn)行查詢；語(yǔ)義Web未來(lái)展望，包括語(yǔ)義Web中存在的問(wèn)題、Web 2.0、DataSpace和Web 3.0?！墩Z(yǔ)義Web原理及應(yīng)用》可作為計(jì)算機(jī)專(zhuān)業(yè)本科生和研究生的教材，也可供相關(guān)領(lǐng)域的研究人員閱讀和參考。

作者簡(jiǎn)介

　　高志強(qiáng)，東南大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院副教授、博士生導(dǎo)師。1995年獲得清華大學(xué)工學(xué)博士學(xué)位，2000～2002年作為博士后訪問(wèn)日本京都大學(xué)。主持兩項(xiàng)關(guān)于本體學(xué)習(xí)的國(guó)家自然科學(xué)基金項(xiàng)目。研究領(lǐng)域包括虛擬現(xiàn)實(shí)和人工智能，研究興趣包括語(yǔ)義web中的本體學(xué)習(xí)以及大規(guī)模中文語(yǔ)義知識(shí)庫(kù)的構(gòu)建方法。潘越，IBM中國(guó)研究院資深研窮員、信息與知識(shí)研究部資深經(jīng)理，上海交通大學(xué)兼職研究員、博士生導(dǎo)師，ACM、IEEE和ccF會(huì)員以及YOCSEF委員。研究興趣包括知識(shí)表示與推理、語(yǔ)義Web、信息集成、檢索和問(wèn)答系統(tǒng)、醫(yī)學(xué)信息學(xué)。獲得兩次IBM研究部門(mén)成果獎(jiǎng)，一次杰出技術(shù)成就獎(jiǎng)，并有一項(xiàng)專(zhuān)利獲得IBM追加發(fā)明專(zhuān)利獎(jiǎng)。他是2007～2008年被選入IBMTHINK的唯一一位來(lái)自中國(guó)乃至亞洲的研究人員。1996年獲得中國(guó)科學(xué)院自動(dòng)化所博士學(xué)位，1998年加入IBM中國(guó)研究院。馬力，IBM中國(guó)研究院研究員。2003年于中國(guó)科學(xué)院自動(dòng)化研究所獲得工學(xué)博士學(xué)位，同年加入IBM從事語(yǔ)義Web和企業(yè)信息管理的研發(fā)工作。研究領(lǐng)域包括語(yǔ)義Web、數(shù)據(jù)管理、圖像處理和模式識(shí)別，目前研究工作集中在大規(guī)模本體的查詢和推理、語(yǔ)義數(shù)據(jù)管理和生物特征識(shí)別等方向。

圖書(shū)目錄

序
前言
上篇語(yǔ)義Web原理
第1章語(yǔ)義Web概念
1.1 什么是語(yǔ)義Web
1.1.1 語(yǔ)義Web的定義
1.1.2 語(yǔ)義Web的目標(biāo)
1.1.3 語(yǔ)義Web的層次模型
1.2 什么不是語(yǔ)義Web
1.2.1 語(yǔ)義Web和知識(shí)表示
1.2.2 語(yǔ)義Web和E.R模型
1.2.3 語(yǔ)義Web和關(guān)系數(shù)據(jù)庫(kù)
1.2.4 語(yǔ)義Web和推理系統(tǒng)
1.2.5 語(yǔ)義Web和概念圖
1.3 語(yǔ)義Web發(fā)展簡(jiǎn)史
1.4 在語(yǔ)義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章語(yǔ)義web基礎(chǔ)
2.1 命名空間和XML
2.1.1 命名空間
2.1.2 XML
2.2 知識(shí)表示
2.2.1 命題演算
2.2.2 一階謂詞演算
2.2.3 語(yǔ)義網(wǎng)絡(luò)與框架
2.3 數(shù)據(jù)庫(kù)技術(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 背景和動(dòng)機(jī)
2.4.2 目標(biāo)
2.4.3 概念
2.4.4 語(yǔ)法
2.4.5 語(yǔ)義
2.5 小結(jié)
習(xí)題
第3章語(yǔ)義Web語(yǔ)言
3.1 RDFS
3.1.1 動(dòng)機(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 動(dòng)機(jī)
3.2.2 要求
3.2.3 演化歷史
3.2.4 分類(lèi)
3.2.5 語(yǔ)言
3.2.6 OWL方言
3.3 SWRL
3.3.1 引言
3.3.2 抽象語(yǔ)法
3.4 SPARQL
3.4.1 簡(jiǎn)單查詢
3.4.2 RDF術(shù)語(yǔ)約束
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 子語(yǔ)言
3.5.2 OWL2和0WL的區(qū)別
3.6 小結(jié)
習(xí)題
第4章描述邏輯語(yǔ)言
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 存在問(wèn)題
4.3 基本描述邏輯語(yǔ)言
4.3.1 AC語(yǔ)言的語(yǔ)法
4.3.2 AC語(yǔ)言的語(yǔ)義
4.3.3 AC語(yǔ)言系列
4.3.4 描述邏輯和一階謂詞邏輯
4.3.5 術(shù)語(yǔ)體系TBox
4.3.6 世界描述ABox
4.4 擴(kuò)展描述邏輯語(yǔ)言
4.5 推理任務(wù)分類(lèi)
4.5.1 TBox推理
4.5.2 ABox推理
4.6 小結(jié)
習(xí)題
第5章描述邏輯推理
5.1 結(jié)構(gòu)包含算法
5.2 ACC語(yǔ)言的Tableau算法
5.2.1 ACC表定義
5.2.2 構(gòu)造ACC表
5.2.3 ACC語(yǔ)言的Tableau算法性質(zhì)
5.3 SL語(yǔ)言的Tableau算法
5.3.1 SL定義
5.3.2 SL語(yǔ)言的Tableau算法性質(zhì)
5.4.SHI語(yǔ)言的Tableau算法
5.5 SHIF言的Tableau算法
5.6 ABox推理
5.7 小結(jié)
習(xí)題
第6章語(yǔ)義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存儲(chǔ)
6.2 OWL推理
6.2.1 推理機(jī)框架
6.2.2 常用推理系統(tǒng)
6.2.3 測(cè)試基準(zhǔn)
6.2.4 不一致推理
6.3 規(guī)則推理
6.3.1 Prolog
6.3.2 前向鏈和反向鏈
6.4 本體和規(guī)則的集成
6.5 小結(jié)
習(xí)題
下篇語(yǔ)義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 評(píng)價(jià)標(biāo)準(zhǔn)
7.3 本體管理
7.4 本體開(kāi)發(fā)平臺(tái)
7.4.1 Proteg
7.4.2 NeOn
7.4.3 SWOOP
7.5 模型驅(qū)動(dòng)的本體工程
7.5.1 傳統(tǒng)的本體管理系統(tǒng)
7.5.2 模型驅(qū)動(dòng)的本體管理體系結(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章語(yǔ)義web應(yīng)用
8.1 語(yǔ)義Web應(yīng)用的一般框架與典型應(yīng)用
8.1.1 語(yǔ)義Web應(yīng)用的一般框架
8.1.2 語(yǔ)義Wiki
8.1.3 Linking Open Data
8.1.4 語(yǔ)義信息管理
8.1.5 語(yǔ)義信息檢索
8.2 基于語(yǔ)義的面向服務(wù)的體系結(jié)構(gòu)
8.2.1 面向服務(wù)的體系結(jié)構(gòu)
8.2.2 SOA相關(guān)技術(shù)
8.2.3 SOA中的語(yǔ)義互操作
8.3 基于語(yǔ)義的社會(huì)網(wǎng)絡(luò)分析
8.3.1 社會(huì)網(wǎng)絡(luò)分析
8.3.2 知識(shí)管理中的社會(huì)網(wǎng)絡(luò)分析
8.3.3 語(yǔ)義Web和社會(huì)網(wǎng)絡(luò)分析
8.4 其他語(yǔ)義Web應(yīng)用
8.4.1 Dynamic View
8.4.2 語(yǔ)言網(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章語(yǔ)義web實(shí)驗(yàn)
9.1 實(shí)驗(yàn)描述
9.2 主要人物關(guān)系
9.3 本體重用
9.4.構(gòu)造主要人物關(guān)系知識(shí)庫(kù)
9.4.1 設(shè)計(jì)原則
9.4.2 設(shè)計(jì)方法
9.5 實(shí)驗(yàn)分析
9.5.1 知識(shí)庫(kù)查詢
9.5.2 注意事項(xiàng)
9.6 小結(jié)
習(xí)題
第10章語(yǔ)義web未來(lái)展望
10.1 Web2.0
10.2 語(yǔ)義Web中存在的問(wèn)題
10.3 展望未來(lái)
10.3.1 數(shù)據(jù)空間
10.3.2 Web3.0
10.4 小結(jié)
習(xí)題
附錄A OWL構(gòu)子及其作用描述
附錄B 使用Pellet推理機(jī)進(jìn)行帶推理查詢的源代碼
參考資源