How make restriction on the data property to have a distinct value for individuals

Question

I have a class Sensor, and each sensor hasID data property. Each sensor has a distinct ID# which cannot take by another sensor. In other word, two sensors cannot have a same ID#. How can I represent this?

Answer 1

You can create a HasKey axiom on Sensor specifying hasID as a property. HasKey is described in the OWL 2 specs.