标签： owl protege reasoning
感谢您对以下内容的一些解释。 我已经用Protege创建了一个包含如下内容的类的本体：
hasResult exactly 1 AccelerationDate
在其 SubClass Of 定义中。 现在，当我创建此类人员并且不满足此条件时，我本来希望综合推理机HermiT对此有所抱怨，但事实并非如此。有人可以解释为什么会这样/我缺乏了解吗？