本體方法及其套用

《本體方法及其套用》是2011年科學出版社出版的圖書，作者是甘健侯。該書主要介紹了作者及其項目團隊對本體理論及其技術的研究成果。

基本介紹

• 書名：本體方法及其套用
• 作者：甘健侯
• ISBN：9787030311535
• 定價：39.00元
• 出版社：科學出版社
• 出版時間：2011年6月1日
• 開本：16開

內容介紹

《本體方法及其套用》系統地介紹包括本體基礎、語義web與本體描述語言、本體構建、本體映射、基於本體的概念語義相似度和相關度計算、基本描述邏輯alc、擴展描述邏輯alc+形式系統、web本體語言owl與擴展描述邏輯alc+的關係、描述邏輯的套用、基於本體的語義檢索原型系統設計與實現、基於本體的科學家資源服務平台研究等內容。通過《本體方法及其套用》，讀者能夠對本體理論及其技術有更系統的理解和掌握。

《本體方法及其套用》可作為高等學校計算機及相關專業碩士研究生或高年級本科生的教材或教學參考書，也可作為該領域相關研究人員或技術開發人員的學習參考用書。

作者簡介

甘健侯，男，碩士，在讀博士生，副教授，雲南省中青年學術與技術帶頭人後備人才，雲南師範大學青年骨幹教師。2010年入選中共中央組織部“西部之光”人才培養項目。現任雲南師範大學信息學院黨委副書記，曾任雲南省德宏州隴川縣人民政府副縣長。

從事人工智慧、資料庫技術方面的研究，主持和參與國家級、省部級、廳級基金項目10多項，發表論文30餘篇，出版專著2部、教材2部，3次獲得雲南省科學技術獎。

姜躍，女，副教授，雲南財經大學教師。長期從事計算機專業的教學與科研工作.並擔任雲南財經大學計算機教研室主任。

從事知識工程、資料庫技術方面的研究，主持和參與省部級、廳級基金項目多項，如今來公開發表論文20餘篇，出版教材2部。

夏幼明，男，碩士，教授。擔任雲南師範大學信息學院院長、雲南省計算機學會副理事長、全國高等學校計算機教育研究會常務理事、雲南省高校第六屆學術委員會委員、雲南省高等院校智慧型信息處理重點實驗室主任。

主要從事人工智慧領域的研究，主持和參與國家級、省部級基金項目10多項，公開發表論文50餘篇.作為項目負責人獲雲南省科技進步獎2項、雲南省自然科學獎1項。

圖書目錄

前言

第一篇 本體與本體描述語言

第1章 本體基礎

1.1 本體概述

1.2 本體的組成

1.3 本體建立的原則

1.4 本體建立的一般方法

1.5 本體描述語言

1.6 本體中的常用關係

1.6.1 IS-A關係

1.6.2 Instance-Of關係

1.6.3 Member-Of關係

1.6.4 Before關係和After關係

1.7 常用的本體開發工具

1.7.1 Protege

1.7.2 Apollo

1.7.3 OILEd

1.7.4 0ntoEdit

1.7.5 Onto Saurus

1.7.6 WebODE

1.8 其他工具

1.8.1 Jena簡介

1.8.2 Lucene簡介

1.9 典型本體介紹

1.9.1 CYC

1.9.2 Word Net

1.9.3 SUMO

1.9.4 知網

1.9.5 國家知識基礎設施

1.9.6 CREAM

1.9.7 Onto Webber

1.9.8 其他模型

1.10 本體的研究和套用

第2章 語義web與本體描述語言

2.1 語義web概述

2.2 本體描述語言

2.1.1 語義Web的概念、定義

2.1.2 語義Web的模型

2.1.3 Unicode和URL

2.1.4 本體層

2.1.5 邏輯、證明和信任

2.1.6 數字簽名和加密

2.2 本體描述語言

2.2.1 XML

2.2.2 RDF

2.2.3 RDFS

2.2.4 OWL

2.3 OWL本體語言的描述

2.3 OWL本體語言的描述

2.3.1 命名空間定義

2.3.2 本體頭定義

2.3.3 類定義

2.3.4 個體定義

2.3.5 屬性定義

2.4 OWL類構造器和原子解釋

2.4.1 OWL類構造器

2.4.2 OWL原子解釋

2.5 OWL實例

2.6 語義web的套用

2.6.1 智慧型信息檢索

2.6.2 企業間數據交換及知識管理

2.6.3 Web服務

2.6.4 基於代理的分散式計算

2.7 語義web研究面臨的問題和挑戰

第二篇 本體技術

第3章 本體構建

3.1 構建旅遊信息資源本體

3.2 高校就業管理領域本體構建

3.3 常用軟體本體構建

第4章 本體映射

4.1 本體映射概述

4.2 常用的本體映射方法

4.3 本體映射方法的分類

4.4 本體映射典型系統介紹

4.5 目前本體映射存在的問題

第5章 基於本體的概念語義相似度和相關度計算

5.1 概念語義相似度和相關度研究概述

5.2 基於知網的詞語語義相似度計算研究

5.3 基於領域本體的概念語義相似度和相關度的計算研究

5.4 基於概念相似度和相關度的查詢擴展

第三篇 本體推理方法——描述邏輯

第6章 基本描述邏輯alc

6.1 描述邏輯及其發展

6.2 基本描述邏輯alc簡介

第7章 擴展描述邏輯alc+形式系統

7.1 擴展描述邏輯alc+的形式化公理體系

7.2 擴展描述邏輯alc+的基本性質

7.3 擴展描述邏輯alc+系統的可靠性和完全性

7.4 擴展描述邏輯alc+到謂詞邏輯的轉換

7.5 擴展描述邏輯alc+與框架表示法的關係

7.6 擴展描述邏輯alc+與簡單概念圖的關係

第8章 web本體語言OWL與擴展描述邏輯alc+的關係

8.1 web本體語言OWL簡介

8.2 擴展描述邏輯alc+與OWL的對應

8.3 本體語言ofi描述的知識用擴展描述邏輯alc+表示及推理的示例

第9章 描述邏輯的套用

9.1 描述邏輯套用於概念建模

9.2 描述邏輯套用於軟體工程領域

9.3 描述邏輯套用於語義web

第四篇 本體套用系統

第10章 基於本體的語義檢索原型系統設計與實現研究

10.1 基於本體的語義檢索模型設計

10.2 基於本體的語義檢索原型系統設計與實現

第11章 基於本體的科學家資源服務平台研究

11.1 概述

11.2 主要功能

11.3 科學家資源關係資料庫數據模型構建

11.4 科學家資源本體庫構建

附錄一 研究領域專業術語

附錄二 重要的web資源

附錄三 rdf類

附錄四 rdf屬性

附錄五 OWL類