FILO -- automated unification in $\mathcal{FL}_0$

TL;DR

FILO is a Java-based tool that automates the process of deciding unifiability in the description logic $\\mathcal{FL}_0$, aiding knowledge representation reasoning tasks.

Contribution

It introduces an automated unification decision procedure for $\\mathcal{FL}_0$, expanding the tools available for reasoning in description logics.

Findings

FILO successfully determines unifiability in $\\mathcal{FL}_0$ problems.

Provides example solutions when unifiable.

Integrates with existing reasoning systems.

Abstract

FILO is a java application that decides unifiability for a unification problem formulated in the description logic $\mathcal{FL}_0$. If the problem is unifiable, it presents a user with an example of a solution. FILO joins a family of similar applications like UEL solving unification problems in the description logic $\mathcal{EL}$, $\mathcal{FL}_0$wer a subsumption decider for $\mathcal{FL}_0$ with TBox, CEL and JCEL subsumption deciders for $\mathcal{EL}$ with TBox, and others. These systems play an important role in various knowledge representation reasoning problems.