The following pages link to Barbara Morawska (Q2374389):
Displaying 15 items.
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- Unification in the Description Logic EL (Q2786134) (← links)
- Hybrid Unification in the Description Logic $\mathcal{EL}$ (Q2849496) (← links)
- Finding Finite Herbrand Models (Q2891445) (← links)
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (Q2908475) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- (Q3408139) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- (Q4408990) (← links)
- SAT Encoding of Unification in $\mathcal{EL}$ (Q4933298) (← links)
- Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)
- (Q5277870) (← links)
- (Q5419868) (← links)
