Vol-3827⫷ Vol-3828 ⫸Vol-3829
urn:nbn:de:0074-3828-0


Vol-3828/ISWC2024_paper_21⫷Vol-3828/ISWC2024_paper_22⫸Vol-3828/ISWC2024_paper_23
Atalay Mert IleriHande McGinty

VEL: A Formally Verified Reasoner for EL++ Description Logic