Solving unification in the description logic ${\mathcal{F}\mathcal{L}}_{\perp }$

Barbara Morawska, Dariusz Marzec

We present an algorithm for solving the unification problem in the description logic ${\mathcal{F}\mathcal{L}}_{\perp }$. This logic extends ${\mathcal{F}\mathcal{L}}_0$ with the bottom constructor, and thus…