基数限制HermiT中使用的非简单属性

Question

我试图用HermiT来推理我的本体论，但它产生了如下错误：

Exception in thread "main" java.lang.IllegalArgumentException: Non-simple property 'InverseOf(owl:topObjectProperty)' or its inverse appears in the cardinality restriction 'ObjectMaxCardinality(1 InverseOf(owl:topObjectProperty) owl:Thing)'.

我是用Java进行推理的新手。什么意思？

Answer 1

如果你还没有显式地在“函数”属性上设置基数约束，请尝试取消选中该属性。