在 OWL 本体定义中使用 AllDifferent
有人可以解释一下“OWL 没有唯一的名称假设”是什么意思吗？仅仅因为两个名字不同并不意味着它们指的是不同的人。
这是否意味着每次我声明某些个体属于某个类别时，我都应该声明他们都是不同的？
谢谢
Can I someone explain what is meant by 'OWL does not have a unique name assumption. Just because two names are different does not mean they refer to different individuals'.
Does that mean that every time I declare some individuals belonging to a class I should state that they are all different?
Thanks
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
采用唯一名称假设 (UNA) 的本体隐式地将所有实体视为不同的。如果本体不强制 UNA，那么两个具有不同名称的概念就有可能被推断为等价的。
OWL 没有做出 UNA 假设。因此，如果您有一个成员确实不同的类，并且您想要对其进行建模，那么您需要使用
DifferentFrom 或AllDifferent 显式声明它。这正是 猫头鹰语言指南。An ontology which makes the unique name assumption (UNA) implicitly treats all entities as distinct. If the ontology does not enforce UNA, then it is possible for two concepts with different names to be inferred to be equivalent.
OWL does not make the UNA assumption. Therefore, if you have a class whose members are truly distinct, and you want to model that, then you need to explicitly declare it, either with
differentFromorAllDifferent. This is exactly what is done in the example of the three distinct wines in the Owl Language Guide.