Pages that link to "Item:Q2374390"
From MaRDI portal
The following pages link to Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390):
Displaying 4 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)
- What Is Essential Unification? (Q3305325) (← links)
- Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)