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