近年来,关于本体的研究取得了很大进展,本体的应用也越来越广泛。人们可以从本体中获得知识,而在本体中一些重要的知识往往都是隐性给出的,因此,推导出隐性知识就成了现今对本体研究的关键。随着本体的发展,本体描述语言也趋于多样化。自从2002年OWL语言成为W3C推荐的本体描述语言以来,对OWL语言的研究越来越多,而从OWL语言描述的本体中推导出隐性知识已成为现今本体研究的主要内容之一。本文通过对RDF蕴涵规则的研究和对OWL语言算子的分析,给出了推理规则集和ORBO算法,实现了对给定本体的推理。具体工作包括:(1)对本体研究进行了综述,对OWL语言和编译工具JENA进行了详细的介绍;(2)介绍了RDF的属性关系和蕴涵规则;(3)研究了OWL算子所蕴涵的语义,并给出了这些算子的推理规则;(4)为了更好地实现对本体的推理,分析了Li所提出的PD*算法的不足,提出了ORBO算法,并给出了ORBO算法的ADL描述;(5)设计并实现了基于OWL语言的推理演示系统。本文给出的OWL语言的推理规则是建立在本体的TBOX上的,对OWL语言来说更具有一般性;ORBO算法采用判断推理规则前提的是否满足的方法,降低了原算法的时间复杂度。本文的工作对于从本体中获得隐性知识及以后的查询工作研究都具有一定的意义。