FOUST IV – Fabian Neuhaus, Oliver Kutz, and Guendalina Righetti – Free Description Logic for Ontologists