@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?X owl:sameAs ?Y} => {?Y owl:sameAs ?X}. {?X owl:sameAs ?Y. ?Y owl:sameAs ?Z} => {?X owl:sameAs ?Z}. {?X owl:sameAs ?Y. ?X owl:differentFrom ?Y} => false.