受保护-OWL："Multi slot" 对象
Protégé-OWL: "Multi slot" Object
我正在尝试为 protege（曼彻斯特 owl 格式）的项目建模 4x4 网格，我有一个行 class 来表示网格的行，我想以某种方式指定行 class 必须有 4 个单元格（我也有单元格 class）。
有没有可能做到这一点？通过对象 属性 或公理?
编辑：我已经指定行必须有单元格
Row hasCells some Cells
在 'Class description' 视图中：
我正在尝试为 protege（曼彻斯特 owl 格式）的项目建模 4x4 网格，我有一个行 class 来表示网格的行，我想以某种方式指定行 class 必须有 4 个单元格（我也有单元格 class）。 有没有可能做到这一点？通过对象 属性 或公理?
编辑：我已经指定行必须有单元格
Row hasCells some Cells
在 'Class description' 视图中：