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

Question

我正在尝试使用 HermiT 在 Java 中推理我的本体，但它会导致如下错误：

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

如果您没有在该属性上明确设置基数约束，请尝试取消选中“功能”属性特征。