0

我正在尝试为 protege 项目（曼彻斯特猫头鹰格式）建模一个 4x4 网格，我有一个 Row 类来表示网格的行，我想以某种方式指定 Row 类必须有 4 个单元格（我也有细胞类）。有没有可能做到这一点？通过对象属性或公理？

编辑：我已经指定一个行必须有单元格

Row hasCells some Cells
4

1 回答 1

2

在“类描述”视图中：

类描述视图

于 2017-05-12T19:04:10.590 回答