A set-theoretic approach to ABox reasoning services