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