Benchmarking Neuro-Symbolic Description Logic Reasoners: Existing Challenges and A Way Forward