使用 Protege 在 OWL 中进行通用量化和空洞蕴涵

Question

我正在尝试了解由于在 Protege 中使用通用量化而发生空蕴涵的情况。也就是说，公理的形式：

A rel *only* B

这是我的设置：

我创建了一个（或多或少）遵循这篇 Ontogenesis 文章中描述的本体：

http://ontogenesis.knowledgeblog.org/1260

它由一个owns 关系和两个高级不相交的类组成：person 和pet。

在宠物类下，我有三个原始的不相交类：dog、elephant 和 newt。

在person类下面，我定义了一个类pet owner，定义如下：

'pet owner' equivalent_to person and (owns only pet)

最后，我创建了一个名为 person 1 的个人，它不拥有任何宠物。

通用量化：

我对全称量化的理解是，only 量词描述了那些只与特定类别的个体有关系的个体。这意味着与另一个人没有任何关系的个人也可以用全称量化来描述。

在我的示例中，我认为person 1 会被推断为pet owner，因为person 1 不属于own 任何pets 或处于任何其他关系中。但是，当我运行推理器（HermiT 和 Pellet）时，情况并非如此。 Person 1 不会被推断为 pet owner 的成员。

所以，我似乎不理解全称量化。有人可以帮帮我吗？

Answer 1

这里的问题是您没有考虑开放世界假设 (OWA)。通过 OWA，本体只包含已知的事实；可能还有其他事实。如果您对person 1 拥有的东西一无所知，这并不意味着它一无所有。它可能拥有其他不在本体中的东西。因此，您的普遍限制可能阻止某人成为宠物主人（如果他们拥有不是宠物的东西，并且相应的公理在本体中）。要使某人成为宠物主人，您可能会“关闭”有关它的信息，例如说已知的宠物是这个人唯一拥有的东西。为此，您可以使用owns only {pet1, pet2, pet3} 构造。