三月新番第一篇

今天分析了一下已有的Rule languages运行平台和Inference engines，然后得出了一些小结论

推理机:

                         支持SWRL   Consistency Checking

Pellet               基本支持      有

SweetRules    支持               没有    

Jess                 不支持           ?

Jena2              不支持           对OWL-DL不支持

推理语言候选有三: SWRL, Jess和Jena2

鉴于现在普遍都是用SWRL，所以能选择的也很少，基本搭配如下:

SWRL + Pellet + Jena2

SWRL + SweetRules + Jena2

SWRL + SweetRules + Jess

Pellet不支持1).class atoms with 匿名的 classes 2).data valued property atoms 3).built-in functions

问题是，不管Pellet还是SweetRules相关的资料都很少。