本體理論與工程應(yīng)用 版權(quán)信息
- ISBN:9787118119602
- 條形碼:9787118119602 ; 978-7-118-11960-2
- 裝幀:平裝-膠訂
- 冊(cè)數(shù):暫無
- 重量:暫無
- 所屬分類:>
本體理論與工程應(yīng)用 本書特色
《本體理論與工程應(yīng)用》重點(diǎn)闡述本體的工程應(yīng)用,以確定性本體為主、概率本體為輔,并根據(jù)需要引入相應(yīng)的本體理論。
《本體理論與工程應(yīng)用》分為本體理論、確定性本體及工程應(yīng)用、概率本體及工程應(yīng)用和附錄等四部分,貫穿Web本體語(yǔ)言(OWL2)、語(yǔ)義網(wǎng)規(guī)則語(yǔ)言(SWRL)、確定性本體建模工具protege5.2.0、概率本體建模工具UnBBayes-MEBN4.22.18的使用。
《本體理論與工程應(yīng)用》可作為信息系統(tǒng)互操作、系統(tǒng)仿真、知識(shí)工程等相關(guān)專業(yè)本科生和碩士研究生的教材或教學(xué)參考書,也可供有關(guān)工程技術(shù)人員自學(xué)和參考。
本體理論與工程應(yīng)用 內(nèi)容簡(jiǎn)介
本書重點(diǎn)闡述本體的工程應(yīng)用,以確定性本體為主、概率本體為輔,并根據(jù)需要引入相應(yīng)的本體理論。全書分為本體理論、確定性本體及工程應(yīng)用、概率本體及工程應(yīng)用和附錄等四個(gè)部分,貫穿Web本體語(yǔ)言(OWL 2)、語(yǔ)義網(wǎng)規(guī)則語(yǔ)言(SWRL)、確定性本體建模工具protégé 5.2.0、概率本體建模工具UnBBayes-MEBN 4.22.18的使用。
本體理論與工程應(yīng)用 目錄
第1章 本體基礎(chǔ) 1.1 語(yǔ)義網(wǎng)概述 1.1.1 語(yǔ)義網(wǎng)的概念 1.1.2 語(yǔ)義網(wǎng)整體框架 1I 2本體的概念及類型 1.2.1 本體的概念 1.2.2 本體的類型 1.3 本體描述語(yǔ)言 1.3.1 RDF/RDFS 1.3.2 DAML+OIL 1.3.3 OWL 1.3.4 OWL 2 1.3.5 KIF 1.4 語(yǔ)義網(wǎng)規(guī)則語(yǔ)言 1.4.1 SWRL的架構(gòu) 1.4.2 SWRL的原子 1.4.3 SWRL與OWL的關(guān)系 1-5本體查詢語(yǔ)言 1.5.1 SPARQL 1.5.2 SQWRL 1.5.3 DL查詢 1.6 本章小結(jié)第2章 本體建模 2.1 本體建模的一般原則 2.2 本體建模的一般過程 2.3 本體建模的主要方法 2.3.1 七步法 2.3.2 MCSC20法 2.3.3 骨架法 2.3.4 九步法 2.3.5 企業(yè)建模法 2.3.6 METHONTOLOGOY法 2.3.7 KACTUS法 2.4 本體模型構(gòu)建方法的改進(jìn) 2.4.1 已有本體模型構(gòu)建方法的分析 2.4.2 改進(jìn)的“七步法” 2.5 本體建模主流工具 2.5.1 Protege概述 2.5.2 Protege的啟動(dòng)配置 2.5.3 Protege的界面配置 2.5.4 Protege本體的可視化插件 2.5.5 Protege本體的SWRL規(guī)則插件 2.5.6 Protege本體的查詢器插件 2.6 本章小結(jié)第3章 本體推理 3.1 本體推理應(yīng)用背景 3.2 描述邏輯 3.2.1 描述邏輯的理論發(fā)展 3.2.2 描述邏輯的基本體系 3.2.3 TBox 3.2.4 ABox 3.3 語(yǔ)義假設(shè) 3.3.1 開放世界假設(shè) 3.3.2 封閉世界假設(shè) 3.4 本體推理的基本原理 3.5 本體推理典型任務(wù) 3.5.1 本體推理的背景 3.5.2 完全信息的推理 3.5.3 不完全信息的推理 3.6 本章小結(jié)第4章 本體工程化 4.1 OWL本體中完整性約束 4.2 實(shí)體批量錄入 4.2.1 本體維護(hù)方式的分析 4.2.2 批量創(chuàng)建類層次結(jié)構(gòu) 4.2.3 批量創(chuàng)建對(duì)象屬性層次結(jié)構(gòu) 4.2.4 批量創(chuàng)建數(shù)據(jù)屬性層次結(jié)構(gòu) 4.2.5 電子表格到本體的映射 4.3 本體重構(gòu) 4.3.1 實(shí)體重命名 4.3.2 公理的拆分與合并 4.3.3 公理的復(fù)制、移動(dòng)與刪除 4.3.4 本體的合并 4.4 本體導(dǎo)入 4.4.1 任務(wù)分解與團(tuán)隊(duì)協(xié)作 4.4.2 0WL 2提供的本體導(dǎo)入機(jī)制 4.4.3 采用Protege Desktop導(dǎo)入本體 4.5 加速本體推理 4.5.1 影響本體推理速度的主要因素分析 4.5.2 Protege加速本體推理的若干措施 4.6 本體二次開發(fā) 4.6.1 OWLAPI 4.6.2 SWRLRuleEngineAPI 4.6.3 SQWRLQueryAPI 4.7 本章小結(jié)第5章 裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形本體 5.1 裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形概述 5.1.1 裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形 5.1.2 裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形變換實(shí)施 5.2 基于OWL的裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形本體模型 5.2.1 創(chuàng)建OWL類層次結(jié)構(gòu) 5.2.2 創(chuàng)建屬性 5.2.3 定義戰(zhàn)斗隊(duì)形 5.2.4 創(chuàng)建個(gè)體 5.2.5 描述個(gè)體的約束 5.3 基于SWRL的裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形變換實(shí)施 5.3.1 一路戰(zhàn)斗隊(duì)形到一字戰(zhàn)斗隊(duì)形變換規(guī)則 5.3.2 一字戰(zhàn)斗隊(duì)形到后三角隊(duì)形變換規(guī)則 5.4 裝甲分隊(duì)?wèi)?zhàn)斗隊(duì)形本體的推理 5.4.1 包含性檢驗(yàn) 5.4.2 一致性檢驗(yàn) 5.5 本章小結(jié)第6章 裝甲分隊(duì)作戰(zhàn)規(guī)則本體 6.1 裝甲分隊(duì)作戰(zhàn)規(guī)則概述 6.2 裝甲分隊(duì)作戰(zhàn)規(guī)則的描述 6.2.1 作戰(zhàn)規(guī)則的基本結(jié)構(gòu) 6.2.2 作戰(zhàn)規(guī)則的主要要素 6.2.3 作戰(zhàn)規(guī)則主要要素的分解 6.3 裝甲分隊(duì)作戰(zhàn)規(guī)則的獲取及典型實(shí)例 6.3.1 作戰(zhàn)規(guī)則獲取的一般原則 6.3.2 作戰(zhàn)規(guī)則獲取的主要方法 6.3.3 裝甲分隊(duì)作戰(zhàn)規(guī)則典型實(shí)例 6.4 裝甲分隊(duì)作戰(zhàn)規(guī)則本體模型的建立 6.4.1 創(chuàng)建OWL類層次結(jié)構(gòu) 6.4.2 創(chuàng)建屬性 6.4.3 創(chuàng)建個(gè)體 6.4.4 明確個(gè)體與屬性的關(guān)系 6.4.5 基于SWRL的裝甲分隊(duì)作戰(zhàn)規(guī)則 6.5 裝甲分隊(duì)作戰(zhàn)規(guī)則本體的推理 6.6 本章小結(jié)第7章 信息系統(tǒng)語(yǔ)義互操作本體 7.1 互操作的涵義 7.1.1 基本涵義 7.1.2 信息系統(tǒng)互操作的層次模型 7.1.3 仿真系統(tǒng)互操作 7.1.4 指揮控制系統(tǒng)互操作 7.1.5 指揮控制系統(tǒng)與作戰(zhàn)仿真系統(tǒng)的互操作 7.2 指揮控制系統(tǒng)與作戰(zhàn)仿真系統(tǒng)的異構(gòu)性 7.2.1 術(shù)語(yǔ)體系 7.2.2 系統(tǒng)架構(gòu) 7.2.3 信息交互模型 7.2.4 通信協(xié)議 7.2.5 數(shù)據(jù)庫(kù) 7.2.6 小結(jié) 7.3 指揮控制系統(tǒng)與作戰(zhàn)仿真系統(tǒng)語(yǔ)義互操作通用 技術(shù)框架設(shè)計(jì) 7.3.1 語(yǔ)義互操作的要求 7.3.2 面向服務(wù)的架構(gòu)(SOA)的語(yǔ)義互操作 7.3.3 指揮控制系統(tǒng)與作戰(zhàn)仿真系統(tǒng)語(yǔ)義互操作的 通用技術(shù)框架 7.4 作戰(zhàn)任務(wù)領(lǐng)域本體模型 7.4.1 作戰(zhàn)命令概述 7.4.2 采用映射方法創(chuàng)建作戰(zhàn)任務(wù)領(lǐng)域本體模型 7.4.3 基于OWL的作戰(zhàn)任務(wù)領(lǐng)域本體模型 7.5 裝甲分隊(duì)機(jī)動(dòng)領(lǐng)域本體模型的建立 7.5.1 類層次結(jié)構(gòu) 7.5.2 戰(zhàn)斗隊(duì)形本體 7.6 裝甲分隊(duì)機(jī)動(dòng)領(lǐng)域本體的推理 7.6.1 任務(wù)次序的推理 7.6.2 編配裝備的推理 7.6.3 戰(zhàn)斗隊(duì)形的推理 7.6.4 執(zhí)行單位的推理 7.6.5 友鄰關(guān)系的推理 7.7 本章小結(jié)第8章 概率本體理論與工程應(yīng)用 8.1 貝葉斯網(wǎng)絡(luò) 8.2 多實(shí)體貝葉斯網(wǎng)絡(luò) 8.3 概率本體 8.4 概率本體建模周期 8.4.1 模型需求的描述 8.4.2 模型的分析和設(shè)計(jì) 8.4.3 模型的實(shí)現(xiàn) 8.4.4 模型的測(cè)試 8.5 車輛識(shí)別多實(shí)體貝葉斯網(wǎng)絡(luò)模型 8.5.1 建立模型結(jié)構(gòu) 8.5.2 建立證據(jù)列表 8.5.3 建立車輛識(shí)別模型 8.5.4 進(jìn)行模型測(cè)試 8.6 本章小結(jié)附錄1 SWRL常見問題解答附錄2 SQWRL語(yǔ)法及查詢示例附錄3 典型本體示例(Manchester OWL語(yǔ)法格式)參考文獻(xiàn)
展開全部
本體理論與工程應(yīng)用 作者簡(jiǎn)介
徐享忠,主持并參與國(guó)家自然科學(xué)基金、軍內(nèi)科研等10余項(xiàng)科研項(xiàng)目,獲軍隊(duì)科技進(jìn)步二等獎(jiǎng)1項(xiàng)、三等獎(jiǎng)2項(xiàng)。參加多項(xiàng)衛(wèi)星海上測(cè)控任務(wù)。編著10多部教材,發(fā)表論文10余篇。立三等功2次。