语义Web是由万维网的创始人Berners-Lee在2001年正式提出的。语义Web研究的主要目的就是扩展当前的万维网,使得网络中的信息都具有语义,使计算机能够理解和处理,便于人和计算机之间的交互及协作。因而其研究的重点就是如何把信息表示为计算机能够理解和处理的形式。关于计算机的推理,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。语义Web出现的目的就是为了解决机器和人对知识的理解的问题,因此我们可以在语义Web的基础上展开推理。 本文首先分析了语义Web的体系结构及其相关知识,然后对本体论的逻辑基础一描述逻辑进行了研究。最后在此基础上提出了一种有效的推理系统。描述逻辑系统可以提供一些典型的推理服务,例如,概念分类,概念的可满足性及概念的实现,知识的一致性检测等一系列的推理服务。这些推理服务能够很好的发现知识中的隐藏知识并且能够发现知识定义中相互矛盾的概念。本体论的理论基础是描述逻辑,OWL DL和描述逻辑有很好的对应关系,因此我们在建立知识库时使用了OWL DL。使用OWL DL的好处在于:(1)利用描述逻辑的推理机能够发现在知识定义过程中相互矛盾之处,并且发现隐藏知识。(2)能够更好的进行知识的分享和再次利用。为了克服OWL DL在推理机制上的不足,我们引入了SWRL来表示相应规则,以便更好的进行推理服务。因为SWRL规则的定义本身就是在OWL DL本体之上的,所以我们利用OWL DL所定义的领域知识能够很好的和规则相结合。由于目前的专家系统的推理部分均不能直接接受OWLDL格式的知识和SWRL所表示的规则,因此,我们建立起本体之后,首先利用RACER等支持描述逻辑推理的推理机对本体进行推理,发现矛盾,及隐含知识。然后利用Protégé的JessTab接口实现OWL DL格式到Jess格式的转换,使Jess推理引擎可以获得知识。另外,关于SWRL规则的转换我们使用了XSLT。最后我们将知识和规则导入推理引擎进行推理。