Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2412.08739
Cited By
VEL: A Formally Verified Reasoner for OWL2 EL Profile
11 December 2024
Atalay Mert Ileri
Nalen Rangarajan
Jack Cannell
Hande McGinty
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"VEL: A Formally Verified Reasoner for OWL2 EL Profile"
0 / 0 papers shown
No papers found
Page 1 of 0
