Individual Reuse in Description Logic Reasoning
From MaRDI portal
Publication:3541705
DOI10.1007/978-3-540-71070-7_20zbMath1165.68505WikidataQ56988730 ScholiaQ56988730MaRDI QIDQ3541705
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_20
68T27: Logic in artificial intelligence
Related Items
Uses Software
Cites Work