SWRL推理规则在平面几何证明中的应用

An Application of SWRL Rules in Proof of Plane Geometry

OWL由于其具有较强的知识表示能力目前已成为语义Web知识建模的主要语言,尽管如此,它在知识推理方面存在着许多不足。语义网规则语言(SWRL)是为了弥补OWL的不足发展起来的,它是以OWL的子语言OWL DL以及其它规则标记语言为基础的规则描述语言,将SWRL推理规则引入OWL DL可以大大改善OWL DL的推理能力。运用SWRL推理规则和Jess推理机对平面几何证明题进行了推理和证明,结果验证了SWRL推理规则的有效性和正确性,在实践中同时也发现了SWRL存在的一些问题,有待今后进一步研究。

OWL has now become a major modeling-building language of semantic Web because of its strong ability of knowledge representation.Nevertheless,there are a lot of inadequate in its reasoning.Semantic Web Rule Language（SWRL） is developed to compensate for the lack of OWL.It is a rule description language based on OWL DL,an OWL sublanguage,and other rule markup languages.Applying SWRL rules to OWL DL can improve the reasoning ability of OWL DL dramatically.Introduces an application of SWRL rules and Jess reasoner in the proof in plane geometry.It solves a given proving problem of plane geometry by using the reasoner.The result verifies the validity of SWRL rules.At the same time,also found some problems of SWRL in practice,pending further research in the future.