利用Protege实现OWL的通用量化和空虚蕴涵

Question

我试着理解在Protege中由于使用通用量化而出现的空虚蕴涵的情况。即形式的公理：

a rel*only*b

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

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

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

“宠物所有者”等价物_to person和（仅拥有宠物）

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

通用量化：

Answer 1

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