owl - Protege exactly 1 基数 OWL 限制不会引发不一致

Question

我觉得我快疯了!我已经按照 Owl 和 Protege 的各种教程进行操作，但仍然无法找到答案。用例很简单。我定义了一个名为“Person”的类。我定义了一个名为 hasFirstName 的数据属性。我为 Person 添加了一个“子类”限制，如下所示:“hasFirstName exactly 1 string”。我还添加了一个名为 Alex 的 Person 类型的个体，但没有添加 hasFirstName 属性。我希望推理者提示，因为我指定了 1 的基数，并断言 Alex 是一个人，但没有将属性值添加到 Alex 个人，但推理者没有提示。但是，如果我添加两个语句，例如hasFirstName ‘Alex’ 和 hasFirstName ‘John’ 然后我收到投诉。我做错了什么？非常感谢任何帮助，谢谢。

Answer 1

第一种情况没有不一致。 OWL 使 open world assumption ，这意味着未知的事物与已知为真或已知为假的事物不同。在我撰写此答案时，您的用户名是 user3552593。我相对相信你有一个名字，这与我还不知道它是什么的事实并不矛盾。

这样说

Person ⊑ =1 hasFirstName.String

还有那个

Alex : Person

你可以推断出

Alex : =1 hasFirstName.String

没有什么不一致的；亚历克斯，由于亚历克斯的人格，只有一个名字——我们只是还不知道它是什么。