用来进行本体推导中规则的描述,该文档是pdf格式的,详细介绍了swrl的语法与使用方法