@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?P a owl:IrreflexiveProperty. ?X ?P ?X} => false.