TY  - RPRT
TI  - VEL: A Formally Verified Reasoner for OWL2 EL Profile
AU  - Atalay Mert Ileri
AU  - Nalen Rangarajan
AU  - Jack Cannell
AU  - Hande McGinty
PY  - 2024
UR  - https://arxiv.org/abs/2412.08739
ID  - 2412.08739
ER  -