@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?C owl:complementOf ?D} => {?D owl:complementOf ?C}. {?C owl:complementOf ?D} => {?D owl:disjointWith ?C}. {?C owl:complementOf ?D. ?X a ?C. ?X a ?D} => false.