Pages that link to "Item:Q2849496"
From MaRDI portal
The following pages link to Hybrid Unification in the Description Logic $\mathcal{EL}$ (Q2849496):
Displaying 5 items.
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- (Q4533343) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)