OWL的耶拿（Jena）中限制的用法是什么？

Question

如果我使用mincardinalityRestriction （例如，至少K个）定义猫头鹰类A ，这是否意味着在创建此类A的个体时，我必须向该属性添加至少K个值？ 如果我忽略此限制，是否可以成功创建个人？

Answer 1

是。 推理程序不需要断言可用，只需要知道存在限制即可。

假设“成功创建”是指“本体是一致的”。 耶拿（和大多数其他API）将允许您“成功”创建不一致的本体，就像在其中一样，没有任何错误。