通用限制是否适合此类别的描述类？

时间：2018-09-26 13:53:44

标签： owl protege restriction

我有两个子类的类PlannedComposition：

  • AsymmetricalComposition
  • SymmetricalComposition

它们被覆盖公理封闭。因为特定的房屋只能具有不对称或对称的组成，而不能同时具有两者。

带有房屋个体的阶级是两种类型-一种是对称的，另一种不是对称的。

我的问题是，我可以在类HouseTypeOne（具有对称组成的类）的描述中使用通用限制吗？

enter image description here

0 个答案:

没有答案
相关问题
最新问题