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

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

A realization of SWOL(Semantic Web Ontology Language)-based Reasoning Engine

Semantic Web Ontology Languages such as OWL developed fast in recent years, it became a web standard for future Web language by W3C. The advantage of Ontology language is that it can express more hiding information by less knowledge expressions. In order to get the hiding information and check the consistency of the KB, a reasoning engine should be developed. In this paper, a Reasoning Engine architecture is designed according to the characters of current ontology languages, This architecture is flexible and easy to be extended or amended in expressing ability with different expressive ontology languages. This paper also discusses some realization techniques in the development of the reasoning engine.