《面向語義Web的知識管理技術(shù)》比較詳細(xì)地介紹了描寫語義Web的知識管理技術(shù)。全書共分為九章。在對語義Web、語義技術(shù)以及基于本體（Ontology）的知識管理進(jìn)行簡要概述的基礎(chǔ)上，介紹了本體生命周期的相關(guān)技術(shù)。首先介紹了Web本體語言O(shè)WL的邏輯基礎(chǔ)；其次，對本體構(gòu)建過程中出現(xiàn)的本體演化、本體診斷、本體融合、本體不一致性推理、本體版本化和本體模塊化分別進(jìn)行介紹；最后，對本體管理的應(yīng)用做了一個(gè)簡單介紹�！睹嫦蛘Z義Web的知識管理技術(shù)》除了介紹一些基本概念和技術(shù)以外，還重點(diǎn)概述了基于本體的知識管理的新研究成果和相關(guān)的工具，并且結(jié)合實(shí)例，由淺入深地對各項(xiàng)技術(shù)進(jìn)行討論，有助于對基于本體的知識管理技術(shù)進(jìn)行系統(tǒng)的學(xué)習(xí)和掌握。 《面向語義Web的知識管理技術(shù)》可作為高等學(xué)校計(jì)算機(jī)科學(xué)專業(yè)、信息科學(xué)專業(yè)、自動(dòng)化專業(yè)高年級本科生和研究生的教材或者教學(xué)參考書，也可供高等學(xué)校、研究所和互聯(lián)網(wǎng)企業(yè)從事知識管理技術(shù)的科研人員學(xué)習(xí)參考。
漆桂林，東南大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院教授，獲英國貝爾法斯特女皇大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。曾于德國Karlsruhe大學(xué)AIFB研究所從事博士后研究，指導(dǎo)教授是語義Web創(chuàng)始人之一Rudi Studer教授。長期從事人工智能中知識表示和推理、語義Web和本體管理技術(shù)的教學(xué)和科研工作，主持兩項(xiàng)國家自然科學(xué)基金項(xiàng)目和多項(xiàng)省部級項(xiàng)目，主持歐盟第七研究框架計(jì)劃SerriData中高效推理工作組的研究。發(fā)表學(xué)術(shù)論文百余篇。曾擔(dān)任多個(gè)國際重要學(xué)術(shù)會議的程序委員會委員及負(fù)責(zé)多個(gè)國際學(xué)術(shù)會議的組織工作。
黃智生，荷蘭阿姆斯特丹自由大學(xué)計(jì)算機(jī)系高級研究員，北京工業(yè)大學(xué)等多個(gè)大學(xué)兼職教授。主持歐盟第七研究框架重大研究計(jì)劃LarKC項(xiàng)目中推理工作組的研究。發(fā)表學(xué)術(shù)論文近兩百篇。曾擔(dān)任80余個(gè)國際學(xué)術(shù)會議的組織委員會或程序委員會委員或聯(lián)合主席。
杜劍峰，廣東外語外貿(mào)大學(xué)電子商務(wù)系系主任、副教授，獲中國科學(xué)院軟件研究所計(jì)算機(jī)科學(xué)與技術(shù)博士學(xué)位。曾經(jīng)主持兩項(xiàng)本體推理領(lǐng)域的國家自然科學(xué)基金課題，發(fā)表多篇學(xué)術(shù)論文，曾擔(dān)任多個(gè)國際學(xué)術(shù)會議程序委員會成員。
第一章 導(dǎo)論
1．1 語義萬維網(wǎng)與語義技術(shù)
1．2 本體與本體工程
1．3 基于本體的知識管理
1．4 本章小結(jié)
參考文獻(xiàn)
第二章 本體語言與邏輯基礎(chǔ)
2．1 本體語言
2．2 描述邏輯
2．2．1 描述邏輯ALC
2．2．2 描述邏輯SHOIN（D）
2．2．3 描述邏輯的命名規(guī)范
2．2．4 描述邏輯SROIQ
2．2．5 描述邏輯SHIQ
2．3 0wL的模型論語義
2．3．1 SROIQ的外延語義
2．3．2 通過一階謂詞邏輯定義SROIQ語義
2．4 0WL的推理問題
2．4．1 推理問題
2．4．2 計(jì)算復(fù)雜性
2．5 0WL的推理方法
2．5．1 基于表運(yùn)算的方法
2．5．2 基于一階邏輯轉(zhuǎn)換的方法
2．5．3 基于結(jié)論推斷的方法
2．5．4 基于一階查詢重寫的方法
2．5．5 基于Datalog轉(zhuǎn)換的方法
2．6 本章小結(jié)
參考文獻(xiàn)
第三章 本體調(diào)試
3．1 基本概念
3．1．1 不一致性和不協(xié)調(diào)性
3．1．2 基于描述邏輯的本體調(diào)試基本概念
3．2 本體調(diào)試算法
3．3 本體調(diào)試的優(yōu)化方法
3．3．1 基于模塊化的優(yōu)化算法
3．3．2 其他優(yōu)化方法
3．4 本體調(diào)試算法相關(guān)研究
3．5 本體調(diào)試系統(tǒng)
3．6 本章小結(jié)
參考文獻(xiàn)
第四章 本體演化
4．1 本體演化的定義及主要過程
4．1．1 變化表示
4．1．2 變化語義
4．1．3 變化傳播
4．1．4 變化實(shí)施
4．1．5 變化生效
4．1．6 變化發(fā)現(xiàn)
4．2 基于描述邏輯的本體修正
4．2．1 本體修正與信念修正
4．2．2 基于描述邏輯的本體修正的定義
4．2．3 描述邏輯中的本體修正方法
4．3 本體演化的系統(tǒng)
4．4 本章小結(jié)
參考文獻(xiàn)
第五章 本體融合
5．1 本體映射
5．1．1 元素層映射技術(shù)
5．1．2 結(jié)構(gòu)層映射技術(shù)
5．2 本體映射的基本框架
5．3 本體映射的修復(fù)
5．3．1 本體映射的不一致性
5．3．2 本體映射的修復(fù)算子
5．3．3 本體映射的修復(fù)算法
5．4 本體映射及映射修復(fù)系統(tǒng)
5．5 本章小結(jié)
參考文獻(xiàn)
第六章 本體的不一致性推理
6．1 本體的不一致性推理現(xiàn)狀
6．2 基于選擇函數(shù)的不一致容忍推理方法
6．2．1 形式化定義
6．2．2 選擇函數(shù)
6．2．3 基于語法相關(guān)性的選擇函數(shù)
6．3 基于最大一致子集的不一致容忍推理方法
6．4 基于四值邏輯的不一致容忍推理方法
6．5 本體的不一致推理系統(tǒng)
6．6 本章小結(jié)
參考文獻(xiàn)
第七章 本體版本化
7．1 概述
7．2 基于時(shí)態(tài)邏輯的多版本本體邏輯系統(tǒng)
7．2．1 時(shí)態(tài)邏輯
7．2．2 版本空間
7．2．3 時(shí)態(tài)邏輯系統(tǒng)LTLm
7．2．4 LTLm作為查詢語言
7．2．5 直接描述版本號
7．3 基于混合邏輯的多版本本體邏輯系統(tǒng)
7．3．1 混合邏輯
7．3．2 上版查詢
7．3．3 變化分析
7．4 多版本本體管理系統(tǒng)MORE
7．4．1 MORE系統(tǒng)功能
7．4．2 TELL語言
7．4．3 ASK語言
7．4．4 回答語言
7．4．5 組合概念查詢
7．4．6 混合邏輯查詢
7．5 本章小結(jié)
參考文獻(xiàn)
第八章 本體模塊化
8．1 模塊化的目標(biāo)
8．1．1 提高數(shù)據(jù)查詢和本體推理的可擴(kuò)展性
8．1．2 提高演變和維護(hù)的可擴(kuò)展性
8．1．3 降低設(shè)計(jì)的難度
8．1．4 提高可理解性
8．1．5 實(shí)現(xiàn)上下文相關(guān)和個(gè)性化
8．1．6 提高可重用性
8．2 模塊化的策略
8．2．1 分離或重疊的模塊
8．2．2 語義驅(qū)動(dòng)的策略
8．2．3 結(jié)構(gòu)驅(qū)動(dòng)的策略
8．2．4 基于機(jī)器學(xué)習(xí)的策略
8．2．5 模塊化的監(jiān)察和調(diào)整
8．3 基于邏輯的模塊定義和抽取方法
8．3．1 基于簽名的模塊
8．3．2 基于局部性的模塊
8．3．3 維持辯解的模塊
8．3．4 基于不可區(qū)分性的模塊
8．4 本章小結(jié)
參考文獻(xiàn)
第九章 基于本體的知識管理應(yīng)用
9．1 本體與語義技術(shù)的應(yīng)用
9．1．1 語義技術(shù)在生命科學(xué)與醫(yī)學(xué)上的應(yīng)用
9．1．2 語義技術(shù)在智能交通上的應(yīng)用
9．2 一個(gè)本體管理的典型應(yīng)用
9．3 本章小結(jié)
參考文獻(xiàn)
附錄 常用術(shù)語縮略詞
書單推薦
