@prefix list: . @prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?X a owl:AllDisjointProperties. ?X owl:members ?L. ?P list:in ?L. ?Q list:in ?L. ?P log:notEqualTo ?Q. ?S ?P ?O. ?S ?Q ?O} => false.