标签: ontology protege
可以将类的数据属性定义为另一个类的个体数,并且该数字是自动计算的。
答案 0 :(得分:1)
据我所知,目前没有可用的计数功能。
它可以用于断言的公理,但我认为它不能保证可靠地工作。开放世界假设和默认的非唯一名称假设意味着无法确定是否存在未知个体或者是否有任何已知个体彼此相同。