Pages that link to "Item:Q5200016"
From MaRDI portal
The following pages link to Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016):
Displaying 3 items.
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)