owl:InverseFunctionalProperty
The class of inverse-functional properties.

Often used to specify an identifier which uniquely defines things, which in turn may be used to, say, merge disparate datasets.

Examples

  • Social Security Number
  • VIN number


Inference Rules

An owl:InverseFunctionalProperty means two non-equal subjects cannot be linked to one object

?subject1 :predicate ?identifier
?subject2 :predicate ?identifier
?subject1 owl:sameAs ?subject2