基于OWLDL的本体推理机设计与实现-云南民族大学学报.PDFVIP

云南民族大学学报：自然科学版，２０１６，２５（２）：１６３－１６８ ＣＮ５３－１１９２／Ｎ　ＩＳＳＮ１６７２－８５１３ ｄｏｉ：１２．３９６９／ｊ．ｉｓｓｎ．１６７２－８５１３．２０１６．０２．０１３ ｈｔｔｐ：／／ｘｂｙｎｎｉｅｄｕｃｎ 基于ＯＷＬＤＬ的本体推理机设计与实现 陈振庆 （贺州学院机械与电子工程学院，广西 贺州５４２８９９） 摘要：语义Ｗｅｂ中描述逻辑和本体论日益受到关注，成为学术界的一个研究热点．首先给出了 与ＯＷＬＤＬ等价的描述逻辑ＳＨＯＩＮ（Ｄ）的语法和语义，以及ＯＷＬＤＬ本体知识库各模型元素的 描述形式．然后介绍了ＯＷＬ－ＡＰＩ、Ｐｅｌｌｅｔ－ＡＰＩ、Ｊｅｎａ－ＡＰＩ推理机的工作原理和推理编程的核心 技术，提出一种基于Ｐｅｌｌｅｔ和Ｊｅｎａ的叠加推理机框架．最后开发了一个ＯＷＬＤＬ本体推理机原 型，实现了本体知识库一致性、分类和可实现性推理服务． 关键词：描述逻辑；推理机；知识库；本体 中图分类号：ＴＰ１８２ 文献标志码：Ａ 文章编号：１６７２－８５１３（２０１６）０２－０１６３－０６ 　　万维网创始人Ｂｅｒｎｅｒｓ－Ｌｅｅ于２００１年提出语义Ｗｅｂ，目的是为了扩展ＷＷＷ，把网络中的信息表示为 能够被计算机理解和处理的形式，即具有语义，使得人机之间能够实现更精确的交互和合作．知识表示和本 体论是语义Ｗｅｂ的两个重要研究内容，前者解决了逻辑形式化问题，使计算机能够理解信息的内涵；后者实 现基于这些逻辑理论的本体推理，提供具体的应用服务．描述逻辑是本体论的逻辑基础，其是一种基于对象 的形式化知识表示工具，具有强大的知识表达能力和可判定性，以及概念分层处理能力，适合于知识表示和 ［１］ 自动推理 ．目前，国内外众多学者对描述逻辑和本体论进行了深入的研究，使得描述逻辑和本体论成为了 ［２］ 学术界的一个研究热点．随着描述逻辑应用研究的深入，也涌现出很多成熟的描述逻辑本体推理机 ，ＨＰ 实验室２０００年推出的Ｊｅｎａ是一种通用开源本体推理机，支持用户进行二次开发和维护；德国ＦｒａｎｚＬｎｃ公司 ２００３年推出的Ｒａｃｅｒ，采用描述逻辑作为理论基础，是一种功能强大的商用本体推理机，不提供开源服务；美 国马里兰大学２００４年推出的Ｐｅｌｌｅｔ，是专门针对ＯＷＬＤＬ开发的开源本体推理机；英国曼彻斯特大学２００５ 年推出的ＦａＣＴ＋＋推理机是一个描述逻辑分类器，主要提供了模型逻辑的可满足性推理．上述推理机中，只 有Ｊｅｎａ和Ｐｅｌｌｅｔ是属于开放源代码的，为不同需求的用户提供了二次开发服务功能，但单一的推理机不够灵 活，推理能力也有待加强．ＨｏｒｒｏｃｋｓＩ等人提出了描述逻辑ＳＨＯＩＮ（Ｄ），并证明了ＯＷＬＤＬ与描述逻辑ＳＨＯＩＮ ［３］ （Ｄ）等价 ，而且Ｐｅｌｌｅｔ支持ＯＷＬＤＬ的所有元素，并且与Ｊｅｎａ兼容．因此，本文以Ｐｅｌｌｅｔ和Ｊｅｎａ为研究对 象，深入研究了描述逻辑相关理论和本体推理技术，并设计和实现了一个叠加本体推理机原型，有效提高了 推理机灵活性和推理能力，对研究语义Ｗｅｂ和本体推理技术具有一定的参考价值． １　本体论概述 １１　逻辑基础 ［４］ 本体（Ｏｎｔｏｌｏｇｙ）定义之一是“共享概念模型的明确的形式化规范说明” ，位于语义Ｗｅｂ层次结构的核 心位置，从概念建模角度看，其是一种能够在语义层和知识层上对信息系统进行建模的工具．本体的逻辑基 ［５］ 础是描述逻辑，描述逻辑（ｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃｓ，简称ＤＬｓ）又称类ＫＬ－ＯＮＥ逻辑 ，是一阶谓词逻辑的一个可判 定子集，具有清晰的模型———理论语义，统一了框架（ｆｒａｍｅｓ）、语义网（ｓｅｍａｎｔｉｃｗｅｂ）、面向对象表示（ｏｂｊｅｃｔ －ｏｒｉｅｎｔｅｄｒｅｐｒｅｓｅｎｔａｔｉｏｎ）和语义数据模型（ｓｅｍａｎｔｉｃｄａｔａｍｏｄｅｌｓ）的逻辑基础，对概念性知识的分层处理非常 有效．描述逻辑的发展经历