Volume: Vol-3828 ISWC-Posters-Demos-Industry 2024 | Year: 2024

Paper: « paper21 | paper22 | paper23 »

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

• Atalay Mert Ileri dblp
• Hande McGinty ORCID dblp Wikidata

PDF