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

Question

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

Answer 1

也许我的问题不是很精确，我不知道该怎么说。我在寻找什么：
我意识到在 Protege 中我可以定义这个新类应该等同于

inverse (has) some A