Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$

DOI10.1007/978-3-642-01815-2_12zbMath1248.68467OpenAlexW1561081176MaRDI QIDQ3630241

Felix Distel, Franz Baader

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Model theory of finite structures (03C13)

Related Items (2)

Mining ℰℒ⊥ Bases with Adaptable Role Depth ⋮ Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)

This page was built for publication: Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$