基于语义Web本体语言的推理机引擎的实现

摘要

近年来,OWL等本体语言蓬勃发展,并成为W3C未来Web语言的标准。本体语言的优势在于以较少的表达语句组成知识库,并蕴涵较多的信息。为了得到这些隐含的信息以及检查知识库的一致性,需要开发出相应的推理机引擎。针对目前本体语言的发展现状,设计了一个灵活的推理机引擎框架。推理机引擎结构灵活,可方便地扩充或者降低其所处理的本体语言的表达能力。同时,也介绍了在实现该推理机引擎过程中的一些具体技术。