基于OWL DL的本体推理机设计与实现
Design and implementation of ontology-related reasoners based on OWL DL
云南民族大学学报:自然科学版,2016,25(2):163-168

陈振庆 CZQ

摘要


语义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 description 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 ontology-related knowledge bases.

参考



全文: PDF      下载: 1017      浏览: 186


counter for myspace
云南民族大学学报(自然科学版) 1991—2016 Copyright
地址:云南省昆明市一二.一大街134号 邮编:650031 全国邮发代号:64-47
电话:0871-65132114 传真:0871-65137493 Email:ynmzxyxb@163.com