semantic-web - OWL 本体设计与 protege

Question

嗨，我正在设计一个本体，我需要在其中为名为“Person”的类定义一个数据属性“SSN”。现在，我认为有一个限制是唯一的。也就是说，“Person”类的两个实例不应具有相同的 SSN。
我的问题:如何在 Protege 中定义此类限制？

http://www.co-ode.org/resources/reference/manchester_syntax/

定义了一些限制，但我认为没有什么适合我的情况。

Answer 1

您只需要将 SSN 属性定义为 inverse-functional .反函数属性意味着无论您在哪里看到给定的范围值，您都知道主题资源必须相同。所以，如果 p是反函数，你有:

R0 p N .
R1 p N .

那么你可以推断出 R0和 R1必须表示同一个人。如果你知道，通过其他一些公理， R0和 R1实际上不同，那么推理者会报告您的模型不一致。这与您在 open-world 中所需的一致性检查非常接近。知识库。