Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
From MaRDI portal
Publication:3630241
DOI10.1007/978-3-642-01815-2_12zbMath1248.68467OpenAlexW1561081176MaRDI QIDQ3630241
Publication date: 3 June 2009
Published in: Formal Concept Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-01815-2_12
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Model theory of finite structures (03C13)
Related Items
Mining ℰℒ⊥ Bases with Adaptable Role Depth, Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)