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

DOI10.1007/978-3-642-01815-2_12MaRDI QIDQ3630241zbMATH OpenOpenAlexFDO

Authors Franz Baader, Felix Distel

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

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

Recommendations

• An approach to exploring description logic knowledge bases
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
• The complexity of finite model reasoning in description logics
• The complexity of finite model reasoning in description logics.

Cited in

(6)

• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
• Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
• An approach to exploring description logic knowledge bases
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• Mining ℰℒ⊥ Bases with Adaptable Role Depth
• Pac learning of concept inclusions for ontology-mediated query answering

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3630241)