在Protégé中如何基于父子属性推断Sibling（兄弟姐妹）关系？

核心解决方案：给Has_Sibling添加等价属性公理 #

不需要手动维护Has_Sibling的断言，直接通过OWL公理让推理机自动推导，步骤如下：

• 定义等价属性公理
  给Has_Sibling设置以下等价公理（OWL语法）：

  Has_Sibling ≡ (Is_Child_Of o inverse(Is_Parent_Of)) and not self
  

  逻辑解释：A与B存在Has_Sibling关系，当且仅当A是某个体的孩子（Is_Child_Of），且该个体同时是B的父母（inverse(Is_Parent_Of)对应B的Is_Child_Of指向同一父母），同时A和B不是同一个个体（not self避免自关联）。

• 开启推理机执行自动推断
  保存本体后，启用OWL推理机（如HermiT、Pellet），推理机会自动遍历所有Smith类个体，根据Is_Parent_Of/Is_Child_Of的断言，计算出所有满足条件的Has_Sibling关系。比如Jack和Jill共享John、Julie为父母，推理机将自动生成：

  • Jack_Smith Has_Sibling Jill_Smith
  • Jill_Smith Has_Sibling Jack_Smith（因Has_Sibling已设为对称属性，无需额外配置）

• 按需调整严格性（可选）
  如果需要限定为共享父母双方的兄弟姐妹（而非至少一方），可将公理调整为：

  Has_Sibling ≡ (Is_Child_Of value John_Smith and Is_Child_Of value Julie_Smith) o inverse(Is_Child_Of value John_Smith and Is_Child_Of value Julie_Smith) and not self
  

  这个公理仅会推断出同时以John和Julie为父母的个体间的兄弟姐妹关系。

验证推断结果 #

完成配置后，可通过两种方式验证：

• 使用DL Query查询Has_Sibling value Jack_Smith，应返回Jill_Smith；
• 查看个体的属性断言面板，推理机生成的推断属性会被标记为"Inferred"（区别于手动添加的断言）。

内容的提问来源于stack exchange，提问作者BigBazza