DOI10.1007/978-3-319-34111-8_30zbMath1355.68242MaRDI QIDQ2814524
Jens Otten, Fred Freitas
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
zbMATH Keywords
reasoning; description logic; connection method; inference system
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Uses Software