OWL 2中两个域表达式等价性的困惑：推导差异原因

背景信息 #

• 《语义网技术基础》（作者Pascal Hitzler、Markus Krötzsch、Sebastian Rudolph）第162页给出了属性域与范围的相关表达式（对应图示：）
• 有技术资料指出：
  • 属性p的取值范围为D可表示为 ⊤ ⊑ ∀p.D，含义是所有事物（⊤即owl:Thing）的每个p属性值都属于D
  • 属性p的定义域为C等价于 ⊤ ⊑ ∀p⁻¹.C

疑问点 #

两者关于取值范围的表达式逻辑一致，但我无法理解定义域的两个表达式为何等价。我尝试对⊤ ⊑ ∀p⁻¹.C两边应用∀p后得到∀p.⊤ ⊑ C，这与书中给出的表达式不符，请问我忽略了什么？

问题解析 #

你错误地套用了非描述逻辑的推理规则——不能像普通代数等式那样，对蕴含式的两边直接应用全称量词，描述逻辑的蕴含式推理有严格的语义约束。

我们从语义层面推导等价性：

1. 先明确⊤ ⊑ ∀p⁻¹.C的语义：对于任意个体x（所有个体都属于⊤），所有满足(y, x) ∈ p的个体y都属于C。换句话说，只要某个个体y通过属性p关联到任意个体x，那么y必然属于C——这正是“p的定义域为C”的核心定义：所有具有p属性的个体都属于C。

2. 再看书中给出的定义域标准表达式∃p.⊤ ⊑ C：∃p.⊤表示所有存在至少一个p属性值的个体，这个集合包含于C，也就是所有拥有p属性的个体都在C中，和上述语义完全一致。

3. 你的推导错误根源在于，对⊤ ⊑ ∀p⁻¹.C两边直接添加∀p的操作不符合描述逻辑的推理规则。正确的等价转换必须基于语义展开，而非随意的符号操作：

   • ⊤ ⊑ ∀p⁻¹.C 等价于：对所有x，若x∈⊤，则对所有y，(y,x)∈p → y∈C
   • 进一步等价于：对所有y，若存在x使得(y,x)∈p，则y∈C
   • 这正是∃p.⊤ ⊑ C的语义，和书中的表达式完全匹配。

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