基于描述逻辑推理的本体构建方法

doi:10.3969/j.issn.1006-2475.2013.09.003

计算机与现代化 ›› 2013, Vol. 1 ›› Issue (9): 13-17.doi: 10.3969/j.issn.1006-2475.2013.09.003

基于描述逻辑推理的本体构建方法

朱丽¹，杨青²

1.武汉音乐学院公共基础课部，湖北武汉 430060;2.华中师范大学计算机科学系，湖北武汉 430079

收稿日期:2013-04-09 修回日期:1900-01-01 出版日期:2013-09-17 发布日期:2013-09-17

Ontology Construction Method Based on Description Logic Reasoning

ZHU Li¹, YANG Qing²

1. Department of Public Basic Courses, Wuhan Conservatory of Music, Wuhan 430060, China;2. Department of Computer Science, Central China Normal University, Wuhan 430079, China

Received:2013-04-09 Revised:1900-01-01 Online:2013-09-17 Published:2013-09-17

摘要/Abstract

摘要： 本体是语义网中知识重现和信息检索查询的研究热点，而作为本体描述语言基础的描述逻辑则是知识表示和推理的形式化工具，具有强大的表达能力和高效完备的推理服务机制，被广泛应用于人工智能、数据库、信息协同系统和知识管理等诸多领域。本文深入研究描述逻辑理论和推理机制，提出一种改进Tableaux-RALU推理算法，并在图书本体构建中验证了描述逻辑推理机制的实用性。

关键词: 描述逻辑, 推理机制, 本体构建

Abstract: Ontology is becoming one of the important research points in the area of semantic Web, which is enable to fulfill knowledge appearance, information retrieval. And as the basis of ontology description language, description logic is the formal tool of knowledge representation and reasoning, providing strong capabilities of representation and effective reasoning service mechanism, which has been extensively applied to various fields of compute science, such as artificial intelligence, database, information collaboration system and knowledge management. This paper detailedly studies the theory of description logic and its reasoning mechanism, proposes a new algorithm named Tableaux-RALU, and finally verifies the practical reasoning in the process of the concrete ontology construction.

Key words: description logic, reasoning mechanism, ontology construction

中图分类号:

TP18

朱丽;杨青. 基于描述逻辑推理的本体构建方法[J]. 计算机与现代化, 2013, 1(9): 13-17.

ZHU Li;YANG Qing. Ontology Construction Method Based on Description Logic Reasoning[J]. Computer and Modernization, 2013, 1(9): 13-17.

[1]	王家宁;陆静;姚智勇;王炅. 微机电惯性开关智能设计系统[J]. 计算机与现代化, 2013, 1(11): 158-162.
[2]	林永兴;王鹏英;邱剑锋;徐海长;王玥. 服务组合中基于线性逻辑的消息语义匹配[J]. 计算机与现代化, 2010, 1(8): 161-166.
[3]	王秀玮杨斌. 基于描述逻辑的OntoUML模型的推理研究 [J]. 计算机与现代化, 2010, 1(12): 12-14.
[4]	王长霞;李冠宇;陈布伟. 语义网本体构建工具现状及发展趋势研究[J]. 计算机与现代化, 2009, 1(7): 26-28,3.
[5]	杨玲贤. 基于Ontology的教学资源知识库构建[J]. 计算机与现代化, 2009, 1(11): 124-126.

基于描述逻辑推理的本体构建方法

Ontology Construction Method Based on Description Logic Reasoning

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 5

编辑推荐

Metrics

本文评价