@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?P owl:propertyDisjointWith ?Q. ?X ?P ?Y. ?X ?Q ?Y} => false.