如何编写SWRL规则指定不属于AmericanCity类的个体为NotAmerican

• 核心SWRL规则写法：
  通过否定类实例作为前提，推导出目标类归属，规则语句如下：

  not(AmericanCity(?x)) → NotAmerican(?x)
  

• 关键注意事项：
  • 确保所使用的本体推理引擎支持SWRL否定原子（Pellet、HermiT、Fact++等主流引擎均支持）。
  • 若需要更严谨的类关系定义，可搭配OWL公理实现同等效果：EquivalentClasses(NotAmerican ObjectComplementOf(AmericanCity))，该公理属于OWL原生逻辑定义，部分场景下推理效率优于SWRL规则。
  • 若需避免个体同时属于AmericanCity和CanadianCity的冲突场景，可额外添加互斥规则：AmericanCity(?x) → not(CanadianCity(?x))

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