Absorption for ABoxes
From MaRDI portal
Publication:2351418
DOI10.1007/s10817-014-9304-2zbMath1314.68300MaRDI QIDQ2351418
David Toman, Alexander Hudek, Grant E. Weddell, Jiewen Wu
Publication date: 23 June 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-014-9304-2
Related Items
Cites Work