@prefix owl: <http://www.w3.org/2002/07/owl#>.

{?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.
