Pages that link to "Item:Q3636834"
From MaRDI portal
The following pages link to Unification in the Description Logic $\mathcal{EL}$ (Q3636834):
Displaying 8 items.
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
