\(\mathcal {BCDL}\): Basic constructive description logic

From MaRDI portal
Publication:972431

DOI10.1007/s10817-009-9160-7zbMath1197.03027OpenAlexW2014495597MaRDI QIDQ972431

Camillo Fiorentini, Guido Fiorino, Mauro Ferrari

Publication date: 26 May 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9160-7




Related Items (1)



Cites Work




This page was built for publication: \(\mathcal {BCDL}\): Basic constructive description logic