本论文在深入研究语义Web的体系结构、关键技术的基础上，对逻辑推理系统和基于OWL的语义Web推理技术作了研究，主要创新性工作包括： 　　提出一个基于规则的OWL推理系统模型：基于规则的推理技术在人工智能领域已很成熟，但在语义Web中却很少使用，将此成熟技术应用到语义Web推理中，提出一个基于规则的OWL推理系统模型。该模型概念简单，结构灵活，支持OWLDL的推理。在此模型中，分析了推理引擎的推理策略，规则库中定义规则的注意事项。 　　设计一个OWL推理系统原型：在基于Rete算法的Lisa推理引擎的基础上设计了一个基于规则的OWL推理系统原型。系统为用户的推理提供了RDF/OWL数据输入接口，为原型系统设计了主要功能模块和Lisp程序编码，定义了OWL推理规则。