在OWL中表示xs：unique的类似语法

Question

是否有可能在OWL中表达xs：unique的含义？

说，我定义了一个范围为整数的属性FieldType。 2个不同的人hasID和A不能拥有相同的ID。因此，您没有同时拥有B和A hasID 1。

Answer 1

这是一个反函数属性。在OWL中，有inverse functional object properties，如果 p 是反函数对象属性，那么 p（A，C）和 p（B， C）暗示 A = B 。 从规范：

  

9.2.8 Inverse-Functional Object Properties

     

对象属性反函数公理   InverseFunctionalObjectProperty（OPE）声明了object属性   表达式OPE是反函数的 - 也就是说，对于每个个体x，   最多可以有一个y，y通过OPE连接   用x。每个这样的公理都可以看作是一个句法的捷径   遵循公理：

SubClassOf( owl:Thing ObjectMaxCardinality( 1 ObjectInverseOf( OPE ) ) )

但是，OWL没有反函数数据类型属性。这是answers.semanticweb.com上What's the problem with inverse-functional datatype properties?的主题。 （我提供了WaybackMachine该页面存档版本的链接，因为实际网站似乎已关闭。）