Reasoning over Description Logic-based Contexts with Transformers