【发布时间】:2017-05-12 16:30:03
【问题描述】:
我正在尝试为 protege(曼彻斯特猫头鹰格式)的项目建模 4x4 网格,我有一个 Row 类来表示网格的行,我想以某种方式指定 Row 类必须有 4细胞(我也有细胞类)。 有没有可能做到这一点?通过对象属性或公理?
编辑:我已经指定一个行必须有单元格
Row hasCells some Cells
【问题讨论】:
标签: object properties owl protege manchester-syntax