@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?P owl:inverseOf ?Q. ?S ?P ?O} => {?O ?Q ?S}. {?P owl:inverseOf ?Q. ?S ?Q ?O} => {?O ?P ?S}. {?P owl:inverseOf ?Q} => {?Q owl:inverseOf ?P}.