数据 属性 的值等于 class 中的个体数量？

Question

可以将一个class的数据属性定义为另一个class的个体数，这个数是自动计算的。

Answer 1

据我所知，目前还没有可用的计数功能。

它可以为断言的公理实现，但我不认为它可以保证可靠地工作。开放世界假设和默认的非唯一名称假设意味着无法判断是否存在未知个体或任何已知个体是否彼此相同。