A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$
From MaRDI portal
Publication:2814524
DOI10.1007/978-3-319-34111-8_30zbMath1355.68242OpenAlexW2460337447MaRDI QIDQ2814524
Publication date: 22 June 2016
Published in: Advances in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-34111-8_30
Uses Software
Cites Work