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

• 作者: 陈振庆
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 描述逻辑 推理机 知识库 本体
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 信息与计算科学
• 页码范围: 163-168
• 页数: 6页
• 分类号: TP182
• 字数: 4203字
• 语种: 中文
• DOI: 12.3969/j.issn.1672-8513.2016.02.013

摘要

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈振庆	贺州学院机械与电子工程学院	15	87	6.0	9.0