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