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