OWL类不一致问题求助：Pellet推理器报错解析

这个错误是推理器推导出了所有事物（Thing）都是空类（Nothing）的子类，意味着本体中不存在任何合法个体，核心矛盾链如下：

• 步骤1：从属性链推导个体类别
  obj_1234拥有depthOfObject属性，通过子属性传递（depthOfObject → hasDepth → hasShapeParameter → hasRegionDataValue），hasRegionDataValue的定义域是Region，因此推理器判定obj_1234属于Region类。

• 步骤2：类别互斥约束
  Region是Abstract的子类，而Abstract与Object定义为互斥（disjoint），所以obj_1234不能属于Object类。

• 步骤3：另一条属性链的推导
  SemanticMapPerception_WorkPiece_1234通过objectActedOn关联obj_1234，子属性传递（objectActedOn → preActor → actor → hasParticipant），hasParticipant的值域是Object，因此推理器又判定obj_1234必须属于Object类。

• 最终矛盾
  同一个体obj_1234被同时要求属于两个互斥的类（Abstract的子类和Object），这违背了OWL的逻辑一致性规则，导致推理器得出极端结论：本体中不存在任何合法个体（即Thing subClassOf Nothing）。

本质是你的本体中属性链的定义域/值域约束，与类的互斥约束存在冲突，导致个体被推导为同时属于互斥类别。

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