FILO -- automated unification in ${\mathcal{F}\mathcal{L}}_0$

Barbara Morawska, Dariusz Marzec, Sławomir Kost +1

FILO is a java application that decides unifiability for a unification problem formulated in the description logic ${\mathcal{F}\mathcal{L}}_0$. If the problem is unifiable, it presents a user…