Java OWL的Jena中限制的用法是什么？

如果我使用属性的

mincardinalityRestriction

（例如，至少K）定义owl类

a

，这是否意味着我在创建此类

a

的个体时必须向属性添加至少K个值？如果忽略此限制，是否可以成功创建个人？

是。推理机不要求断言可用，它只需要知道限制存在

---

“创建成功”我想你的意思是“本体是一致的”。Jena（和大多数其他API）将允许您“成功”创建不一致的本体，如中所示，不会出现任何错误。

谢谢。Jena允许我在没有任何错误的情况下创建不一致的本体，那么在类上定义的限制的含义是什么？限制何时起作用？如果您有一个推理器连接到模型，您可以询问API模型是否一致。