Inverse-functional properties AND TripleStore
Common descendants