重大新闻:奥巴马的儿子全都是基地组织成员!

因为他没有儿子。上面这句话,从逻辑的角度,是真的。在学习OWL的过程中,最让人困惑的是allValuesFrom(∀)。上面这句话写为{Obama} ⊑ ∀hasSon.AlQaedaMember。我们知道{Obama} ⊑  ∀hasSon.⊥ (没有儿子),可以推理出任意的{Obama} ⊑ ∀hasSon.C,C可以是变形金刚或者外星人。

之所以想到这个 ,是看到《墨西哥“外星婴儿”现形记》(科学松鼠会),里面提到一个似是而非的说法

read more