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).