本体论知识表示方法是目前学术界的研究热点,而领域本体是一种重要的领域知识共享和复用的方法,它与一定的推理机制一起可以为知识描述和语义共享与提取等提供良好的解决方案。本体推理的重要作用主要体现在对知识进行一致性检测和包含检测,即本体推理一方面可以检测出本体中概念之间是否存在矛盾,另一方面,对给出的一个实例,本体推理可以根据它的属性,推断出这个实例最适合的类别。虽然推理规则是本体推理的核心部分,然而在领域本体中规则推理方面,对规则集的研究并不多,而且规则集的覆盖面也并不广,这在很大程度上制约了本体推理的效率和效用。针对上述问题,本文从当前比较流行的本体描述语言OWL的构造符入手,在分析其特有的蕴涵规则的基础上,扩展出了一套推理规则集,并以这套规则集为核心构建了SSIS系统(世博语义查询系统),作为大型知识管理系统MMES系统(基于元数据的世博知识管理共享系统)的重要组成部分。从而使得上海世博会相关知识得到了有效的管理,并实现了对世博知识的语义查询,为世博信息服务提供了有力的语义支撑。本文的主要研究成果可以归纳为:1.分析了本体的相关技术,并给出了一个基于本体的知识管理系统的框架,说明了本体在知识管理系统中的重要地位。2.针对本体描述语言OWL构造符的语义,对OWL蕴涵的推理规则进行扩展,提出了一套OWL推理规则。3.将扩展的OWL推理规则应用上海世博会领域本体中,从而实现了领域知识的一致性分析和知识推理。4.构建了上海世博会语义查询系统(SSIS),对其基本工作原理做出了解释。