OWL推理器未识别否定限制？OWLready2实例类归属异常问询

核心原因：OWL的开放世界假设（OWA） #

OWLready2遵循OWL的开放世界假设语义——系统默认“未明确陈述的信息不代表不存在”：

• 对于b1：我们明确断言它的p属性关联了一个A实例，推理机可以确定它满足B & p.some(A)的等价条件，因此自动将其重归属至B1。
• 对于b2：我们仅声明它是B的实例，但没有明确断言它不存在p属性关联的A实例。在开放世界规则下，推理机无法排除“b2存在未被声明的p关联A”的可能性，因此不会判定它满足B & Not(p.some(A))，也就不会将其重归属至B2。

是否属于设计模式错误？ #

这不属于设计模式错误，而是对OWL语义模型的理解偏差。如果你的业务场景需要封闭世界假设（即“未明确声明的信息即为假”），可以通过以下两种方式调整：

1. 给b2添加明确的否定断言：

   b2.is_a.append(Not(p.some(A)))
   

   添加后推理机可确定b2满足B2的等价条件，完成自动重归属。
2. 使用OWLready2的closed_world装饰器启用封闭世界语义：

   from owlready2 import closed_world
   
   # 对B类启用封闭世界
   closed_world(B)
   # 或针对属性p启用
   closed_world(p)
   

   启用后，未被声明的属性值会被视为不存在，推理机将自动把b2重归属至B2。

内容的提问来源于stack exchange，提问作者pfp.meijers