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

【问题标题】：Non-simple property used in a cardinality restriction HermiT基数限制 HermiT 中使用的非简单属性
【发布时间】：2020-03-19 05:09:11
【问题描述】：

我正在尝试使用 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 推理的新手。什么意思？

【问题讨论】：

这是“在 OWL 中推理”而不是 Java ......并且错误正是消息所说的，您不能在最大卡中使用非简单属性。限制。就是这样。阅读并学习：w3.org/TR/owl2-syntax/…

标签： java reasoner hermit

【解决方案1】：

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

【讨论】：