VEL: A Formally Verified Reasoner for OWL2 EL Profile. - Atalay Mert Ileri; Nalen Rangarajan; Jack Cannell; Hande McGinty (CoRR, 2024)