基于OWL DL的本体推理机设计与实现  

Design and implementation of ontology-related reasoners based on OWL DL

作　　者：陈振庆[1] 

机构地区：[1]贺州学院机械与电子工程学院,广西贺州542899

出　　处：《云南民族大学学报（自然科学版）》2016年第2期163-168,共6页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：广西自然科学基金(2014GXNSFBA118278)

摘　　要：语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.Description logics and ontology are two important research focuses for semantic Web. This paper puts forward the syntax and semantics of description logic SHOIN（D） which is equivalent to OWL DL and the descrip- tion form of every element of the model in OWL DL ontology - related knowledge bases. Then the working principle and core technology of OWL - API, Pellet - API and Jena - API reasoners are discussed, and a Pellet - Jena - based inference framework is proposed. Finally, a prototype of OWL DL ontology - related inference machine is proposed for the realization of the satisfiability, classification, and realizability in the inference services of the ontol- ogyrelated knowledge bases.

关 键 词：描述逻辑 推理机 知识库 本体 

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