Reasoning with individuals in concept languages