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