如何限制数据 属性 以对个人具有不同的价值
How make restriction on the data property to have a distinct value for individuals
我有一个classSensor，每个传感器hasID数据属性。每个传感器都有一个独特的 ID# 不能被另一个传感器接受。也就是说，两个传感器不能有相同的ID#。我该如何表示？
您可以在传感器上创建一个 HasKey 公理，将 hasID 指定为 属性。 OWL 2 规范中描述了 HasKey。
我有一个classSensor，每个传感器hasID数据属性。每个传感器都有一个独特的 ID# 不能被另一个传感器接受。也就是说，两个传感器不能有相同的ID#。我该如何表示？
您可以在传感器上创建一个 HasKey 公理，将 hasID 指定为 属性。 OWL 2 规范中描述了 HasKey。