APPROVEDJeremy J. Carroll
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty.