// strict subclass - nonmonotonic
else if( pred.equals( SparqldlExtensionsVocabulary.strictSubClassOf.asNode() ) ) {
query.add( QueryAtomFactory.StrictSubClassOfAtom( s, o ) );
if( ATermUtils.isVar( s ) ) {
ensureDistinguished( subj );
query.addDistVar( s, VarType.CLASS );
}
if( ATermUtils.isVar( o ) ) {
ensureDistinguished( obj );
query.addDistVar( o, VarType.CLASS );
}