Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
From MaRDI portal
Publication:3630241
DOI10.1007/978-3-642-01815-2_12zbMath1248.68467MaRDI 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
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03C13: Model theory of finite structures
Related Items
Mining ℰℒ⊥ Bases with Adaptable Role Depth, Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)