A Retrospective on the Description Logic Reasoning System Racer

The system Racer is presented as a pragmatic introduction to description logic reasoning for readers without a formal background, focusing on real-world data interpretation scenarios. Illustrating why Racer was originally developed, the article outlines a typical use case in which data given with reference to a source vocabulary are interpreted using a target vocabulary. Expressive querying is highlighted as a core feature, enabling complex interpretation tasks over labeled graph structures. The choice of axioms is shown to depend on the information needs of the target system and the of the source representation. Overall, the article positions Racer as an accessible yet powerful reasoner for bridging heterogeneous vocabularies in knowledge-intensive applications.