论文部分内容阅读
近年来,OWL等本体语言蓬勃发展,并成为W3C未来Web语言的标准。本体语言的优势在于以较少的表达语句组成知识库,并蕴涵较多的信息。为了得到这些隐含的信息以及检查知识库的一致性,需要开发出相应的推理机引擎。针对目前本体语言的发展现状,设计了一个灵活的推理机引擎框架。推理机引擎结构灵活,可方便地扩充或者降低其所处理的本体语言的表达能力。同时,也介绍了在实现该推理机引擎过程中的一些具体技术。
In recent years, ontology languages such as OWL have flourished and become the standard for W3C’s future Web languages. The advantage of ontology language lies in that the knowledge base is composed of fewer expressions and contains more information. In order to get these hidden information and to check the consistency of the knowledge base, a corresponding inference engine needs to be developed. Aiming at the current development of ontology language, a flexible inference engine framework is designed. Inference engine engine structure is flexible, can easily expand or reduce its ability to deal with the language of the ontology. In the meantime, some specific techniques in implementing the engine of the reasoning engine are also introduced.