Atalay Mert Ileri, Hande McGinty: VEL: A Formally Verified Reasoner for EL++ Description Logic. ISWC (Posters/Demos/Industry) 2024