Transformer-based Language Models for Reasoning in the Description Logic ALCQ