FILO -- automated unification in FL0
Abstract
FILO is a java application that decides unifiability for a unification problem formulated in the description logic FL0. 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 EL, FL0wer a subsumption decider for FL0 with TBox, CEL and JCEL subsumption deciders for EL with TBox, and others. These systems play an important role in various knowledge representation reasoning problems.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.