我正在尝试推断 Protege 中个人的存在，并且可以使用一些帮助。
考虑以下本体作为示例场景：人可能是兄弟姐妹。如果他们是兄弟姐妹，那么他们至少有一个共同/共同的父母。我用“CommonParent”的子类定义了一个名为“Person”的类。我将“兄弟”对象属性从一个“人”（域）定义到另一个“人”（范围），并将其标记为“对称”。我创建了三个人（Mike、Jerry、Suzie）并添加了两个关于一个人是另一个人的兄弟姐妹的断言。推理器（HermiT）正确地将个人分类为人，并添加了缺失的兄弟关系。
现在，我想做的是让推理者推断存在另一个（未命名的）实体作为每个兄弟对的“CommonParent”（没有我特别断言存在这样的个体）。这可能吗？我该如何处理？
