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

Ontology Construction Method Based on Description Logic Reasoning

作　　者：朱丽[1] 杨青[2] 

机构地区：[1]武汉音乐学院公共基础课部,湖北武汉430060 [2]华中师范大学计算机科学系,湖北武汉430079

出　　处：《计算机与现代化》2013年第9期13-17,共5页Computer and Modernization

基　　金：湖北省科技攻关计划基金资助项目(2007AA101C49)

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

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]