A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model

DOI10.1007/978-3-540-78137-0_4zbMath1132.68056OpenAlexW2152193678MaRDI QIDQ5445322

Felix Distel, Franz Baader

Publication date: 4 March 2008

Published in: Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78137-0_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Axiomatisation of general concept inclusions from finite interpretations ⋮ Mining ℰℒ⊥ Bases with Adaptable Role Depth ⋮ A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model ⋮ Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) ⋮ A Proposal for Extending Formal Concept Analysis to Knowledge Graphs

Cites Work

• Attribute exploration with background knowledge
• Introduction to logical information systems
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item