APPROVED Jeremy J. Carroll If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.