英文语句转ALC描述逻辑：第三句合规改写技术问询

核心语义需求 #

• Mary 属于 Person 类别；
• 斗牛犬（Bulldog）是犬类（Dog）的子类，法国斗牛犬（FrenchBulldog）是斗牛犬的子类；
• Mary 所拥有的犬类仅为法国斗牛犬。

已知第一种转换方法完全符合语义，以下是对第二、第三种方法的修正，使其生成合规的ALC表达式：

第一种方法（正确参考） #

Bulldog ⊆ Dog 
FrenchBulldog ⊆ Bulldog
FrenchBulldog ⊆ Dog  // 由前两条子类关系可推导，为冗余声明

(∀owns.FrenchBulldog ⨅ Person)(MARY)

该表达式直接断言：Mary是Person，且她拥有的所有事物都是法国斗牛犬，完全匹配语义需求。

第二种方法（修正后） #

首先保留子类关系对应的属性包含公理（子类关系可推导属性包含）：

∀owns.Bulldog ⊆ ∀owns.Dog 
∀owns.FrenchBulldog ⊆ ∀owns.Bulldog

针对Mary的断言修正为：

(Person ⨅ ∀owns.(¬Dog ⊔ FrenchBulldog))(MARY)

修正说明：原表达式中的¬(∀owns.Dog⊔Bulldog)为错误逻辑，正确逻辑应为「Mary拥有的所有犬类都必须是法国斗牛犬」，用ALC的析取与否定表示即为∀owns.(¬Dog ⊔ FrenchBulldog)（等价于“若某事物是Mary拥有的犬类，则它是法国斗牛犬”）。

第三种方法（修正后） #

首先保留基础子类公理：

Bulldog ⊆ Dog 
FrenchBulldog ⊆ Bulldog

针对Mary的断言修正为：

(Person ⨅ ∀owns.(¬Dog ⊔ FrenchBulldog))(MARY)

或等价的直观写法：

(Person ⨅ ∀owns.(Dog → FrenchBulldog))(MARY)

修正说明：原表达式中的∀owns.¬Dog⊔∀owns.¬Bulldog逻辑错误，它表示「Mary要么不拥有任何犬类，要么不拥有任何斗牛犬」，完全违背原语义。修正后的表达式准确限定了Mary拥有的犬类只能是法国斗牛犬。

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