On the complexity of the instance checking problem in concept languages with existential quantification