@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?A owl:differentFrom ?B} => {?B owl:differentFrom ?A}.