第一章 導(dǎo)論
1．1 語(yǔ)義萬(wàn)維網(wǎng)與語(yǔ)義技術(shù)
1．2 本體與本體工程
1．3 基于本體的知識(shí)管理
1．4 本章小結(jié)
參考文獻(xiàn)

第二章 本體語(yǔ)言與邏輯基礎(chǔ)
2．1 本體語(yǔ)言
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的模型論語(yǔ)義
2．3．1 SROIQ的外延語(yǔ)義
2．3．2 通過(guò)一階謂詞邏輯定義SROIQ語(yǔ)義
2．4 0WL的推理問(wèn)題
2．4．1 推理問(wèn)題
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 基于一階查詢重寫(xiě)的方法
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 本體演化的定義及主要過(guò)程
4．1．1 變化表示
4．1．2 變化語(yǔ)義
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 基于語(yǔ)法相關(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作為查詢語(yǔ)言
7．2．5 直接描述版本號(hào)
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語(yǔ)言
7．4．3 ASK語(yǔ)言
7．4．4 回答語(yǔ)言
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 語(yǔ)義驅(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)

第九章 基于本體的知識(shí)管理應(yīng)用
9．1 本體與語(yǔ)義技術(shù)的應(yīng)用
9．1．1 語(yǔ)義技術(shù)在生命科學(xué)與醫(yī)學(xué)上的應(yīng)用
9．1．2 語(yǔ)義技術(shù)在智能交通上的應(yīng)用
9．2 一個(gè)本體管理的典型應(yīng)用
9．3 本章小結(jié)
參考文獻(xiàn)

附錄 常用術(shù)語(yǔ)縮略詞