This project contains the implementation and evaluation of the prototype FL₀ reasoner named FL₀wer.

These are the results of my Bachelor-Thesis Entwurf und Implementierung eines Systems zur Entscheidung von Subsumption in der Beschreibungslogik FL0 which is based on the theoretical work An Automata Based Approach for Subsumption w.r.t. General Concept Inclusions in the Description Logic FL0

Further improvements on the reasoner and the evaluation have been done after the thesis.

TODO:

• write something about "why use a fl0-reasoner"
• show some results here
• improve reasoner documentation
• improve evaluation documentation