保护正好1个基数OWL限制不引起不一致

Question

我想我快疯了！我已经学习了Owl和Protege的各种教程，但仍然无法找到答案。用例很简单。我定义了一个叫‘人’的类。我定义了一个名为HasFirstName的数据属性。我给Person添加了一个'subclass of'restriction',如下所示：'has firstname确切1 string'。我还添加了Person类型的名为Alex的个人，但没有添加hasFirstName属性。我期望推理者抱怨，因为我已经指定了基数1，并断言Alex是一个人，但没有将财产值添加到Alex个人，然而推理者并没有抱怨。但是，如果我添加了两个语句，例如hasFirstName'alex'和hasFirstName'john'，那么我会得到一个抱怨。我做错了什么？如有任何帮助，我们将不胜感激，谢谢。

Answer 1

第一种情况没有矛盾。OWL提出了开放世界假设，这意味着未知的事物与已知为真或已知为假的事物是不同的。你的用户名，在我写的时候，这个答案是user3552593。我比较有信心你有一个名字，而且那和我还不知道是什么的事实并不矛盾。

通过说

Person=1 HasFirstName.String

没有什么不一致的；Alex，凭借Alex的人格，正好有一个名字--我们只是还不知道是什么名字。