Protege本体构建：同地址公寓建筑位置推理及DL查询实现

OWL传递对象属性有强制约束：属性的定义域、值域必须为同一类，且传递链上所有中间节点的类型必须和定义域/值域兼容。你当前给isLocatedIn同时设置了RealEstate和Address两类完全不相交的值域，传递链走到Apartment → Address节点时，Address不属于RealEstate类，无法继续沿isLocatedIn属性延伸关系，推理链直接断裂，自然无法输出预期结果。

不要把「关联地址」「关联上级不动产」两类语义完全不同的关系塞到同一个对象属性里，按以下步骤配置即可：

• 先拆分两个独立的对象属性，从根源上避免跨类值域的冲突：
  • hasAddress：定义域为RealEstate，值域为Address，所有不动产（公寓、公寓楼）和地址的关联都通过这个属性声明
  • isLocatedIn（保留你原有命名即可）：定义域为Apartment，值域为ApartmentBuilding（设为RealEstate的子类，对应公寓楼概念），专门用来表示公寓所属的公寓楼关系
• 给isLocatedIn配置属性链：hasAddress o inverse(hasAddress)
  这个属性链的语义是：如果某公寓关联了某地址，且某公寓楼关联了同一个地址，那么推理机自动判定该公寓isLocatedIn该公寓楼。配置完成后两个需求会同时满足：
  1. 同地址的公寓会自动被推理关联到同一栋公寓楼实例
  2. 公寓和公寓楼只要共享同一地址，会自动生成isLocatedIn的关联关系，不需要手动声明

你之前尝试的两种写法都不符合OWL DL语法规范，对应需求的正确写法如下：

• 如果你要查询所有存在同地址其他建筑的建筑实例，用修正后的属性链自指查询即可：

  Building and (hasAddress o inverse(hasAddress)) some Self
  

• 如果你要查询和某一指定公寓/建筑位于同一地址的所有建筑，先拿到该实例关联的地址个体，再写如下查询：

  Building and hasAddress value <目标地址实例名>
  

你之前写法的错误点说明：

• isLocatedIn some Self.Address不是合法DL语法，DL不支持点操作符取实例的属性值，Self关键字仅指代当前查询的类实例本身，不能拼接属性访问逻辑
• 未拆分属性前用isLocatedIn写属性链，会因为值域跨RealEstate和Address的问题返回无效结果，拆分属性后用hasAddress构造属性链就不会出现这类问题

内容的提问来源于stack exchange，提问作者Jairo Genre Bert