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