Evaluating Transformer Models for Logical Reasoning over Expressive Description Logic Contexts

Transformer-based models can perform entailment checking with high accuracy over synthetic natural language contexts generated from an expressive description logic language (ALCQ).