在类表达式中选择属性右侧的个体

问题描述

找不到我的问题的答案：
假设我有一个属性“has”和两个不同类别 A 和 B 的人。
我们定义个体A“有”B。
个体 B 没有任何被 A 定义为属性“拥有”的目标的信息。
如何定义一个类来捕获“has”右侧的所有个体？

解决方法

也许我的问题不是很准确，我不知道如何用其他方式表达。我要找的东西：
我意识到在 Protege 中我可以定义这个新类应该等同于

inverse (has) some A