对于 SPARQL 属性路径，否定无法按预期工作

Question

根据 SPARQL 属性路径，否定用运算符 表示!，即!(a|b|c|d)表示任何不属于{a, b, c, d}的关系。

根据这个定义，我发现下面的例子非常违反直觉。

PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX : <http://rdf.freebase.com/ns/> 

ASK {
:m.0262dl9 
!(:type.object.type|<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>) 
:common.topic
}

上述查询返回 false，因为从 :m.0262dl9 到 :common.topic 的唯一关系是 :type.object.type 和 ，它们被否定。但是，如果我们将 ^:type.object.type（这意味着 :type.object.type 的逆）添加到否定集合中，则答案将变为 true。换句话说，我们修改

!(:type.object.type|<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>)

为

!(:type.object.type|^:type.object.type|<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>)

这很奇怪，因为第一个查询为假意味着第二个查询也必须为假。我真的不确定为什么第二个查询返回 true。我是否误解了 ! 或 ^ 的定义？