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

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