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

Question

如果我使用mincardinalityRestriction （例如，至少K個）定義貓頭鷹類A ，這是否意味着在創建此類A的個體時，我必須向該屬性添加至少K個值？ 如果我忽略此限制，是否可以成功創建個人？

Answer 1

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

假設“成功創建”是指“本體是一致的”。 耶拿（和大多數其他API）將允許您“成功”創建不一致的本體，就像在其中一樣，沒有任何錯誤。