@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?X owl:sameAs ?Y. ?X ?P ?O} => {?Y ?P ?O}. {?X owl:sameAs ?Y. ?S ?X ?O} => {?S ?Y ?O}. {?X owl:sameAs ?Y. ?S ?P ?X} => {?S ?P ?Y}.