【发布时间】：2015-10-25 00:24:51
【问题描述】：
如果我用属性的mincardinalityRestriction（例如，至少K）定义了一个猫头鹰类A，这是否意味着当我创建一个这样的个体时我必须向该属性添加至少K个值类A？如果忽略这个限制，个人能否创建成功？
【问题讨论】：
标签： java jena semantic-web owl
【发布时间】：2015-10-25 00:24:51
【问题描述】：
是的。推理器不需要断言可用，它只需要知道存在限制。
“创建成功”我假设您的意思是“本体是一致的”。 Jena（和大多数其他 API）将允许您“成功地”创建不一致的本体，就像在没有任何错误的情况下一样。
【讨论】：
-
谢谢。 Jena 允许我创建不一致的本体而不会出现任何错误，那么在类上定义的限制是什么意思以及限制何时起作用？
-
如果模型附加了推理器，您可以询问 API 模型是否一致。