// ComplementOf(c1,c2)
else if( pred.equals( OWL.complementOf.asNode() ) ) {
query.add( QueryAtomFactory.ComplementOfAtom( s, o ) );
if( ATermUtils.isVar( s ) ) {
ensureDistinguished( subj );
query.addDistVar( s, VarType.CLASS );
}
if( ATermUtils.isVar( o ) ) {
ensureDistinguished( obj );
query.addDistVar( o, VarType.CLASS );
}