OWL通用量化

Question

我正在阅读OWL2引物的一半,并且在理解通用量化方面存在问题

给出的例子是

EquivalentClasses(
    :HappyPerson 
    ObjectAllValuesFrom( :hasChild :HappyPerson )
)

它说如果他们所有的孩子都是快乐的人,那么他就是一个快乐的人.但是,如果John Doe没有孩子,他会成为HappyPerson的一个例子吗？他的父母呢？

我也发现这部分非常混乱,它说:

因此,通过我们的上述陈述,每个没有孩子的人都会被认为是快乐的.

但它不会违反ObjectAllValuesFrom()构造函数吗？

Answer 1

我认为引物在解释这个方面确实做得很好,特别是以下内容:

使用通用量化的自然语言指标是"仅","排他性"或"只有"之类的词.

为了进一步简化这一点,请考虑您给出的表达式:

HappyPerson ? ? hasChild . HappyPerson

这表示a HappyPerson是一个只有孩子的人HappyPerson(也很开心).从逻辑上讲,这实际上并没有说明幸福孩子的存在.它只是对可能存在的任何儿童的普遍约束(请注意,这包括任何HappyPerson没有任何子女的实例).

将此与存在量词进行比较,存在(∃):

HappyPerson ? ? hasChild . HappyPerson

这表示a HappyPerson是至少有一个孩子的人HappyPerson.与(∀)相反,这个表达式实际上意味着每个实例都存在一个快乐的孩子HappyPerson.

虽然最初不直观,但答案在于ObjectAllValuesFrom一阶逻辑(实际上是描述逻辑)中OWL结构的解释/语义.从根本上说,该ObjectAllValuesFrom构造涉及逻辑通用量词(∀),该ObjectSomeValuesFrom构造涉及逻辑存在量词(∃).