我知道这听起来像是一个非常愚蠢的问题，但我一直在尝试解决它，却找不到任何相关内容，虽然看起来应该可以做到。 我正在开发一个使用Manchester OWL Syntax和HermiT推理器通过其API查询OWL文件的东西。我也会在Protege 4的DL Query选项卡中运行查询，以检查该...

我是protege的新手，需要使用Manchester OWL语法建模一个类似数独的网格。我一直在搜索，但无法找到一种方法来制定一个公理，即“每列必须有4个单元格，并且必须拥有这些值中的每一个”。 例如，假设有一个4x1列，每个单元格必须包含一个数字，且该列必须具有所有数字[1：4]。 我已...