在OWL/Protege中建模Intention类：排除父类兄弟类的问题

问题根源分析 #

你当前的建模存在两个核心问题：

1. 类的不相交关系未明确：AchievableDesire与NonAchievableDesire、ConflictingDesire与NonConflictingDesire未设置为不相交类，导致推理机无法确定实例的排他性归属（比如A、B同时被识别为属于AchievableDesire和NonAchievableDesire，这在逻辑上矛盾）。
2. 冗余的类约束：在Intention的等价表达式中添加and not NonAchievableDesire属于冗余操作，且会因为之前的类关系模糊，导致推理机无法正确识别符合条件的实例。

正确建模步骤 #

1. 定义Desire的子类及互斥关系 #

• 为Desire创建四个直接子类：AchievableDesire、NonAchievableDesire、ConflictingDesire、NonConflictingDesire。
• 设置两组不相交并集约束：
  • Desire ≡ AchievableDesire ⊔ NonAchievableDesire（每个Desire实例必然属于且仅属于可实现/不可实现中的一类）
  • Desire ≡ ConflictingDesire ⊔ NonConflictingDesire（每个Desire实例必然属于且仅属于冲突/不冲突中的一类）

  注：在OWL编辑器（如Protégé）中，可通过“Disjoint Union of”功能快速设置这两组约束。

2. 修正个体归类 #

确保个体的归属符合逻辑：

• 将A、B归类到NonAchievableDesire和NonConflictingDesire（匹配你之前的推理结果）。
• 将C归类到AchievableDesire和NonConflictingDesire。

3. 定义Intention的等价类 #

直接将Intention定义为可实现欲望与非冲突欲望的交集，无需额外添加排除约束：

Intention ≡ AchievableDesire ∩ NonConflictingDesire

推理验证 #

完成上述设置后，推理机将正确推导：

• A、B属于NonAchievableDesire，因此被排除在Intention之外。
• C同时属于AchievableDesire和NonConflictingDesire，因此被归入Intention，最终Intention的实例为{C}。

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