我使用protege创建了一个本体,并添加了SWRL规则,使用隐士推理器,一切都很好,但是它并未显示推断已推论的dataproperties。
我尝试使用Pellet,它能够推断数据poproperties,但是,我创建的所有SWRL规则都不再起作用。
这是隐士的错误吗?有解决方案吗?最好的问候。
实际上,事实证明,隐士不支持dataproperty推论,因此我必须更改为Pellet,当您从Hermit到Pellet更改时,您可能会发现这个问题:?