dcterms:identifier 是反函数 属性 吗？

Question

对我来说，dcterms:identifier 属性 似乎是一个合法的反函数 属性。当两个事物共享相同的标识符时，我认为可以安全地断定它们是同一事物。

在我的 ontology 中是否有任何令人信服的理由不这样定义它 (owl:InverseFunctionalProperty)？

Answer 1

如果您需要留在 OWL 2 DL 中，那么将数据属性声明为逆函数并不是一个好主意 - 只有对象属性可以在不违反约束的情况下声明为这样并最终在OWL 2 个已满。

dcterms:identifier 定义了 rdfs:Literal 的范围 here

您可以使用 HasKey 公理来获得类似的结果：在 OWL2 中引入了键，目的是识别一个或多个属性，其值是引用个体的标识符，以及对象和数据属性可以用。