知识图谱,知识推理,数据校验,最好的支持OWL的推理机

请问在推理机里,支持OWL最好的推理机有哪些? 我想使用数据验证功能,例如jena里的validate方法, 但是发现有很多约束规则设定了,但是依然检查不出错误,例如属性的maxQualifiedCardinality(数据属性和对象属性皆不行,也可能是我代码有问题= = ), 查了jena官网,提到目前jena数据校验功能不完备。   我想问,有没有支持OWL推理更优的推理机?  并支持数据验证功能的。     

要回复问题请先登录注册